Find link

language:

jump to random article

Find link is a tool written by Edward Betts.

searching for History of logic 92 found (206 total)

alternate case: history of logic

Logic programming (4,371 words) [view diff] no match in snippet view article find links to article

Logic programming is a programming paradigm which is largely based on formal logic. Any program written in a logic programming language is a set of sentences
Logic synthesis (1,208 words) [view diff] no match in snippet view article find links to article
In electronics, logic synthesis is a process by which an abstract specification of desired circuit behavior, typically at register transfer level (RTL)
Categorical logic (897 words) [view diff] case mismatch in snippet view article find links to article
University Press. ISBN 0-19-853781-6. Gabbay, Dov (2012). Handbook of the History of Logic: Sets and extensions in the twentieth century. Oxford: Elsevier.
Conceptions of logic (905 words) [view diff] exact match in snippet view article find links to article
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
Calvin Normore (225 words) [view diff] exact match in snippet view article find links to article
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
Martha Kneale (788 words) [view diff] exact match in snippet view article find links to article
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
Hypothetical syllogism (361 words) [view diff] case mismatch in snippet view article find links to article
Affirming the consequent Denying the antecedent Transitive relation "History of Logic: Theophrastus of Eresus" in Encyclopædia Britannica Online. Philosophy
Axiom schema (483 words) [view diff] case mismatch in snippet view article find links to article
1961. Corcoran, John (2006), "Schemata: the Concept of Schema in the History of Logic", Bulletin of Symbolic Logic, 12: 219–240. Corcoran, John (2016). "Schema"
Logic model (2,205 words) [view diff] no match in snippet view article find links to article
Logic models are hypothesized descriptions of the chain of causes and effects (see Causality) leading to an outcome of interest (e.g. prevalence of cardiovascular
ACM SIGLOG (207 words) [view diff] case mismatch in snippet view article find links to article
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
Premise (710 words) [view diff] exact match in snippet view article find links to article
premiss, 'premise,' and this spelling...simply betrays ignorance of the history of logic." Room, Adrian, ed. (2000). Dictionary of Confusable Words. New York
Three-valued logic (1,750 words) [view diff] case mismatch in snippet view article find links to article
the presentation from Malinowski's chapter of the Handbook of the History of Logic, vol 8. Material implication for Łukasiewicz logic truth table is In
The Book of Healing (2,556 words) [view diff] exact match in snippet view article find links to article
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
Modal logic (7,402 words) [view diff] exact match in snippet view article find links to article
Ebert (eds), Dialektiker und Stoiker, Stuttgart 1993, pp. 63–84. History of logic: Arabic logic, Encyclopædia Britannica. Clarence Irving Lewis (1910)
Argumentum ad populum (1,792 words) [view diff] case mismatch in snippet view article find links to article
(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.
Hideki Matsutake (570 words) [view diff] case mismatch in snippet view article find links to article
showing general recognition of Matsutake as being a part of YMO can be seen here. Logic System Homepage Logic System at discogs History of Logic System
Karl von Prantl (317 words) [view diff] case mismatch in snippet view article find links to article
im Abendlande (4 vols.)(Leipzig: Verlag von S. Hirzel, 1855–1870) (History of Logic in the West). Christoph von Sigwart, in the preface to the first edition
List of programming languages for artificial intelligence (885 words) [view diff] exact match in snippet view article find links to article
pp. 723–821 Crevier 1993, pp. 59–62, Russell & Norvig 2003, p. 18 History of logic programming: Crevier 1993, pp. 190–196. Prolog: Poole, Mackworth &
Joan Moschovakis (262 words) [view diff] case mismatch in snippet view article find links to article
John (eds.). Handbook of the History of Logic. Vol. 5. Logic from Russell to Church. Handbook of the History of Logic. 5. Amsterdam: Elsevier/North-Holland
Argument from authority (2,140 words) [view diff] case mismatch in snippet view article find links to article
(eds.). Logic: A History of its Central Concepts. Handbook of the History of Logic. North-Holland. p. 561. ISBN 978-0-08-093170-8. Williamson, Owen. "Master
Andrea Nye (780 words) [view diff] exact match in snippet view article find links to article
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
Souleymane Bachir Diagne (604 words) [view diff] exact match in snippet view article find links to article
Senegal) is a Senegalese philosopher. His work is focused on the history of logic and mathematics, epistemology, the tradition of philosophy in the Islamic
Adequate pointclass (83 words) [view diff] case mismatch in snippet view article find links to article
Akihiro; Woods, John (2012), Sets and Extensions in the Twentieth Century, Handbook of the History of Logic, 6, Elsevier, p. 465, ISBN 9780080930664.
Higher-order logic (1,039 words) [view diff] case mismatch in snippet view article find links to article
Gabbay, Dov M.; Siekmann, Jörg H.; Woods, John (eds.). Handbook of the History of Logic, Volume 9: Computational Logic. Elsevier. ISBN 978-0-08-093067-1. Andrews
Metavariable (301 words) [view diff] case mismatch in snippet view article find links to article
484–497 Corcoran, J. (2006). "Schemata: the Concept of Schema in the History of Logic" (PDF). Bulletin of Symbolic Logic. 12: 219–240. Hunter, Geoffrey.
Bruno von Freytag-Löringhoff (969 words) [view diff] exact match in snippet view article find links to article
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
Type–token distinction (1,398 words) [view diff] case mismatch in snippet view article find links to article
naming found in John Corcoran, Schemata: the Concept of Schema in the History of Logic, Bulletin of Symbolic Logic, vol. 12 (2006), pp. 219–40. Baggin J.
Type theory (3,436 words) [view diff] case mismatch in snippet view article find links to article
and Categories" (PDF). In Akihiro Kanamory (ed.). Handbook of the History of Logic. Volume 6. Sets and Extensions in the Twentieth Century. Elsevier.
Stanisław Leśniewski (681 words) [view diff] case mismatch in snippet view article find links to article
(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
Well-formed formula (1,925 words) [view diff] exact match in snippet view article find links to article
theorem proving, Melvin Fitting, Springer, 1996 [1] Handbook of the history of logic, (Vol 5, Logic from Russell to Church), Tarski's logic by Keith Simmons
Falsifiability (7,534 words) [view diff] case mismatch in snippet view article find links to article
Gabbay D, Hartmann S, Woods J (eds.). Inductive Logic. Handbook of the History of Logic. 10. Elsevier BV. pp. 43–91. "Life On Perth". LifeonPerth.com. 2007
Prosleptic syllogism (210 words) [view diff] case mismatch in snippet view article find links to article
of all things B; therefore, statement A is true of all things B.") "History of Logic: Theophrastus of Eresus" in Encyclopædia Britannica Online. William
Lewis Carroll (8,541 words) [view diff] case mismatch in snippet view article find links to article
British Logic in the Nineteenth Century, Vol. 4 of Handbook of the History of Logic, Dov M. Gabbay and John Woods (eds.) Amsterdam: Elsevier. Robbins,
Romanian philosophy (11,693 words) [view diff] exact match in snippet view article find links to article
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
Jean-Yves Béziau (502 words) [view diff] case mismatch in snippet view article find links to article
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
John Woods (logician) (619 words) [view diff] case mismatch in snippet view article
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
Boolean algebra (9,340 words) [view diff] case mismatch in snippet view article find links to article
The rise of modern logic: from Leibniz to Frege. Handbook of the History of Logic. 3. Elsevier. ISBN 978-0-444-51611-4., several relevant chapters by
Principle of bivalence (1,913 words) [view diff] exact match in snippet view article find links to article
The Many Valued and Nonmonotonic Turn in Logic. The handbook of the history of logic. 8. Elsevier. p. vii. ISBN 978-0-444-51623-7. Retrieved 4 April 2011
Hugh MacColl (790 words) [view diff] case mismatch in snippet view article find links to article
"Hugh MacColl and the Birth of Logical Pluralism". In: Handbook of History of Logic. Elsevier, vol. 4. Discusses MacColl's contributions to philosophy
Islamic philosophy (14,736 words) [view diff] exact match in snippet view article find links to article
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
Bias–variance tradeoff (2,757 words) [view diff] case mismatch in snippet view article find links to article
"Statistical learning theory: Models, concepts, and results". Handbook of the History of Logic. 10: Section 2.4. Geman, Stuart; Bienenstock, Élie; Doursat, René (1992)
Antiscience (4,333 words) [view diff] case mismatch in snippet view article find links to article
29(2):261–93, 1999. Nye, Andrea, Words of Power: A Feminist Reading of the History of Logic, London: Routledge, 1990 Pepper, David, The Roots of Modern Environmentalism
Theophrastus (6,117 words) [view diff] case mismatch in snippet view article find links to article
before modern scholarship condemned the practice", notes Eugene Dwyer. "History of Logic: Theophrastus of Eresus" in Encyclopædia Britannica Online. "Ancient
Gottlob Frege (5,213 words) [view diff] exact match in snippet view article find links to article
Halle a/S: Verlag von Louis Nebert, 1879 marked a turning point in the history of logic. The Begriffsschrift broke new ground, including a rigorous treatment
Moses Schönfinkel (626 words) [view diff] case mismatch in snippet view article find links to article
Combinatory Logic", in Gabbay, Dov M.; Woods, John (eds.), Handbook of the History of Logic, 5, Elsevier Curry, Haskell (November 1927), Notes on Schönfinkel,
Turing jump (809 words) [view diff] case mismatch in snippet view article find links to article
Fejer, Peter A. (2014), "Degrees of Unsolvability", Handbook of the History of Logic, Elsevier, 9, pp. 443–494, doi:10.1016/b978-0-444-51624-4.50010-1,
Emil Leon Post (1,266 words) [view diff] case mismatch in snippet view article find links to article
John Woods (eds.). Logic from Russell to Church. Handbook of the History of Logic. 5. Elsevier BV. Anshel, Iris Lee; Anshel, Michael (November 1993)
Lambda calculus (10,682 words) [view diff] case mismatch in snippet view article find links to article
and Combinatory Logic. In Gabbay and Woods (eds.), Handbook of the History of Logic, vol. 5. Elsevier. Church, Alonzo, An unsolvable problem of elementary
Victoria, Lady Welby (1,651 words) [view diff] case mismatch in snippet view article find links to article
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:
Early Islamic philosophy (13,813 words) [view diff] exact match in snippet view article find links to article
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
Löwenheim–Skolem theorem (2,561 words) [view diff] case mismatch in snippet view article find links to article
Geraldine (2000), From Peirce to Skolem: A Neglected Chapter in the History of Logic, Elsevier, ISBN 978-0-444-50334-3 Crossley, J. N.; Ash, C. J.; Brickhill
Sofya Yanovskaya (576 words) [view diff] case mismatch in snippet view article find links to article
Modern Logic, vol.6 (1996), 67-72. V.A. Bazhanov. Essays on the Social History of Logic in Russia. Simbirsk-Ulyanovsk, 2002. Chapter 5 (bibliography of S.A
Friedrich Ueberweg (344 words) [view diff] exact match in snippet view article find links to article
der Logik und Geschichte der logischen Lehren (System of logic and history of logic doctrines), 1857 Über Idealismus, Realismus und Idealrealismus (On
Stevo Todorčević (606 words) [view diff] case mismatch in snippet view article find links to article
(eds.), Sets and extensions in the twentieth century, Handbook of the History of Logic, 6, Amsterdam: Elsevier/North-Holland, pp. 145–357, doi:10.1016/B978-0-444-51621-3
Robert Goldblatt (445 words) [view diff] case mismatch in snippet view article find links to article
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:
Arthur Prior (1,420 words) [view diff] exact match in snippet view article find links to article
existence. Prior stood out by virtue of his strong interest in the history of logic. He was one of the first English-speaking logicians to appreciate the
Friedrich Harms (180 words) [view diff] exact match in snippet view article find links to article
teachings of Friedrich Heinrich Jacobi. Geschichte der Logik (1881) – History of logic. Logik (1886) edited by Heinrich Wiese. Begriff, Formen und Grundlegung
Columbia University Department of Middle Eastern, South Asian, and African Studies (803 words) [view diff] exact match in snippet view article find links to article
Public Affairs' African Studies Program. His work is focused on the history of logic and mathematics, epistemology, the tradition of philosophy in the Islamic
Siegfried Gottwald (350 words) [view diff] exact match in snippet view article find links to article
applications, co-authored a textbook on calculus and a reader in the history of logic. He also contributed to the German biographical dictionary of mathematicians
Petrus Ramus (2,801 words) [view diff] exact match in snippet view article find links to article
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
Vocaloid (15,181 words) [view diff] case mismatch in snippet view article find links to article
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
Charles Sanders Peirce (17,361 words) [view diff] case mismatch in snippet view article find links to article
Geraldine (2000), From Peirce to Skolem: A Neglected Chapter in the History of Logic, North-Holland/Elsevier Science BV, Amsterdam, Netherlands. See Peirce
Seymour Ginsburg (1,414 words) [view diff] case mismatch in snippet view article find links to article
Woods, John (eds.), Logic from Russell to Church, Handbook of the History of Logic, 5, North Holland, ISBN 978-0-444-51620-6 Ginsburg, Seymour (1961)
Carew Arthur Meredith (641 words) [view diff] exact match in snippet view article find links to article
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
Platon Poretsky (280 words) [view diff] case mismatch in snippet view article find links to article
Estestvoznania i Tekhniki, 2005, N 4. pp. 64–73 (in Russian). Bazhanov, V.A. History of Logic in Russia and the USSR. Moscow, Kanon+, 2007 (in Russian). ISBN 5-88373-032-9
Computational logic (413 words) [view diff] case mismatch in snippet view article find links to article
Gabbay, Jörg H. Siekmann, John Woods, eds. (2014). Handbook of the History of Logic, Volume 9: Computational Logic. Elsevier. ISBN 978-0-08-093067-1.CS1
Nicolai A. Vasiliev (853 words) [view diff] case mismatch in snippet view article find links to article
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
Heinrich Scholz (3,070 words) [view diff] exact match in snippet view article find links to article
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)
Jan Woleński (1,039 words) [view diff] case mismatch in snippet view article find links to article
Boston: Kluwer Academic Publishers. Woleński, Jan (1999). Essays in the History of Logic and Logical Philosophy. Cracov: Jagiellonian University Press. Woleński
Kripke semantics (4,286 words) [view diff] case mismatch in snippet view article find links to article
and the Modalities in the Twentieth Century (PDF). Handbook of the History of Logic. 7. Elsevier. pp. 1–98. ISBN 978-0-08-046303-2. Cresswell, M.J.; Hughes
Planner (programming language) (2,294 words) [view diff] case mismatch in snippet view article
original version of Prolog. Logic programming Prolog Carl Hewitt Middle History of Logic Programming: Resolution, Planner, Prolog and the Japanese Fifth Generation
Juan Caramuel y Lobkowitz (1,326 words) [view diff] case mismatch in snippet view article find links to article
Caramuel in: Mediaeval and Renaissance Logic, Volume 2 (Handbook of the History of Logic) ed. D. M. Gabby, J. Woods, Amsterdam, North-Holland, 2008 pp. 645–666
Charles Sanders Peirce bibliography (20,355 words) [view diff] case mismatch in snippet view article find links to article
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
Gabriel Nuchelmans (523 words) [view diff] case mismatch in snippet view article find links to article
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
List of scholars on the relationship between religion and science (2,424 words) [view diff] case mismatch in snippet view article find links to article
Hesse: author of Science and The Human Imagination: Aspects of the History of Logic of Physical Science (1954). Martinez Hewlett: author of the chapter
Felix Hausdorff (7,333 words) [view diff] case mismatch in snippet view article find links to article
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
Mary Tiles (909 words) [view diff] exact match in snippet view article find links to article
professor in 1992. Tiles' area of work is primarily philosophy and history of logic, mathematics and science, with a special emphasis on French contributions
Scott–Curry theorem (621 words) [view diff] case mismatch in snippet view article find links to article
; Woods, J. (2009). Logic from Russell to Church. Handbook of the History of Logic. Elsevier Science. ISBN 9780080885476. Curry, Haskell B. (1969). "The
John Lane Bell (1,466 words) [view diff] case mismatch in snippet view article find links to article
Intellectica, 41, 2009. Types, Sets and Categories, Handbook of the History of Logic (Elsevier), forthcoming. Hermann Weyl, Stanford Encyclopedia of Philosophy
Laws of Form (6,090 words) [view diff] case mismatch in snippet view article find links to article
The Rise of Modern Logic: From Leibniz to Frege (Handbook of the History of Logic – Vol. 3). Amsterdam: Elsevier, 1–83. Lakoff, George, 1987. Women,
Richard of Lavenham (580 words) [view diff] case mismatch in snippet view article find links to article
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
Logical form (linguistics) (1,878 words) [view diff] case mismatch in snippet view article
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
Juha Varto (881 words) [view diff] exact match in snippet view article find links to article
Aalto University. Varto’s early philosophical interest was in the history of logic; his mentor, professor Raili Kauppi was an internationally known Leibniz
Paul Gochet (1,745 words) [view diff] case mismatch in snippet view article find links to article
programmes, Paris, Hermes, 1994 "Epistemic Logic", Handbook of the History of Logic, vol. 7, Twentieth Century Modalities, Dov Gabbay and John Woods (eds
Graham Priest bibliography (3,643 words) [view diff] case mismatch in snippet view article find links to article
'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
Victor Shestakov (573 words) [view diff] case mismatch in snippet view article find links to article
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
Jesús Padilla Gálvez (2,069 words) [view diff] exact match in snippet view article find links to article
logic-grammatical analysis of language. This includes such topics as history of logic and mathematics (Kurt Gödel), Action, Decision-Making and Forms of
Pierre Cassou-Noguès (525 words) [view diff] exact match in snippet view article find links to article
with French philosophy (Jean Cavaillès, Maurice Merleau-Ponty), the history of logic (Kurt Gödel, Alfred North Whitehead), new technologies (notably issues
Structural Ramsey theory (2,351 words) [view diff] case mismatch in snippet view article find links to article
Gabbay, Dov M.; Kanamori, Akihiro; Woods, John (eds.), Handbook of the History of Logic, Sets and Extensions in the Twentieth Century, 6, North-Holland, pp
Fuzzy concept (21,315 words) [view diff] case mismatch in snippet view article find links to article
"Hugh MacColl and the Birth of Logical Pluralism". In: Handbook of History of Logic, Vol. 4. Elsevier, 2008. Mihai Nadin, "The logic of vagueness", in:
Julio Cabrera (philosopher) (4,705 words) [view diff] exact match in snippet view article
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
Andrzej Grzegorczyk (19,011 words) [view diff] case mismatch in snippet view article find links to article
Mathematics and History of Logic. Peter Lang, Frankfurt am Main Murawski, Roman (2010): Essays in the Philosophy and History of Logic and Mathematics