History and Philosophy of Logic Short Title: Hist. Philos. Log. Publisher: Taylor & Francis, London ISSN: 0144-5340; 1464-5149/e Online: http://www.tandfonline.com/loi/thpl20 Comments: Journal Documents Indexed: 521 Publications (since 1980) References Indexed: 446 Publications with 14,958 References. all top 5 Latest Issues 42, No. 3 (2021) 42, No. 2 (2021) 42, No. 1 (2021) 41, No. 4 (2020) 41, No. 3 (2020) 41, No. 2 (2020) 41, No. 1 (2020) 40, No. 4 (2019) 40, No. 3 (2019) 40, No. 2 (2019) 40, No. 1 (2019) 39, No. 4 (2018) 39, No. 3 (2018) 39, No. 2 (2018) 39, No. 1 (2018) 38, No. 4 (2017) 38, No. 3 (2017) 38, No. 2 (2017) 38, No. 1 (2017) 37, No. 4 (2016) 37, No. 3 (2016) 37, No. 2 (2016) 37, No. 1 (2016) 36, No. 4 (2015) 36, No. 3 (2015) 36, No. 2 (2015) 36, No. 1 (2015) 35, No. 4 (2014) 35, No. 3 (2014) 35, No. 2 (2014) 35, No. 1 (2014) 34, No. 4 (2013) 34, No. 3 (2013) 34, No. 2 (2013) 34, No. 1 (2013) 33, No. 4 (2012) 33, No. 3 (2012) 33, No. 2 (2012) 33, No. 1 (2012) 32, No. 4 (2011) 32, No. 3 (2011) 32, No. 2 (2011) 32, No. 1 (2011) 31, No. 4 (2010) 31, No. 3 (2010) 31, No. 2 (2010) 31, No. 1 (2010) 30, No. 4 (2009) 30, No. 3 (2009) 30, No. 2 (2009) 30, No. 1 (2009) 29, No. 4 (2008) 29, No. 3 (2008) 29, No. 2 (2008) 29, No. 1 (2008) 28, No. 4 (2007) 28, No. 3 (2007) 28, No. 2 (2007) 28, No. 1 (2007) 27, No. 4 (2006) 27, No. 3 (2006) 27, No. 2 (2006) 27, No. 1 (2006) 26, No. 4 (2005) 26, No. 3 (2005) 26, No. 2 (2005) 26, No. 1 (2005) 25, No. 4 (2004) 25, No. 3 (2004) 25, No. 2 (2004) 25, No. 1 (2004) 24, No. 4 (2003) 24, No. 3 (2003) 24, No. 2 (2003) 24, No. 1 (2003) 23, No. 4 (2002) 23, No. 3 (2002) 23, No. 2 (2002) 23, No. 1 (2002) 22, No. 4 (2001) 22, No. 3 (2001) 22, No. 2 (2001) 22, No. 1 (2001) 21, No. 4 (2000) 21, No. 3 (2000) 21, No. 2 (2000) 21, No. 1 (2000) 20, No. 3-4 (1999) 20, No. 2 (1999) 20, No. 1 (1999) 19, No. 4 (1998) 19, No. 3 (1998) 19, No. 2 (1998) 19, No. 1 (1998) 18, No. 4 (1997) 18, No. 3 (1997) 18, No. 2 (1997) 18, No. 1 (1997) 17, No. 4 (1996) 17, No. 3 (1996) ...and 24 more Volumes all top 5 Authors 13 Grattan-Guinness, Ivor 10 Hailperin, Theodore 10 Landini, Gregory 7 Corcoran, John 7 Martin, John Neil 5 Anellis, Irving H. 5 Centrone, Stefania 5 Franks, Curtis 5 Read, Stephen 4 Bellucci, Francesco 4 Dawson, John W. jun. 4 Dutilh Novaes, Catarina 4 Hanke, Miroslav 4 Linsky, Bernard 4 Peckhaus, Volker 4 Rodríguez-Consuegra, Francisco A. 4 Sagüillo, Jose-Miguel 4 Scanlan, Michael J. 4 Schirn, Matthias 4 Simons, Peter M. 3 Abeles, Francine F. 3 Cassou-Noguès, Pierre 3 Chatti, Saloua 3 Da Costa, Newton Carneiro Affonso 3 Ficara, Elena 3 Franchella, Miriam 3 Hugly, Philip 3 Mancosu, Paolo 3 Manzano, María 3 Moktefi, Amirouche 3 Pietarinen, Ahti-Veikko 3 Priest, Graham 3 Reck, Erich H. 3 Sayward, Charles W. 3 Shapiro, Stewart 3 Tarski, Alfred 3 Thiel, Christian 3 Thom, Paul 3 Trybus, Adam 3 Urbaniak, Rafał 3 Weaver, George E. 3 Woleński, Jan 2 Alonso, Enrique 2 Ashworth, E. Jennifer 2 Awodey, Steve 2 Bo, Chen 2 Boger, George 2 Boswell, Terry 2 Bueno, Otávio 2 Cocchiarella, Nino B. 2 Demey, Lorenz 2 Ebbinghaus, Heinz-Dieter 2 Eder, Günther 2 Englebretsen, George 2 Fallahi, Asadollah 2 Frazee, Jerome 2 Gabbay, Dov M. 2 Gabriel, Gottfried 2 Gerogiorgakis, Stamatios 2 Godden, David M. 2 Guhe, Eberhard 2 Humberstone, I. L. 2 Humberstone, Lloyd 2 Jacquette, Dale 2 Jakobsen, David 2 Jané, Ignacio 2 Johnson, Fred 2 Kearns, John T. 2 Klement, Kevin C. 2 Lampert, Timm 2 Lenzen, Wolfgang 2 Mares, Edwin D. 2 Masoud, Hassan 2 Merrill, Daniel D. 2 Milne, Peter 2 Moore, Gregory H. 2 Mortensen, Chris 2 Neuwirth, Stefan 2 Nortmann, Ulrich 2 Papazian, Michael B. 2 Paseau, Alexander Christopher 2 Primiero, Giuseppe 2 Raatikainen, Panu 2 Rahman, Shahid 2 Rusnock, Paul 2 Sánchez Valencia, Víctor 2 Schlimm, Dirk 2 Schlotter, Sven 2 Schroeder-Heister, Peter Joseph 2 Shin, Sun-Joo 2 Simmons, Keith 2 Slater, Barry Hartley 2 Street, Tony 2 van Atten, Mark 2 Verburgt, Lukas M. Cosci Matteo 2 Vrhovski, Jan 2 Wehmeier, Kai Frederick 2 Wille, Matthias 2 Zolghadr, Behnam 2 Zygmunt, Jan ...and 297 more Authors all top 5 Fields 488 Mathematical logic and foundations (03-XX) 391 History and biography (01-XX) 61 General and overarching topics; collections (00-XX) 6 Computer science (68-XX) 5 Geometry (51-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 Probability theory and stochastic processes (60-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Mathematics education (97-XX) 2 Combinatorics (05-XX) 2 Real functions (26-XX) 2 Quantum theory (81-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Group theory and generalizations (20-XX) 1 Difference and functional equations (39-XX) 1 General topology (54-XX) 1 Statistics (62-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 306 Publications have been cited 1,097 times in 773 Documents Cited by ▼ Year ▼ What are logical notions? Zbl 0622.03004Tarski, Alfred 64 1986 On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus. Zbl 0512.03004Bochvar, D. A. 44 1981 Beyond first-order logic: The historical interplay between mathematical logic and axiomatic set theory. Zbl 0495.01007Moore, Gregory H. 30 1980 The consistency of predicative fragments of Frege’s Grundgesetze der Arithmetik. Zbl 0876.03032Heck, Richard G. jun. 26 1996 Completeness and categoricity. I: Nineteenth-century axiomatics to twentieth-century metalogic. Zbl 1031.03002Awodey, Steve; Reck, Erich H. 26 2002 On the concept of following logically. Translated from the Polish and German by Magda Stroińska and David Hitchcock. Zbl 1030.03003Tarski, Alfred 23 2002 Categoricity. Zbl 0504.03014Corcoran, John 22 1980 On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation. Zbl 0741.03027Presburger, Mojżesz; Jacquette, Dale 20 1991 A brief history of natural deduction. Zbl 1052.03517Pelletier, Francis Jeffry 19 1999 Aristotle’s Prior analytics and Boole’s Laws of thought. Zbl 1044.03001Corcoran, John 16 2003 The different ways in which logic is (said to be) formal. Zbl 1272.03017Dutilh Novaes, Catarina 15 2011 Aristotle’s natural deduction reconsidered. Zbl 0885.03001Martin, John N. 14 1997 On inversion principles. Zbl 1147.03001Moriconi, Enrico; Tesconi, Laura 14 2008 Frege, Hilbert, and the conceptual structure of model theory. Zbl 0808.01002Demopoulos, William 13 1994 Existential graphs: what a diagrammatic logic of cognition might look like. Zbl 1270.03013Pietarinen, Ahti-Veikko 11 2011 Lewis Carroll’s visual logic. Zbl 1117.03002Abeles, Francine F. 11 2007 American postulate theorists and Alfred Tarski. Zbl 1043.03004Scanlan, Michael 11 2003 The cube, the square and the problem of existential import. Zbl 1308.03013Chatti, Saloua; Schang, Fabien 10 2013 Euler’s visual logic. Zbl 1052.03516Hammer, Eric; Shin, Sun-Joo 10 1998 Simplex sigillum veri: Peano, Frege, and Peirce on the primitives of logic. Zbl 1431.03002Bellucci, Francesco; Moktefi, Amirouche; Pietarinen, Ahti-Veikko 9 2018 Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited. Zbl 1100.03006Peckhaus, Volker 9 2004 L. E. J. Brouwer’s ‘Unreliability of the logical principles’: a new translation, with an introduction. Zbl 1372.01108van Atten, Mark; Sundholm, Göran 8 2017 Conceptions of truth in intuitionism. Zbl 1067.03009Raatikainen, Panu 8 2004 Lewis Carroll’s formal logic. Zbl 1062.03004Abeles, Francine F. 8 2005 Completeness and categoricity. II: Twentieth-century metalogic to twenty-first-century semantics. Zbl 1038.03003Awodey, Steve; Reck, Erich H. 8 2002 Undefinability of truth. The problem of priority: Tarski vs Gödel. Zbl 1052.03504Murawski, Roman 8 1998 Was Lewis Carroll an amazing oppositional geometer? Zbl 1369.03015Moretti, Alessio 7 2014 Lectures on Begriffsschrift. (Vorlesungen über Begriffsschrift. (Nach der Mitschrift von Rudolf Carnap. Unter Mitwirkung von Christopher von Bülow und Brigitte Uhlemann, mit Einleitung und Anmerkungen herausgegeben von Gottfried Gabriel).) Zbl 0860.01036Frege, Gottlob 7 1996 Harvard 1940–1941: Tarski, Carnap and Quine on a finitistic language of mathematics for science. Zbl 1095.03006Mancosu, Paolo 7 2005 On Frege’s Begriffsschrift notation for propositional logic: design principles and trade-offs. Zbl 1436.03011Schlimm, Dirk 7 2018 Syllogistic with indefinite terms. Zbl 1308.03002Alvarez, Enrique; Correia, Manuel 6 2012 Discussion on the foundation of mathematics. Zbl 0535.03001Dawson, John W. jun. 6 1984 Hilbert’s ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs. Zbl 1069.03002Zach, Richard 6 2004 Completeness and categoricity: Frege, Gödel and model theory. Zbl 0889.03004Read, Stephen 6 1997 Ontologically neutral logic. Zbl 0902.03001Hailperin, Theodore 6 1997 Alonzo Church: His life, his work and some of his miracles. Zbl 0899.01024Manzano, María 6 1997 A reconstruction of Aristotle’s modal syllogistic. Zbl 1106.03001Malink, Marko 6 2006 On the development of the notion of a cardinal number. Zbl 1204.03002Deiser, Oliver 6 2010 Aristotle’s demonstrative logic. Zbl 1162.03300Corcoran, John 6 2009 On a fallacy attributed to Tarski. Zbl 1052.03509Gómez-Torrente, Mario 6 1998 Domains of sciences, universes of discourse and omega arguments. Zbl 1052.03514Sagüillo, José M. 6 1999 Jaina logic and the philosophical basis of pluralism. Zbl 1038.03004Ganeri, Jonardon 6 2002 Zermelo: Definiteness and the universe of definable sets. Zbl 1043.03002Ebbinghaus, Heinz-Dieter 6 2003 Avicenna on possibility and necessity. Zbl 1369.03003Chatti, Saloua 5 2014 Aristotle’s Syllogistic and core logic. Zbl 1312.03036Tennant, Neil 5 2014 Developing arithmetic in set theory without infinity: Some historical remarks. Zbl 0644.03001Parsons, Charles 5 1987 Boolean algebra and its extra-logical sources: the testimony of Mary Everest Boole. Zbl 0497.01016Laita, Luis M. 5 1980 ‘Ich habe mich wohl gehütet, alle Patronen auf einmal zu verschießen’. Ernst Zermelo in Göttingen. Zbl 0692.01016Peckhaus, Volker 5 1990 Negation and quantification in Aristotle. Zbl 0705.03002Wedin, Michael V. 5 1990 A comparative taxonomy of medieval and modern approaches to liar sentences. Zbl 1156.03008Dutilh Novaes, C. 5 2008 Methodological practice and complementary concepts of logical consequence: Tarski’s model-theoretic consequence and Corcoran’s information-theoretic consequence. Zbl 1162.03004Sagüillo, José M. 5 2009 Existence, negation, and abstraction in the Neoplatonic hierarchy. Zbl 0850.03009Martin, John N. 5 1995 Frege’s theory of real numbers. Zbl 0649.01023Simons, Peter M. 5 1987 On Husserl’s theory of wholes and parts. Zbl 1002.03505Casari, Ettore 5 2000 Russell’s 1903-1905 anticipation of the lambda calculus. Zbl 1044.03002Klement, Kevin C. 5 2003 The compactness of first-order logic: From Gödel to Lindström. Zbl 0794.03001Dawson, John W. jun. 4 1993 Square of opposition: a diagram and a theory in historical perspective. Zbl 1357.03011 4 2014 Aristotle on universal quantification: a study from the point of view of game semantics. Zbl 1384.03010Marion, M.; Rückert, H. 4 2016 Existential import today: new metatheorems; historical, philosophical, and pedagogical misconceptions. Zbl 1373.03009Corcoran, John; Masoud, Hassan 4 2015 Grundlagen, Section 64: Frege’s discussion of definitions by abstraction in historical context. Zbl 1365.01027Mancosu, Paolo 4 2015 On the completeness of non-Philonian Stoic logic. Zbl 0832.03005Milne, Peter 4 1995 Logic and mathematics in the seventeenth century. Zbl 1222.01008Mugnai, Massimo 4 2010 Cut as consequence. Zbl 1298.03005Franks, Curtis 4 2010 Diagrammatic reasoning: some notes on Charles S. Peirce and Friedrich A. Lange. Zbl 1312.03001Bellucci, Francesco 4 2013 Popper’s theory of deductive inference and the concept of a logical constant. Zbl 0568.03004Schroeder-Heister, Peter 4 1984 Russell’s substitutional theory of classes and relations. Zbl 0645.01014Landini, Gregory 4 1987 Georg Cantor’s influence on Bertrand Russell. Zbl 0502.01010Grattan-Guinness, I. 4 1980 On extremal axioms. Zbl 0512.03003Carnap, Rudolf; Bachmann, Friedrich 4 1981 Psychology in the foundations of logic and mathematics: the cases of Boole, Cantor and Brouwer. Zbl 0516.03002Grattan-Guinness, I. 4 1982 The two Barbaras. Zbl 0728.03004Thom, Paul 4 1991 Gödel on concepts. Zbl 1106.03002Crocco, Gabriella 4 2006 Peirce’s truth-functional analysis and the origin of the truth table. Zbl 1270.03008Anellis, Irving H. 4 2012 The birth of quantum logic. Zbl 1130.03002Rédei, Miklós 4 2007 Herbrand semantics, the potential infinite, and ontology-free logic. Zbl 0755.03003Hailperin, Theodore 4 1992 Between Vienna and Berlin: the immediate reception of Gödel’s incompleteness theorems. Zbl 1051.01504Mancosu, Paolo 4 1999 Constructivity in geometry. Zbl 1051.51500Vesley, Richard 4 1999 Symmetry and paradox. Zbl 1119.03012Read, Stephen 4 2006 Boolean considerations on John Buridan’s octagons of opposition. Zbl 1427.03036Demey, Lorenz 3 2019 A theory of truth based on a medieval solution to the liar paradox. Zbl 0768.03001Epstein, Richard L. 3 1992 Spreads or choice sequences? Zbl 0769.03004de Swart, H. C. M. 3 1992 A critical appraisal of second-order logic. Zbl 0788.03003Jané, Ignacio 3 1993 A paradox of definability: Richard’s and Poincaré’s ways out. Zbl 0792.01022Simmons, Keith 3 1994 Frege’s reduction. Zbl 0804.00006Blanchette, Patricia A. 3 1994 The idea of formal logic in the appendices VI to X of Volume 12 of Husserliana (1970). (L’idée de la logique formelle dans les appendices VI à X du volume 12 des Husserliana (1970).) Zbl 1369.03009Isaac, Manuel Gustavo 3 2015 Satisfying predicates: Kleene’s proof of the Hilbert-Bernays theorem. Zbl 1369.03004Ebbs, Gary 3 2015 Charles S. Peirce and the medieval doctrine of consequentiae. Zbl 1384.03003Bellucci, Francesco 3 2016 Hegel’s glutty negation. Zbl 1369.03040Ficara, Elena 3 2015 König’s infinity lemma and Beth’s tree theorem. Zbl 1417.03038Weaver, George 3 2017 Logical analysis of the Talmudic rules of general and specific (Klalim-u-Praṭim). Zbl 1231.03003Abraham, Michael; Gabbay, Dov M.; Hazut, Gabriel; Maruvka, Yosef E.; Schild, Uri 3 2011 The problem of apagogic proof in Bolzano’s Contributions and his Theory of science. (Das Problem der apagogischen Beweise in Bolzanos Beyträgen und seiner Wissenschaftslehre.) Zbl 1312.01008Centrone, Stefania 3 2012 Busting a myth about Leśniewski and definitions. Zbl 1311.01024Urbaniak, Rafal; Hämäri, K. Severi 3 2012 Distributive terms, truth, and the Port Royal Logic. Zbl 1312.03015Martin, John N. 3 2013 Problems for logical pluralism. Zbl 1308.03018Griffiths, Owen 3 2013 Frege’s approach to the foundations of analysis (1874–1903). Zbl 1345.03007Schirn, Matthias 3 2013 Bertrand Russell’s logical manuscripts: An apprehensive brief. Zbl 0562.01010Grattan-Guinness, I. 3 1985 On automorphisms of arbitrary mathematical systems. Zbl 0586.03026Sebastião e Silva, José 3 1985 The heritage of S. A. Janovskaja. Zbl 0622.01020Anellis, Irving H. 3 1987 Peano as logician. Zbl 0634.03001van Orman Quine, Willard 3 1987 On a medieval solution to the liar paradox. Zbl 0643.03002Simmons, Keith 3 1987 Die Kontroverse um die intuitionistische Logik vor ihrer Axiomatisierung durch Heyting im Jahre 1930. (The controversy about the intuitionistic logic before its axiomatization by Heyting in 1930). Zbl 0645.01013Thiel, Christian 3 1988 A critical examination of the historical origins of connexive logic. Zbl 1503.03004Lenzen, Wolfgang 3 2020 Kurt Gödel’s anticipation of the Turing machine: a vitalistic approach. Zbl 1512.03008Lethen, Tim 1 2020 Boolean considerations on John Buridan’s octagons of opposition. Zbl 1427.03036Demey, Lorenz 3 2019 Avicenna on the law of non-contradiction. Zbl 1427.03027Zolghadr, Behnam 2 2019 Duty and sacrifice: a logical analysis of the Mīmāṃsā theory of Vedic injunctions. Zbl 1427.03006Freschi, Elisa; Ollett, Andrew; Pascucci, Matteo 2 2019 Aristotelian logic axioms in propositional logic: the pouch method. Zbl 1427.03029Alvarez-Fontecilla, Enrique; Lungenstrass, Tomas 1 2019 Quine’s substitutional definition of logical truth and the philosophical significance of the Löwenheim-Hilbert-Bernays theorem. Zbl 1427.03025Wagner, Henri 1 2019 Stoic sequent logic and proof theory. Zbl 1427.03061Bobzien, Susanne 1 2019 Sextus Empiricus’ fourth conditional and containment logic. Zbl 1427.03011Weiss, Yale 1 2019 Jesuit probabilistic logic between scholastic and academic philosophy. Zbl 1427.03007Hanke, Miroslav 1 2019 Simplex sigillum veri: Peano, Frege, and Peirce on the primitives of logic. Zbl 1431.03002Bellucci, Francesco; Moktefi, Amirouche; Pietarinen, Ahti-Veikko 9 2018 On Frege’s Begriffsschrift notation for propositional logic: design principles and trade-offs. Zbl 1436.03011Schlimm, Dirk 7 2018 Logic diagrams in the Weigel and Weise circles. Zbl 1436.03009Lemanski, Jens 3 2018 The Sufi path of dialetheism: gluon theory and Wahdat al-Wujūd. Zbl 1428.03038Zolghadr, Behnam 2 2018 Kalmár’s argument against the plausibility of Church’s thesis. Zbl 1428.03034Szabó, Máté 2 2018 Book review of: E. Casari, Bolzano’s logical system. Zbl 1456.00039Sebestik, Jan 2 2018 Avicenna on the primary propositions. Zbl 1428.01008Mousavian, Seyed N.; Ardeshir, Mohammad 1 2018 Decoding Gentzen’s notation. Zbl 1427.03062Bellotti, Luca 1 2018 ‘My future son is possibly alive’. Existential presupposition and empty terms in Abelard’s modal logic. Zbl 1427.03002Binini, Irene 1 2018 The context of inference. Zbl 1427.03015Franks, Curtis 1 2018 ‘Horrent with mysterious spiculæ’. Augustus De Morgan’s logic notation of 1850 as a ‘calculus of opposite relations’. Zbl 1436.03007Heinemann, Anna-Sophie 1 2018 L. E. J. Brouwer’s ‘Unreliability of the logical principles’: a new translation, with an introduction. Zbl 1372.01108van Atten, Mark; Sundholm, Göran 8 2017 König’s infinity lemma and Beth’s tree theorem. Zbl 1417.03038Weaver, George 3 2017 Popper’s notion of duality and his theory of negations. Zbl 1406.03004Binder, David; Piecha, Thomas 2 2017 Rescuing Poincaré from Richard’s paradox. Zbl 1417.03084Luna, Laureano 1 2017 Paul of Venice and realist developments of Roger Swyneshed’s treatment of semantic paradoxes. Zbl 1417.03011Hanke, Miroslav 1 2017 Function and argument in Begriffsschrift. Zbl 1417.03004Badesa, Calixto; Bertran-San Millán, Joan 1 2017 Frege’s Begriffsschrift is indeed first-order complete. Zbl 1417.03016Liu, Yang 1 2017 Making sense of sense containment. Zbl 1417.03090Negro, Antonio 1 2017 Wittgenstein’s \(ab\)-notation: an iconic proof procedure. Zbl 1417.03082Lampert, Timm 1 2017 Graham Priest’s mathematical analysis of the concept of emptiness. Zbl 1417.03066Guhe, Eberhard 1 2017 Term kinds and the formality of Aristotelian modal logic. Zbl 1417.03088Mendelsohn, Joshua 1 2017 Aristotle on universal quantification: a study from the point of view of game semantics. Zbl 1384.03010Marion, M.; Rückert, H. 4 2016 Charles S. Peirce and the medieval doctrine of consequentiae. Zbl 1384.03003Bellucci, Francesco 3 2016 Aristotle on the non-cause fallacy. Zbl 1384.03004Castagnoli, Luca 2 2016 Whitehead’s (badly) emended Principia. Zbl 1384.03009Landini, Gregory 1 2016 Boolos and the metamathematics of Quine’s definitions of logical truth and consequence. Zbl 1384.03025Eder, Günther 1 2016 Existential import today: new metatheorems; historical, philosophical, and pedagogical misconceptions. Zbl 1373.03009Corcoran, John; Masoud, Hassan 4 2015 Grundlagen, Section 64: Frege’s discussion of definitions by abstraction in historical context. Zbl 1365.01027Mancosu, Paolo 4 2015 The idea of formal logic in the appendices VI to X of Volume 12 of Husserliana (1970). (L’idée de la logique formelle dans les appendices VI à X du volume 12 des Husserliana (1970).) Zbl 1369.03009Isaac, Manuel Gustavo 3 2015 Satisfying predicates: Kleene’s proof of the Hilbert-Bernays theorem. Zbl 1369.03004Ebbs, Gary 3 2015 Hegel’s glutty negation. Zbl 1369.03040Ficara, Elena 3 2015 Towards a historical notion of ‘Turing – the father of computer science’. Zbl 1359.68004Daylight, Edgar G. 2 2015 A formal reconstruction of Buridan’s modal syllogism. Zbl 1373.03022Johnston, Spencer 2 2015 Buridan’s solution to the liar paradox. Zbl 1369.03001Benétreau-Dupin, Yann 2 2015 A vindication of program verification. Zbl 1359.68186Bringsjord, Selmer 1 2015 On Walter Dubislav. Zbl 1359.01050Milkov, Nikolay 1 2015 Was Lewis Carroll an amazing oppositional geometer? Zbl 1369.03015Moretti, Alessio 7 2014 Avicenna on possibility and necessity. Zbl 1369.03003Chatti, Saloua 5 2014 Aristotle’s Syllogistic and core logic. Zbl 1312.03036Tennant, Neil 5 2014 Square of opposition: a diagram and a theory in historical perspective. Zbl 1357.03011 4 2014 The medieval octagon of opposition for sentences with quantified predicates. Zbl 1369.03002Campos Benítez, Juan Manuel 2 2014 Chunk and permeate: the infinitesimals of Isaac Newton. Zbl 1312.03028Sweeney, David John 2 2014 Completeness: from Gödel to Henkin. Zbl 1312.03004Manzano, Maria; Alonso, Enrique 2 2014 John Venn’s hypothetical infinite frequentism and logic. Zbl 1309.01013Verburgt, Lukas M. 2 2014 Syncategoremata in Arabic logic, al-Fārābī and Avicenna. Zbl 1316.01006Chatti, Saloua 1 2014 Why did Weyl think that formalism’s victory against intuitionism entails a defeat of pure phenomenology? Zbl 1309.01016Toader, Iulian D. 1 2014 Editor’s introduction to C. I. Lewis and C. H. Langford ‘A note on strict implication’. Zbl 1312.03005Mares, Edwin 1 2014 A note on strict implication (1935). Zbl 1312.03003Lewis, C. I.; Langford, C. H. 1 2014 Do we need mathematical facts? Zbl 1312.03013Krysztofiak, Wojciech 1 2014 The principle of contradiction and ecthesis in Aristotle’s syllogistic. Zbl 1312.03002Joray, Pierre 1 2014 Słupecki’s generalized mereology and its flaws. Zbl 1312.03008Urbaniak, Rafal 1 2014 The cube, the square and the problem of existential import. Zbl 1308.03013Chatti, Saloua; Schang, Fabien 10 2013 Diagrammatic reasoning: some notes on Charles S. Peirce and Friedrich A. Lange. Zbl 1312.03001Bellucci, Francesco 4 2013 Distributive terms, truth, and the Port Royal Logic. Zbl 1312.03015Martin, John N. 3 2013 Problems for logical pluralism. Zbl 1308.03018Griffiths, Owen 3 2013 Frege’s approach to the foundations of analysis (1874–1903). Zbl 1345.03007Schirn, Matthias 3 2013 Erhard Weigel’s contributions to the formation of symbolic logic. Zbl 1329.01022Bullynck, Maarten 2 2013 Frege, Dedekind, and the origins of logicism. Zbl 1308.03008Reck, Erich H. 2 2013 Book review of: B. Linsky, The evolution of Principia Mathematica. Bertrand Russell’s manuscripts and notes for the second edition. Zbl 1308.00021Landini, Gregory 1 2013 On Bolzano’s concept of a sum. Zbl 1308.01006Rusnock, Paul 1 2013 Frege, Carnap, and explication: ‘our concern here is to arrive at a concept of number usable for the purpose of science’. Zbl 1308.03006Lavers, Gregory 1 2013 Typos of Principia mathematica. Zbl 1311.01023Landini, Gregory 1 2013 On Frege’s notion of predicate reference. Zbl 1308.03007Leth, Palle 1 2013 Book review of: F. Acerbi, Il silenzio delle sirene. La matematica greca antica. Zbl 1308.00038von Plato, Jan 1 2013 Syllogistic with indefinite terms. Zbl 1308.03002Alvarez, Enrique; Correia, Manuel 6 2012 Peirce’s truth-functional analysis and the origin of the truth table. Zbl 1270.03008Anellis, Irving H. 4 2012 The problem of apagogic proof in Bolzano’s Contributions and his Theory of science. (Das Problem der apagogischen Beweise in Bolzanos Beyträgen und seiner Wissenschaftslehre.) Zbl 1312.01008Centrone, Stefania 3 2012 Busting a myth about Leśniewski and definitions. Zbl 1311.01024Urbaniak, Rafal; Hämäri, K. Severi 3 2012 Henry M. Sheffer and notational relativity. Zbl 1263.01017Urquhart, Alasdair 3 2012 Chrysippus confronts the liar: the case for Stoic cassationism. Zbl 1304.03023Papazian, Michael 1 2012 Book review of: P. Mancosu, The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900–1940. Zbl 1308.00037van Atten, Mark 1 2012 Justification of induction: Russell and Jin Yuelin. A comparative study. Zbl 1308.01008Bo, Chen 1 2012 Strong proofs and the prohibition of metábasis eis állo génos. An investigation into Bernard Bolzano’s Beyträge zu einer begründeten Darstellung der Mathematik. (Strenge Beweise und das Verbot der metábasis eis állo génos. Eine Untersuchung zu Bernard Bolzanos Beyträgen zu einer begründeten Darstellung der Mathematik.) Zbl 1273.01026Centrone, Stefania 1 2012 Method of analysis: a paradigm of mathematical reasoning? Zbl 1272.03025Hintikka, Jaakko 1 2012 The different ways in which logic is (said to be) formal. Zbl 1272.03017Dutilh Novaes, Catarina 15 2011 Existential graphs: what a diagrammatic logic of cognition might look like. Zbl 1270.03013Pietarinen, Ahti-Veikko 11 2011 Logical analysis of the Talmudic rules of general and specific (Klalim-u-Praṭim). Zbl 1231.03003Abraham, Michael; Gabbay, Dov M.; Hazut, Gabriel; Maruvka, Yosef E.; Schild, Uri 3 2011 Peirce’s search for a graphical modal logic (propositional part). Zbl 1270.03014Ramharter, Esther; Gottschall, Christian 3 2011 The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper. Zbl 1270.03009Corcoran, John; Sagüillo, José Miguel 3 2011 ‘Metamathematics’ in transition. Zbl 1270.03018Wille, Matthias 2 2011 Qal wa-ḥomer and theory of massive-parallel proofs. Zbl 1231.03006Schumann, Andrew 1 2011 The versatility of universality in Principia mathematica. Zbl 1270.03011Halimi, Brice 1 2011 Modal objection to naive Leibnizian identity. Zbl 1261.03032Jacquette, Dale 1 2011 On the development of the notion of a cardinal number. Zbl 1204.03002Deiser, Oliver 6 2010 Logic and mathematics in the seventeenth century. Zbl 1222.01008Mugnai, Massimo 4 2010 Cut as consequence. Zbl 1298.03005Franks, Curtis 4 2010 Etchemendy and Bolzano on logical consequence. Zbl 1200.03013Rusnock, Paul; Burke, Mark 3 2010 Brouwer’s incomplete objects. Zbl 1200.03006Niekus, Joop 3 2010 The later Mohists and logic. Zbl 1227.01005Robins, Dan 2 2010 ...and 206 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 638 Authors 13 Pietarinen, Ahti-Veikko 10 Grattan-Guinness, Ivor 10 Moktefi, Amirouche 9 Anellis, Irving H. 9 Bellucci, Francesco 9 Demey, Lorenz 8 Corcoran, John 8 Dutilh Novaes, Catarina 8 Hailperin, Theodore 8 Landini, Gregory 8 Read, Stephen 7 Béziau, Jean-Yves 7 Walsh, Sean 6 Kanamori, Akihiro 6 Moore, Gregory H. 6 Rahman, Shahid 6 Smessaert, Hans 6 Verburgt, Lukas M. Cosci Matteo 5 Franchella, Miriam 5 Humberstone, Lloyd 5 Martin, John Neil 5 Petrukhin, Yaroslav Igorevich 5 Reck, Erich H. 5 Sagüillo, Jose-Miguel 5 Schiemer, Georg 5 Zach, Richard 4 Antonelli, Gian Aldo 4 Awodey, Steve 4 Boccuni, Francesca 4 Chatti, Saloua 4 Cluckers, Raf 4 Dawson, John W. jun. 4 Došen, Kosta 4 Ebbinghaus, Heinz-Dieter 4 Eder, Günther 4 Ficara, Elena 4 Hanke, Miroslav 4 Hartimo, Mirja Helena 4 Isaac, Manuel Gustavo 4 Klement, Kevin C. 4 Linnebo, Øystein 4 Loeb, Iris 4 Manzano, María 4 Moss, Lawrence S. 4 Sagi, Gil 4 Schirn, Matthias 4 Shapiro, Stewart 4 Urbaniak, Rafał 4 van Atten, Mark 3 Adžić, Miloš 3 Alonso, Enrique 3 Bhattacharjee, Reetu 3 Bonnay, Denis 3 Bonzio, Stefano 3 Ciucci, Davide 3 D’Agostino, Marcello 3 Dean, Walter 3 Dubois, Didier 3 Feferman, Solomon 3 Ferreira, Fernando 3 Ferreirós, José 3 Francez, Nissim 3 Gabbay, Dov M. 3 Gómez-Torrente, Mario 3 Halupczok, Immanuel 3 Hazen, Allen P. 3 Heck, Richard Kimberly 3 Joaquin, Jeremiah Joven B. 3 Lampert, Timm 3 Leach-Krouse, Graham 3 Lemanski, Jens 3 Linsky, Bernard 3 Mares, Edwin D. 3 Moriconi, Enrico 3 Pelletier, Francis Jeffry 3 Restall, Greg 3 Rice, Adrian Clifford 3 Rodríguez-Consuegra, Francisco A. 3 Shallit, Jeffrey Outlaw 3 Shramko, Yaroslav V. 3 Sieg, Wilfried 3 Szmuc, Damian Enrique 3 Tennant, Neil W. 3 Trybus, Adam 3 Urban, Josef 3 Wehmeier, Kai Frederick 2 Abeles, Francine F. 2 Alvarez-Fontecilla, Enrique 2 Aranda, Víctor 2 Baldi, Michele Pra 2 Baldwin, John T. 2 Barra, Mathias 2 Bazhanov, Valentin A. 2 Běhounek, Libor 2 Bhaduri, Purandar 2 Bobzien, Susanne 2 Bogart, Tristram 2 Cassou-Noguès, Pierre 2 Centrone, Stefania 2 Chiffi, Daniele ...and 538 more Authors all top 5 Cited in 80 Journals 174 History and Philosophy of Logic 61 Synthese 50 The Review of Symbolic Logic 40 Logica Universalis 39 The Bulletin of Symbolic Logic 38 Journal of Philosophical Logic 33 Studia Logica 25 Notre Dame Journal of Formal Logic 18 Historia Mathematica 17 Logic and Logical Philosophy 12 Journal of Logic, Language and Information 10 Journal of Applied Non-Classical Logics 9 Erkenntnis 9 Journal of Applied Logic 7 The Mathematical Intelligencer 6 Archive for History of Exact Sciences 6 The Journal of Symbolic Logic 6 Annals of Pure and Applied Logic 5 International Journal of Approximate Reasoning 5 Indagationes Mathematicae. New Series 4 Journal of Automated Reasoning 4 Topoi 4 Foundations of Science 3 Theoretical Computer Science 3 Axiomathes 3 Logicheskie Issledovaniya 2 Artificial Intelligence 2 International Journal of General Systems 2 Mathematische Semesterberichte 2 Algebra Universalis 2 Bulletin of the Section of Logic 2 Theoria. Segunda Epoca 2 MSCS. Mathematical Structures in Computer Science 2 Annals of Mathematics and Artificial Intelligence 2 NTM. Neue Serie 2 BSHM Bulletin 2 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 2 Philosophy Compass 2 Computability 2 Axioms 2 Nôus 2 Perspectives on Science 1 International Journal of Modern Physics A 1 American Mathematical Monthly 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 The Mathematical Gazette 1 Moscow University Mathematics Bulletin 1 Duke Mathematical Journal 1 Fuzzy Sets and Systems 1 Information Sciences 1 Inventiones Mathematicae 1 Journal of Pure and Applied Algebra 1 Kybernetes 1 Publications of the Research Institute for Mathematical Sciences, Kyoto University 1 Results in Mathematics 1 Transactions of the American Mathematical Society 1 Acta Mathematica Hungarica 1 Journal of Symbolic Computation 1 Annals of Operations Research 1 Computational Geometry 1 International Journal of Algebra and Computation 1 Expositiones Mathematicae 1 The Electronic Journal of Combinatorics 1 Doklady Mathematics 1 Soft Computing 1 Journal of the Royal Statistical Society. Series A. Statistics in Society 1 LMS Journal of Computation and Mathematics 1 RAIRO. Theoretical Informatics and Applications 1 International Studies in the Philosophy of Science 1 Entropy 1 Journal of the Institute of Mathematics of Jussieu 1 Journal of Multiple-Valued Logic and Soft Computing 1 Logical Methods in Computer Science 1 The College Mathematics Journal 1 RAIRO. Theoretical Informatics and Applications 1 Symmetry 1 European Journal for Philosophy of Science 1 Transactions of the London Mathematical Society 1 International Journal of Systems Science. Principles and Applications of Systems and Integration 1 Discrete Analysis all top 5 Cited in 40 Fields 694 Mathematical logic and foundations (03-XX) 354 History and biography (01-XX) 94 General and overarching topics; collections (00-XX) 46 Computer science (68-XX) 19 Geometry (51-XX) 10 Order, lattices, ordered algebraic structures (06-XX) 8 Number theory (11-XX) 8 Real functions (26-XX) 8 Probability theory and stochastic processes (60-XX) 7 Category theory; homological algebra (18-XX) 7 Quantum theory (81-XX) 5 Combinatorics (05-XX) 5 Group theory and generalizations (20-XX) 5 Convex and discrete geometry (52-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 General algebraic systems (08-XX) 4 Topological groups, Lie groups (22-XX) 3 Commutative algebra (13-XX) 3 Algebraic geometry (14-XX) 3 General topology (54-XX) 2 Field theory and polynomials (12-XX) 2 Associative rings and algebras (16-XX) 2 Statistics (62-XX) 2 Numerical analysis (65-XX) 2 Relativity and gravitational theory (83-XX) 2 Operations research, mathematical programming (90-XX) 2 Mathematics education (97-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Special functions (33-XX) 1 Partial differential equations (35-XX) 1 Sequences, series, summability (40-XX) 1 Abstract harmonic analysis (43-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Differential geometry (53-XX) 1 Algebraic topology (55-XX) 1 Manifolds and cell complexes (57-XX) 1 Optics, electromagnetic theory (78-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year