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 97 found (503 total)

alternate case: history of logic

Logic synthesis (1,257 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

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

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

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

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

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

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

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

(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.

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

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

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

(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

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

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

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)

(1977/8) "On Leśniewski's Systems, Proceedings of XXII Conference on History of Logic", Studia Logica 36(4): 247–426 MR 0476370 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

original on November 25, 2020. Retrieved January 21, 2015. "A Brief History Of Logic, From Emagic To Apple". macprovideo.com. Archived from the original

Science (with Samson Abramsky and T. S. E. Maibaum), the Handbook of the History of Logic (with John Woods), the Handbook of Deontic Logic and Normative Systems

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

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

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

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

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

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

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.

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

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

(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

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:

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:

Jeffry; Woods, John (eds.), "A History Of Connexivity", Handbook of the History of Logic, Logic: A History of its Central Concepts, vol. 11, North-Holland,

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

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

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:

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

"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

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

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

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

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

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

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

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

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

"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:

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

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

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

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

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

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.

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

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)

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

Peirce, was on the logic of Philodemus. While there, he worked on the history of logic, and the design and function of logical machines. After obtaining his

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

Eliade, Onicescu, Vulcănescu) published his various lectures on Logic, History of Logic, Epistemology (i.e. Theory of Knowledge) and on Metaphysics and The

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

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

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

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

Juan Caramuel". In Dov. M. Gabbay; John Woods (eds.). Handbook of the History of Logic. Vol. 2: Mediaeval and Renaissance Logic. Amsterdam: Elsevier. pp. 645–666

Modality" (PDF). In Gabbay, Dov M.; Woods, John (eds.). Handbook of the History of Logic, vol. 7: Logic and the Modalities in the Twentieth Century. Amsterdam:

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

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

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

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

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

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:

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

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:

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

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

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

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

Simulation". Semiconductor Engineering. Retrieved 2025-05-20. "A brief history of logic simulation". Semiconductor Engineering. Retrieved 2025-05-20. Flake

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

Program. Lang. 4 (HOPL): 87:1–87:90. doi:10.1145/3386337. "A brief history of logic simulation". Semiconductor Engineering. Retrieved 2025-04-01. Harris

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