Find link

language: af: Afrikaans als: Alemannisch [Alemannic] am: አማርኛ [Amharic] an: aragonés [Aragonese] ar: العربية [Arabic] arz: مصرى [Egyptian Arabic] as: অসমীয়া [Assamese] ast: asturianu [Asturian] az: azərbaycanca [Azerbaijani] azb: تۆرکجه [Southern Azerbaijani] ba: башҡортса [Bashkir] bar: Boarisch [Bavarian] bat-smg: žemaitėška [Samogitian] be: беларуская [Belarusian] be-tarask: беларуская (тарашкевіца) [Belarusian (Taraškievica)] bg: български [Bulgarian] bn: বাংলা [Bengali] bpy: বিষ্ণুপ্রিয়া মণিপুরী [Bishnupriya Manipuri] br: brezhoneg [Breton] bs: bosanski [Bosnian] bug: ᨅᨔ ᨕᨘᨁᨗ [Buginese] ca: català [Catalan] ce: нохчийн [Chechen] ceb: Cebuano ckb: کوردیی ناوەندی [Kurdish (Sorani)] cs: čeština [Czech] cv: Чӑвашла [Chuvash] cy: Cymraeg [Welsh] da: dansk [Danish] de: Deutsch [German] el: Ελληνικά [Greek] en: English eo: Esperanto es: español [Spanish] et: eesti [Estonian] eu: euskara [Basque] fa: فارسی [Persian] fi: suomi [Finnish] fo: føroyskt [Faroese] fr: français [French] fy: Frysk [West Frisian] ga: Gaeilge [Irish] gd: Gàidhlig [Scottish Gaelic] gl: galego [Galician] gu: ગુજરાતી [Gujarati] he: עברית [Hebrew] hi: हिन्दी [Hindi] hr: hrvatski [Croatian] hsb: hornjoserbsce [Upper Sorbian] ht: Kreyòl ayisyen [Haitian] hu: magyar [Hungarian] hy: Հայերեն [Armenian] ia: interlingua [Interlingua] id: Bahasa Indonesia [Indonesian] io: Ido is: íslenska [Icelandic] it: italiano [Italian] ja: 日本語 [Japanese] jv: Basa Jawa [Javanese] ka: ქართული [Georgian] kk: қазақша [Kazakh] kn: ಕನ್ನಡ [Kannada] ko: 한국어 [Korean] ku: Kurdî [Kurdish (Kurmanji)] ky: Кыргызча [Kirghiz] la: Latina [Latin] lb: Lëtzebuergesch [Luxembourgish] li: Limburgs [Limburgish] lmo: lumbaart [Lombard] lt: lietuvių [Lithuanian] lv: latviešu [Latvian] map-bms: Basa Banyumasan [Banyumasan] mg: Malagasy min: Baso Minangkabau [Minangkabau] mk: македонски [Macedonian] ml: മലയാളം [Malayalam] mn: монгол [Mongolian] mr: मराठी [Marathi] mrj: кырык мары [Hill Mari] ms: Bahasa Melayu [Malay] my: မြန်မာဘာသာ [Burmese] mzn: مازِرونی [Mazandarani] nah: Nāhuatl [Nahuatl] nap: Napulitano [Neapolitan] nds: Plattdüütsch [Low Saxon] ne: नेपाली [Nepali] new: नेपाल भाषा [Newar] nl: Nederlands [Dutch] nn: norsk nynorsk [Norwegian (Nynorsk)] no: norsk bokmål [Norwegian (Bokmål)] oc: occitan [Occitan] or: ଓଡ଼ିଆ [Oriya] os: Ирон [Ossetian] pa: ਪੰਜਾਬੀ [Eastern Punjabi] pl: polski [Polish] pms: Piemontèis [Piedmontese] pnb: پنجابی [Western Punjabi] pt: português [Portuguese] qu: Runa Simi [Quechua] ro: română [Romanian] ru: русский [Russian] sa: संस्कृतम् [Sanskrit] sah: саха тыла [Sakha] scn: sicilianu [Sicilian] sco: Scots sh: srpskohrvatski / српскохрватски [Serbo-Croatian] si: සිංහල [Sinhalese] simple: Simple English sk: slovenčina [Slovak] sl: slovenščina [Slovenian] sq: shqip [Albanian] sr: српски / srpski [Serbian] su: Basa Sunda [Sundanese] sv: svenska [Swedish] sw: Kiswahili [Swahili] ta: தமிழ் [Tamil] te: తెలుగు [Telugu] tg: тоҷикӣ [Tajik] th: ไทย [Thai] tl: Tagalog tr: Türkçe [Turkish] tt: татарча/tatarça [Tatar] uk: українська [Ukrainian] ur: اردو [Urdu] uz: oʻzbekcha/ўзбекча [Uzbek] vec: vèneto [Venetian] vi: Tiếng Việt [Vietnamese] vo: Volapük wa: walon [Walloon] war: Winaray [Waray] yi: ייִדיש [Yiddish] yo: Yorùbá [Yoruba] zh: 中文 [Chinese] zh-min-nan: Bân-lâm-gú [Min Nan] zh-yue: 粵語 [Cantonese]

jump to random article

searching for History of logic 95 found (503 total)

alternate case: history of logic

Logic synthesis (1,258 words) [view diff] no match in snippet view article find links to article

In computer engineering, logic synthesis is a process by which an abstract specification of desired circuit behavior, typically at register transfer level

propositions view. Propositions have played a large role throughout the history of logic, linguistics, philosophy of language, and related disciplines. Some

Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical

of the m-40 cipher machine. His most important contributions to the history of logic and mathematics was his studies and descriptions from 1957, of the

bei Kant" (in Kant: Analysen-Probleme-Kritik vol. 1, Würzburg, 1988) History of logic Die stoische Modallogik (Würzburg 1986). ISBN 3884792849 Alexander

The history of logic as a subject has been characterised by many disputes over what the topic deals with, and the main article 'Logic' has as a result

California, Los Angeles. He is an expert in medieval philosophy and the history of logic. Normore was born in Corner Brook, Newfoundland and Labrador, Canada

Senegal) is a Senegalese philosopher. His work is focused on the history of logic and mathematics, epistemology, the tradition of philosophy in the Islamic

categorical logic, set theory, foundation of logic, and the philosophy and history of logic. The goal of the field is to develop an understanding of the nature

It was the only major history of logic available in English in the mid-twentieth century, and the first major history of logic in English since The Development

Retrieved 2014-08-05. I. M. Bochenski (1961), "On the history of the history of logic", A history of formal logic, p. 4-10. Translated by I. Thomas, Notre

Gabbay, Dov M.; Siekmann, Jörg M.; Woods, John (eds.), Handbook of the History of Logic, vol. 9: Computational Logic, North-Holland/Elsevier, pp. 15–30. See

Logic models are hypothesized descriptions of the causal chains in certain plans, used to show programmes of action and the results desired from them.

(eds.). Logic: A History of its Central Concepts. Handbook of the History of Logic. North-Holland. p. 561. ISBN 978-0-08-093170-8. Walton, Douglas N.

a co-editor (with Dov Gabbay) of the eleven-volume Handbook of the History of Logic, published by North-Holland (now Elsevier), as well as editor, with

Ebert (eds), Dialektiker und Stoiker, Stuttgart 1993, pp. 63–84. History of logic: Arabic logic, Encyclopædia Britannica. Lukas M. Verburgt (2020). "The

(disjunctive, hypothetical, legal, poly-, prosleptic, quasi-, statistical) "History of Logic: Theophrastus of Eresus" in Encyclopædia Britannica Online. Susanne

(2012). Sets and Extensions in the Twentieth Century. Handbook of the History of Logic. Vol. 6. North-Holland. ISBN 978-0-444-51621-3. Kent, Allen; Williams

John (eds.). Handbook of the History of Logic. Vol. 5. Logic from Russell to Church. Handbook of the History of Logic. Vol. 5. Amsterdam: Elsevier/North-Holland

argument from authority has had many detractors throughout the long history of logic. It is not difficult to see why this is the case. After all, the argument

Serdar (7 June 2023). "A first look at the Mojo language". InfoWorld. History of logic programming: Crevier 1993, pp. 190–196. Prolog: Poole, Mackworth &

John Woods (eds.). Logic from Russell to Church. Handbook of the History of Logic. Vol. 5. Elsevier BV. Neary, Turlough (2015), "Undecidability in binary

the philosophy of mathematics and in the theory and history of logic. His monumental History of Logic, although a landmark of Romanian philosophy and of

(1977/8) "On Leśniewski's Systems, Proceedings of XXII Conference on History of Logic", Studia Logica 36(4): 247–426 MR0476370 Urbaniak, Rafal, 2013. Leśniewski's

sources include an autobiographical passage where al-Farabi traces the history of logic and philosophy up to his time, and brief mentions by al-Masudi, Ibn

(disjunctive, hypothetical, legal, poly-, prosleptic, quasi-, statistical) "History of Logic: Theophrastus of Eresus" in Encyclopædia Britannica Online. William

(disjunctive, hypothetical, legal, poly-, prosleptic, quasi-, statistical) "History of Logic: Theophrastus of Eresus" in Encyclopædia Britannica Online. William

Musicradar. January 13, 2010. Retrieved January 21, 2015. "A Brief History Of Logic, From Emagic To Apple". macprovideo.com. Retrieved June 10, 2020. "The

language included a thesis on private language and a monograph on the history of logic from a feminist perspective. In subsequent work, Nye turned more specifically

Woods, John (2012), Sets and Extensions in the Twentieth Century, Handbook of the History of Logic, vol. 6, Elsevier, p. 465, ISBN 9780080930664. v t e

meaning of Christianity, 1929 History of logic. Junker and Dünnhaupt, Berlin 1931 (1959 under outline of the history of logic Alber, Freiburg im Breisgau)

The Many Valued and Nonmonotonic Turn in Logic. The handbook of the history of logic. Vol. 8. Elsevier. p. vii. ISBN 978-0-444-51623-7. Graham Priest (2008)

"Hugh MacColl and the Birth of Logical Pluralism". In: Handbook of History of Logic. Elsevier, vol. 4. Discusses MacColl's contributions to philosophy

M. Gabbay; Jörg H. Siekmann; John Woods, eds. (2014). Handbook of the History of Logic. Vol. 9: Computational Logic. Elsevier. ISBN 978-0-08-093067-1.

ISBN 9780415020640. Corcoran, J. Schemata: the Concept of Schema in the History of Logic. Bulletin of Symbolic Logic 12: 219-40. Hanna, Robert (2006). Rationality

Woods, ed. (2008). Mediaeval and Renaissance Logic. Handbook of the History of Logic, 2. Amsterdam: Elsevier. p. 645. ISBN 978-0-08-056085-4. Gauchat, Patritius

reasoning, relevance-sensitive logic and, more recently, topics in the history of logic. Among his contributions: in 1965, as a graduate student, he identified

ISBN 0-19-824043-0. History of logic: Arabic logic, Encyclopædia Britannica. I. M. Bochenski (1961), "On the history of the history of logic", A history of

applications, a co-authored textbook on calculus, and a reader in the history of logic. He also contributed to the German biographical dictionary of mathematicians

Modern Logic 6: 67-72. V.A. Bazhanov (2002) Essays on the Social History of Logic in Russia. Simbirsk-Ulyanovsk. Chapter 5 (bibliography of S.A. Yanovskaya's

British Logic in the Nineteenth Century, Vol. 4 of Handbook of the History of Logic, Dov M. Gabbay and John Woods (eds.) Amsterdam: Elsevier. "Modern Logic:

(eds.), Sets and extensions in the twentieth century, Handbook of the History of Logic, vol. 6, Amsterdam: Elsevier/North-Holland, pp. 145–357, doi:10

Modalities in the Twentieth Century, Volume 7 of the Handbook of the History of Logic, edited by Dov M. Gabbay and John Woods, Elsevier, pp. 1–98. 2011:

Pine 3:44 Traffic Circuit 3:51 Urban Night 3:09 Metamorphosis 14:17 History of Logic System (CD; Japanimport) 28 May 2003 Intro Domino Dance Convulsion

Fejer, Peter A. (2014), "Degrees of Unsolvability", Handbook of the History of Logic, vol. 9, Elsevier, pp. 443–494, doi:10.1016/b978-0-444-51624-4.50010-1

Foundation. His research interests include metaphysics and ontology, the history of logic, the history of Central European Philosophy, particularly in Austria

29(2):261–293, 1999. Nye, Andrea, Words of Power: A Feminist Reading of the History of Logic, London: Routledge, 1990 Pepper, David, The Roots of Modern Environmentalism

Abendlande (4 volumes) (Leipzig: Verlag von S. Hirzel, 1855–1870) (History of Logic in the West). Christoph von Sigwart, in the preface to the first edition

of truth-values", in D.M.Gabbay and J.Woods (eds) Handbook of the History of Logic, Vol. 11 - Logic: a history of its central concepts, Elsevier, Amsterdam

"Statistical learning theory: Models, concepts, and results". Handbook of the History of Logic. 10: Section 2.4. Neal, Brady (2019). "On the Bias–Variance Tradeoff:

Archived from the original on 9 August 2021. Retrieved 24 September 2019. History of logic: Arabic logic Archived 12 October 2007 at the Wayback Machine, Encyclopædia

Greek Logicians, p. 48. Oxford University Press, ISBN 0-19-824043-0. History of logic: Arabic logic Archived 2007-10-12 at the Wayback Machine, Encyclopædia

Boston: Kluwer Academic Publishers. Woleński, Jan (1999). Essays in the History of Logic and Logical Philosophy. Cracov: Jagiellonian University Press. Woleński

teachings of Friedrich Heinrich Jacobi. Geschichte der Logik (1881) – History of logic. Logik (1886) edited by Heinrich Wiese. Begriff, Formen und Grundlegung

Mentis-Verlag, Paderborn, 2001, S.205 – 217.ISBN 3-89785-203-9 Bazhanov, V.A. History of Logic in Russia and the USSR. Moscow, Kanon+, 2007 (in Russian). ISBN 5-88373-032-9

cannot be said, however, that Ramus's innovations mark any epoch in the history of logic, and there is little ground for his claim to supersede Aristotle by

Combinatory Logic", in Gabbay, Dov M.; Woods, John (eds.), Handbook of the History of Logic, vol. 5, Elsevier Curry, Haskell (November 1927), Notes on Schönfinkel

Academy of Arts & Sciences 1992, ISBN 978-0-444-85762-0 Studies in the History of Logic and Semantics, 12th – 17th Century, edited durch E.P. Bos, Variorum

before modern scholarship condemned the practice", notes Eugene Dwyer. "History of Logic: Theophrastus of Eresus" in Encyclopædia Britannica Online. "Ancient

I. Angelelli & M. Cerezo, eds, Proceedings of the III Symposium on History of Logic. Gruyter. See the section titled "Peirce's reception in British philosophy:

Mathematics and History of Logic. Peter Lang, Frankfurt am Main Murawski, Roman (2010): Essays in the Philosophy and History of Logic and Mathematics

"John Von Neumann and Hilbert's School". Essays in the Philosophy and History of Logic and Mathematics. Amsterdam: Rodopi. pp. 195–209. doi:10.1163/9789042030916_015

MR 0768968 A. Kanamori, "Large Cardinals with Forcing". In Handbook of the History of Logic: Sets and Extensions in the Twentieth Century, ed. A. Kanamori, D.

professor in 1992. Tiles' area of work is primarily philosophy and history of logic, mathematics and science, with a special emphasis on French contributions

Woods, John (eds.), Logic from Russell to Church, Handbook of the History of Logic, vol. 5, North Holland, ISBN 978-0-444-51620-6 Ginsburg, Seymour (1961)

Gabbay, Dov M.; Woods, John (eds.). Inductive Logic. Handbook of the History of Logic. Vol. 10. Amsterdam; Boston: Elsevier. pp. 43–91. CiteSeerX 10.1.1

Metamath Proof Explorer". us.metamath.org. Retrieved 22 May 2019. History of logic axioms Stephen Wolfram, A New Kind of Science, 2002, p. 1175. McCune

used prototypes of Kaito and Meiko and were featured on the album History of Logic System by Hideki Matsutake released on July 24, 2003, and sang the

were left out of the original version of Prolog. Carl Hewitt Middle History of Logic Programming: Resolution, Planner, Prolog and the Japanese Fifth Generation

Geraldine (2000), From Peirce to Skolem: A Neglected Chapter in the History of Logic, North-Holland/Elsevier Science BV, Amsterdam, Netherlands. See Peirce

Universität Leipzig, PA 547 Gabbay, Dov M. (2012-01-01). Handbook of the History of Logic: Sets and extensions in the twentieth century. Elsevier. ISBN 9780444516213

Charles S. Peirce" in Studies on the History of Logic. Proceedings of the III Symposium on the History of Logic, I. Angelelli and M. Cerezo, eds., Walter

and the Modalities in the Twentieth Century (PDF). Handbook of the History of Logic. Vol. 7. Elsevier. pp. 1–98. ISBN 978-0-08-046303-2. Goldblatt, Robert

; Woods, J. (2009). Logic from Russell to Church. Handbook of the History of Logic. Elsevier Science. ISBN 9780080885476. Curry, Haskell B. (1969). "The

1885–1900. Dov M. Gabbay; John Woods (11 July 2006). Handbook of the History of Logic: Logic and the modalities in the twentieth century. Elsevier. pp. 463–4

Hesse: author of Science and The Human Imagination: Aspects of the History of Logic of Physical Science (1954). Martinez Hewlett: author of the chapter

Aalto University. Varto’s early philosophical interest was in the history of logic; his mentor, professor Raili Kauppi was an internationally known Leibniz

programmes, Paris, Hermes, 1994 "Epistemic Logic", Handbook of the History of Logic, vol. 7, Twentieth Century Modalities, Dov Gabbay and John Woods (eds

H. (2014). "Equational Logic and Rewriting" (PDF). Handbook of the History of Logic. 9: 255–282. doi:10.1016/B978-0-444-51624-4.50006-X. ISBN 9780444516244

The Rise of Modern Logic: From Leibniz to Frege. Handbook of the History of Logic. Vol. 3. Amsterdam: Elsevier. pp. 1–83. ISBN 978-0-08-053287-5. Lewis

Frege, [in:] Ignacio Angelelli, María Cerezo (eds.), Studies on the History of Logic, Berlin 2020, pp. 295–316 La Filosofía de David Hilbert, [in:] Thémata:

history-oriented presentation of their main developments", in: Handbook of the history of logic. Volume 8, The many valued and non-monotonic turn in logic. Amsterdam:

and Technology, 2005, N 2, pp. 112– 121. (Russian) Bazhanov, V. A. History of Logic in Russia and the USSR. Moscow, Kanon+, 2007. (Russian) ISBN 5-88373-032-9

Bayesianism: 2.2 The Degree of Belief Interpretation". Handbook of the History of Logic: Inductive logic. "prior probability". Oxford Reference. Retrieved

logic-grammatical analysis of language. This includes such topics as history of logic and mathematics (Kurt Gödel), action, decision-making, forms of life

logic also proceeds to a revision of the history of logic. An outline of his version of the history of logic would be as follows: (1) The Platonic conception

'Paraconsistency and Dialetheism', pp. 129–204 of Handbook of the History of Logic, Vol. 8, eds. D. Gabbay and J. Woods, North Holland, 2007. 'Reply to

Tekhniki, 2005, N 4. pp. 64–73 (in Russian). Bazhanov, Valentin A. History of Logic in Russia and the USSR. Moscow, Kanon+, 2007 (in Russian). ISBN 5-88373-032-9

Routledge, 2004), pp. 207–233. “Indian Logic”, in Handbook of the History of Logic, Volume 1: Greek, Indian and Arabic Logic, edited by D.M. Gabbay and

Gabbay, Dov M.; Kanamori, Akihiro; Woods, John (eds.). Handbook of the History of Logic. Sets and Extensions in the Twentieth Century. Vol. 6. North-Holland

valuable historical insights, especially for those interested in the history of logic and philosophy. Elodie Cassan provided a thoughtful analysis of the

the 20th Century", Juris Steprāns, pp. 73-144, in Handbook of the History of Logic: Volume 6: Sets and Extensions in the Twentieth Century, eds. Dov M

University of Waterloo. 6 August 2024. "E. Jennifer Ashworth". University of Waterloo. "Writings of E. Jennifer Ashworth on the History of Logic". v t e

the 20th Century", Juris Steprāns, pp. 73-144, in Handbook of the History of Logic: Volume 6: Sets and Extensions in the Twentieth Century, eds. Dov M

Turkish cultural history. He taught the history of doctrines, the history of logic, philosophy, sociology and history of art. One of his colleagues at