language:

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 sentencesLogic 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 resultCalvin 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, CanadaMartha 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 DevelopmentHypothetical 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. PhilosophyAxiom 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 cardiovascularACM 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. SeePremise (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 YorkThree-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 InThe 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, NotreModal 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 SystemKarl 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 editionList 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-HollandArgument 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. "MasterAndrea 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 specificallySouleymane 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 IslamicAdequate 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. AndrewsMetavariable (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 theType–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'sWell-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 SimmonsFalsifiability (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. 2007Prosleptic 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. WilliamLewis 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 ofJean-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, AmsterdamJohn 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, withBoolean 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 byPrinciple 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 2011Hugh 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 philosophyIslamic 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 ofBias–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 EnvironmentalismTheophrastus (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. "AncientGottlob 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 treatmentMoses 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 elementaryVictoria, 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 ofLö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.; BrickhillSofya 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.AFriedrich 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 (OnStevo 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-3Robert 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 theFriedrich 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 GrundlegungColumbia 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 IslamicSiegfried 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 mathematiciansPetrus 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 byVocaloid (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 theCharles 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 PeirceSeymour 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. McCunePlaton 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-9Computational 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.CS1Nicolai 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-9Heinrich 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ńskiKripke 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.; HughesPlanner (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 GenerationJuan 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–666Charles 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., WalterGabriel 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, VariorumList 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 chapterFelix 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 9780444516213Mary 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 contributionsScott–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). "TheJohn 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 PhilosophyLaws 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–4Logical 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). RationalityJuha 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 LeibnizPaul 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 (edsGraham 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 toVictor 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-9Jesú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 ofPierre 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 issuesStructural 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, ppFuzzy 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 conceptionAndrzej 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