## 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
 Documents Indexed: 480 Publications (since 1980) References Indexed: 407 Publications with 13,332 References.
all top 5

### Latest Issues

 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) 17, No. 2 (1996) 17, No. 1 (1996) 16, No. 2 (1995) 16, No. 1 (1995) 15, No. 2 (1994) 15, No. 1 (1994) 14, No. 2 (1993) ...and 17 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 Read, Stephen 4 Bellucci, Francesco 4 Dawson, John W. jun. 4 Dutilh Novaes, Catarina 4 Franks, Curtis 4 Peckhaus, Volker 4 Rodríguez-Consuegra, Francisco A. 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 Franchella, Miriam 3 Hanke, Miroslav 3 Hugly, Philip 3 Mancosu, Paolo 3 Manzano, María 3 Moktefi, Amirouche 3 Pietarinen, Ahti-Veikko 3 Reck, Erich H. 3 Sagüillo, Jose-Miguel 3 Sayward, Charles W. 3 Scanlan, Michael J. 3 Tarski, Alfred 3 Thiel, Christian 3 Thom, Paul 3 Urbaniak, Rafał 3 Weaver, George E. 3 Woleński, Jan 2 Alonso, Enrique 2 Awodey, Steve 2 Bo, Chen 2 Boger, George 2 Boswell, Terry 2 Bueno, Otávio 2 Cocchiarella, Nino B. 2 Ebbinghaus, Heinz-Dieter 2 Eder, Günther 2 Englebretsen, George 2 Ficara, Elena 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 Jané, Ignacio 2 Johnson, Fred 2 Kearns, John T. 2 Klement, Kevin C. 2 Lampert, Timm 2 Linsky, Bernard 2 Mares, Edwin D. 2 Masoud, Hassan 2 Merrill, Daniel D. 2 Milne, Peter 2 Moore, Gregory H. 2 Mortensen, Chris 2 Nortmann, Ulrich 2 Papazian, Michael B. 2 Paseau, Alexander Christopher 2 Priest, Graham 2 Primiero, Giuseppe 2 Rahman, Shahid 2 Rusnock, Paul 2 Sánchez Valencia, Víctor 2 Schlimm, Dirk 2 Schlotter, Sven 2 Schroeder-Heister, Peter Joseph 2 Shapiro, Stewart 2 Shin, Sun-Joo 2 Simmons, Keith 2 Slater, Barry Hartley 2 Street, Tony 2 van Atten, Mark 2 Wehmeier, Kai Frederick 2 Wille, Matthias 2 Zolghadr, Behnam 2 Zygmunt, Jan 1 Ablondi, Fred 1 Abraham, Michael 1 Agassi, Joseph 1 Aho, Tuomo 1 Akiba, Ken 1 Albert the Great 1 Alvarez-Fontecilla, Enrique 1 Alvarez, Enrique E. 1 Andrade, Edgar José 1 Ardeshir, Mohammad ...and 266 more Authors
all top 5

### Fields

 447 Mathematical logic and foundations (03-XX) 355 History and biography (01-XX) 59 General and overarching topics; collections (00-XX) 6 Computer science (68-XX) 5 Geometry (51-XX) 4 Probability theory and stochastic processes (60-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Combinatorics (05-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Real functions (26-XX) 2 Quantum theory (81-XX) 2 Mathematics education (97-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)

### Citations contained in zbMATH Open

281 Publications have been cited 937 times in 672 Documents Cited by Year
What are logical notions? Zbl 0622.03004
Tarski, Alfred
1986
On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus. Zbl 0512.03004
Bochvar, D. A.
1981
Beyond first-order logic: The historical interplay between mathematical logic and axiomatic set theory. Zbl 0495.01007
Moore, Gregory H.
1980
The consistency of predicative fragments of Frege’s Grundgesetze der Arithmetik. Zbl 0876.03032
Heck, Richard G. jun.
1996
Completeness and categoricity. I: Nineteenth-century axiomatics to twentieth-century metalogic. Zbl 1031.03002
Awodey, Steve; Reck, Erich H.
2002
Categoricity. Zbl 0504.03014
Corcoran, John
1980
On the concept of following logically. Translated from the Polish and German by Magda Stroińska and David Hitchcock. Zbl 1030.03003
Tarski, Alfred
2002
A brief history of natural deduction. Zbl 1052.03517
Pelletier, Francis Jeffry
1999
On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation. Zbl 0741.03027
Presburger, Mojżesz; Jacquette, Dale
1991
Frege, Hilbert, and the conceptual structure of model theory. Zbl 0808.01002
Demopoulos, William
1994
On inversion principles. Zbl 1147.03001
Moriconi, Enrico; Tesconi, Laura
2008
Aristotle’s natural deduction reconsidered. Zbl 0885.03001
Martin, John N.
1997
American postulate theorists and Alfred Tarski. Zbl 1043.03004
Scanlan, Michael
2003
Existential graphs: what a diagrammatic logic of cognition might look like. Zbl 1270.03013
Pietarinen, Ahti-Veikko
2011
The different ways in which logic is (said to be) formal. Zbl 1272.03017
Dutilh Novaes, Catarina
2011
Aristotle’s Prior analytics and Boole’s Laws of thought. Zbl 1044.03001
Corcoran, John
2003
Euler’s visual logic. Zbl 1052.03516
Hammer, Eric; Shin, Sun-Joo
1998
The cube, the square and the problem of existential import. Zbl 1308.03013
Chatti, Saloua; Schang, Fabien
2013
Completeness and categoricity. II: Twentieth-century metalogic to twenty-first-century semantics. Zbl 1038.03003
Awodey, Steve; Reck, Erich H.
2002
Calculus ratiocinator versus characteristica universalis? The two traditions in logic, revisited. Zbl 1100.03006
Peckhaus, Volker
2004
Conceptions of truth in intuitionism. Zbl 1067.03009
Raatikainen, Panu
2004
Lewis Carroll’s visual logic. Zbl 1117.03002
Abeles, Francine F.
2007
L. E. J. Brouwer’s ‘Unreliability of the logical principles’: a new translation, with an introduction. Zbl 1372.01108
van Atten, Mark; Sundholm, Göran
2017
Lewis Carroll’s formal logic. Zbl 1062.03004
Abeles, Francine F.
2005
Harvard 1940–1941: Tarski, Carnap and Quine on a finitistic language of mathematics for science. Zbl 1095.03006
Mancosu, Paolo
2005
Undefinability of truth. The problem of priority: Tarski vs Gödel. Zbl 1052.03504
Murawski, Roman
1998
Completeness and categoricity: Frege, Gödel and model theory. Zbl 0889.03004
1997
Ontologically neutral logic. Zbl 0902.03001
Hailperin, Theodore
1997
A reconstruction of Aristotle’s modal syllogistic. Zbl 1106.03001
2006
Discussion on the foundation of mathematics. Zbl 0535.03001
Dawson, John W. jun.
1984
Zermelo: Definiteness and the universe of definable sets. Zbl 1043.03002
Ebbinghaus, Heinz-Dieter
2003
Hilbert’s ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs. Zbl 1069.03002
Zach, Richard
2004
On the development of the notion of a cardinal number. Zbl 1204.03002
Deiser, Oliver
2010
On a fallacy attributed to Tarski. Zbl 1052.03509
Gómez-Torrente, Mario
1998
On Frege’s Begriffsschrift notation for propositional logic: design principles and trade-offs. Zbl 1436.03011
Schlimm, Dirk
2018
Simplex sigillum veri: Peano, Frege, and Peirce on the primitives of logic. Zbl 1431.03002
Bellucci, Francesco; Moktefi, Amirouche; Pietarinen, Ahti-Veikko
2018
‘Ich habe mich wohl gehütet, alle Patronen auf einmal zu verschießen’. Ernst Zermelo in Göttingen. Zbl 0692.01016
Peckhaus, Volker
1990
Frege’s theory of real numbers. Zbl 0649.01023
Simons, Peter M.
1987
Existence, negation, and abstraction in the Neoplatonic hierarchy. Zbl 0850.03009
Martin, John N.
1995
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.01036
Frege, Gottlob
1996
Developing arithmetic in set theory without infinity: Some historical remarks. Zbl 0644.03001
Parsons, Charles
1987
Was Lewis Carroll an amazing oppositional geometer? Zbl 1369.03015
Moretti, Alessio
2014
Boolean algebra and its extra-logical sources: the testimony of Mary Everest Boole. Zbl 0497.01016
Laita, Luis M.
1980
Methodological practice and complementary concepts of logical consequence: Tarski’s model-theoretic consequence and Corcoran’s information-theoretic consequence. Zbl 1162.03004
Sagüillo, José M.
2009
Aristotle’s Syllogistic and core logic. Zbl 1312.03036
Tennant, Neil
2014
Russell’s 1903-1905 anticipation of the lambda calculus. Zbl 1044.03002
Klement, Kevin C.
2003
Jaina logic and the philosophical basis of pluralism. Zbl 1038.03004
Ganeri, Jonardon
2002
A comparative taxonomy of medieval and modern approaches to liar sentences. Zbl 1156.03008
Dutilh Novaes, C.
2008
Domains of sciences, universes of discourse and omega arguments. Zbl 1052.03514
Sagüillo, José M.
1999
Herbrand semantics, the potential infinite, and ontology-free logic. Zbl 0755.03003
Hailperin, Theodore
1992
Popper’s theory of deductive inference and the concept of a logical constant. Zbl 0568.03004
Schroeder-Heister, Peter
1984
The compactness of first-order logic: From Gödel to Lindström. Zbl 0794.03001
Dawson, John W. jun.
1993
Alonzo Church: His life, his work and some of his miracles. Zbl 0899.01024
Manzano, María
1997
2006
Russell’s substitutional theory of classes and relations. Zbl 0645.01014
Landini, Gregory
1987
Negation and quantification in Aristotle. Zbl 0705.03002
Wedin, Michael V.
1990
Gödel on concepts. Zbl 1106.03002
Crocco, Gabriella
2006
Georg Cantor’s influence on Bertrand Russell. Zbl 0502.01010
Grattan-Guinness, I.
1980
On extremal axioms. Zbl 0512.03003
Carnap, Rudolf; Bachmann, Friedrich
1981
Existential import today: new metatheorems; historical, philosophical, and pedagogical misconceptions. Zbl 1373.03009
Corcoran, John; Masoud, Hassan
2015
Aristotle’s demonstrative logic. Zbl 1162.03300
Corcoran, John
2009
Between Vienna and Berlin: the immediate reception of Gödel’s incompleteness theorems. Zbl 1051.01504
Mancosu, Paolo
1999
Constructivity in geometry. Zbl 1051.51500
Vesley, Richard
1999
A theory of truth based on a medieval solution to the liar paradox. Zbl 0768.03001
Epstein, Richard L.
1992
Spreads or choice sequences? Zbl 0769.03004
de Swart, H. C. M.
1992
On automorphisms of arbitrary mathematical systems. Zbl 0586.03026
Sebastião e Silva, José
1985
The development of probability logic from Leibniz to MacColl. Zbl 0658.01009
Hailperin, Theodore
1988
Bertrand Russell’s logical manuscripts: An apprehensive brief. Zbl 0562.01010
Grattan-Guinness, I.
1985
The correspondence between George Boole and Stanley Jevons, 1863–1864. Zbl 0721.01010
Grattan-Guinness, Ivor
1991
The two Barbaras. Zbl 0728.03004
Thom, Paul
1991
A critical appraisal of second-order logic. Zbl 0788.03003
Jané, Ignacio
1993
Frege’s reduction. Zbl 0804.00006
Blanchette, Patricia A.
1994
On the completeness of non-Philonian Stoic logic. Zbl 0832.03005
Milne, Peter
1995
Peano as logician. Zbl 0634.03001
van Orman Quine, Willard
1987
On a medieval solution to the liar paradox. Zbl 0643.03002
Simmons, Keith
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.01013
Thiel, Christian
1988
The birth of quantum logic. Zbl 1130.03002
Rédei, Miklós
2007
The power and the limits of Wittgenstein’s N operator. Zbl 1097.03001
McGray, James W.
2006
Psychology in the foundations of logic and mathematics: the cases of Boole, Cantor and Brouwer. Zbl 0516.03002
Grattan-Guinness, I.
1982
Square of opposition: a diagram and a theory in historical perspective. Zbl 1357.03011
2014
Avicenna on possibility and necessity. Zbl 1369.03003
Chatti, Saloua
2014
Satisfying predicates: Kleene’s proof of the Hilbert-Bernays theorem. Zbl 1369.03004
Ebbs, Gary
2015
Aristotle on universal quantification: a study from the point of view of game semantics. Zbl 1384.03010
Marion, M.; Rückert, H.
2016
Grundlagen, Section 64: Frege’s discussion of definitions by abstraction in historical context. Zbl 1365.01027
Mancosu, Paolo
2015
Logic and mathematics in the seventeenth century. Zbl 1222.01008
Mugnai, Massimo
2010
Cut as consequence. Zbl 1298.03005
Franks, Curtis
2010
Russell’s early theory of denoting. Zbl 1173.03002
Bostock, David
2009
Avicenna and Ṭūsī on modal logic. Zbl 1187.01007
Lagerlund, Henrik
2009
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.01008
Centrone, Stefania
2012
Busting a myth about Leśniewski and definitions. Zbl 1311.01024
Urbaniak, Rafal; Hämäri, K. Severi
2012
Frege’s approach to the foundations of analysis (1874–1903). Zbl 1345.03007
Schirn, Matthias
2013
A conceptualist interpretation of Leśniewski’s ontology. Zbl 1030.03024
Cocchiarella, Nino B.
2001
Frege: Two theses, two senses. Zbl 1047.03006
Penco, Carlo
2003
On the substitutional characterization of first-order logical truth. Zbl 1062.03013
McKeon, Matthew
2004
The Buridanian account of inferential relations between doubly quantified propositions: a proof of soundness. Zbl 1061.03008
Dutilh Novaes, Catarina
2004
Consequences of a closed, token-based semantics: the case of John Buridan. Zbl 1058.03514
Klima, Gyula
2004
Causation, randomness, and pseudo-randomness in John Venn’s logic of chance. Zbl 1097.03002
Wall, Byron E.
2005
Buridan’s consequentia: consequence and inference within a token-based semantics. Zbl 1096.03002
Dutilh Novaes, Catarina
2005
The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper. Zbl 1270.03009
Corcoran, John; Sagüillo, José Miguel
2011
Peirce’s truth-functional analysis and the origin of the truth table. Zbl 1270.03008
Anellis, Irving H.
2012
Avicenna on the law of non-contradiction. Zbl 1427.03027
2019
Boolean considerations on John Buridan’s octagons of opposition. Zbl 1427.03036
Demey, Lorenz
2019
Quine’s substitutional definition of logical truth and the philosophical significance of the Löwenheim-Hilbert-Bernays theorem. Zbl 1427.03025
Wagner, Henri
2019
Sextus Empiricus’ fourth conditional and containment logic. Zbl 1427.03011
Weiss, Yale
2019
Duty and sacrifice: a logical analysis of the Mīmāṃsā theory of Vedic injunctions. Zbl 1427.03006
Freschi, Elisa; Ollett, Andrew; Pascucci, Matteo
2019
On Frege’s Begriffsschrift notation for propositional logic: design principles and trade-offs. Zbl 1436.03011
Schlimm, Dirk
2018
Simplex sigillum veri: Peano, Frege, and Peirce on the primitives of logic. Zbl 1431.03002
Bellucci, Francesco; Moktefi, Amirouche; Pietarinen, Ahti-Veikko
2018
Logic diagrams in the Weigel and Weise circles. Zbl 1436.03009
Lemanski, Jens
2018
Avicenna on the primary propositions. Zbl 1428.01008
2018
Kalmár’s argument against the plausibility of Church’s thesis. Zbl 1428.03034
Szabó, Máté
2018
L. E. J. Brouwer’s ‘Unreliability of the logical principles’: a new translation, with an introduction. Zbl 1372.01108
van Atten, Mark; Sundholm, Göran
2017
König’s infinity lemma and Beth’s tree theorem. Zbl 1417.03038
Weaver, George
2017
Paul of Venice and realist developments of Roger Swyneshed’s treatment of semantic paradoxes. Zbl 1417.03011
Hanke, Miroslav
2017
Function and argument in Begriffsschrift. Zbl 1417.03004
2017
Making sense of sense containment. Zbl 1417.03090
Negro, Antonio
2017
Wittgenstein’s $$ab$$-notation: an iconic proof procedure. Zbl 1417.03082
Lampert, Timm
2017
Graham Priest’s mathematical analysis of the concept of emptiness. Zbl 1417.03066
Guhe, Eberhard
2017
Term kinds and the formality of Aristotelian modal logic. Zbl 1417.03088
Mendelsohn, Joshua
2017
Popper’s notion of duality and his theory of negations. Zbl 1406.03004
Binder, David; Piecha, Thomas
2017
Aristotle on universal quantification: a study from the point of view of game semantics. Zbl 1384.03010
Marion, M.; Rückert, H.
2016
Aristotle on the non-cause fallacy. Zbl 1384.03004
Castagnoli, Luca
2016
Charles S. Peirce and the medieval doctrine of consequentiae. Zbl 1384.03003
Bellucci, Francesco
2016
Landini, Gregory
2016
Boolos and the metamathematics of Quine’s definitions of logical truth and consequence. Zbl 1384.03025
Eder, Günther
2016
Existential import today: new metatheorems; historical, philosophical, and pedagogical misconceptions. Zbl 1373.03009
Corcoran, John; Masoud, Hassan
2015
Satisfying predicates: Kleene’s proof of the Hilbert-Bernays theorem. Zbl 1369.03004
Ebbs, Gary
2015
Grundlagen, Section 64: Frege’s discussion of definitions by abstraction in historical context. Zbl 1365.01027
Mancosu, Paolo
2015
Towards a historical notion of ‘Turing – the father of computer science’. Zbl 1359.68004
Daylight, Edgar G.
2015
A formal reconstruction of Buridan’s modal syllogism. Zbl 1373.03022
Johnston, Spencer
2015
Hegel’s glutty negation. Zbl 1369.03040
Ficara, Elena
2015
A vindication of program verification. Zbl 1359.68186
Bringsjord, Selmer
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.03009
Isaac, Manuel Gustavo
2015
Buridan’s solution to the liar paradox. Zbl 1369.03001
Benétreau-Dupin, Yann
2015
On Walter Dubislav. Zbl 1359.01050
Milkov, Nikolay
2015
Was Lewis Carroll an amazing oppositional geometer? Zbl 1369.03015
Moretti, Alessio
2014
Aristotle’s Syllogistic and core logic. Zbl 1312.03036
Tennant, Neil
2014
Square of opposition: a diagram and a theory in historical perspective. Zbl 1357.03011
2014
Avicenna on possibility and necessity. Zbl 1369.03003
Chatti, Saloua
2014
The medieval octagon of opposition for sentences with quantified predicates. Zbl 1369.03002
Campos Benítez, Juan Manuel
2014
Completeness: from Gödel to Henkin. Zbl 1312.03004
Manzano, Maria; Alonso, Enrique
2014
John Venn’s hypothetical infinite frequentism and logic. Zbl 1309.01013
Verburgt, Lukas M.
2014
Syncategoremata in Arabic logic, al-Fārābī and Avicenna. Zbl 1316.01006
Chatti, Saloua
2014
Why did Weyl think that formalism’s victory against intuitionism entails a defeat of pure phenomenology? Zbl 1309.01016
2014
Chunk and permeate: the infinitesimals of Isaac Newton. Zbl 1312.03028
Sweeney, David John
2014
Editor’s introduction to C. I. Lewis and C. H. Langford ‘A note on strict implication’. Zbl 1312.03005
Mares, Edwin
2014
A note on strict implication (1935). Zbl 1312.03003
Lewis, C. I.; Langford, C. H.
2014
Do we need mathematical facts? Zbl 1312.03013
Krysztofiak, Wojciech
2014
The principle of contradiction and ecthesis in Aristotle’s syllogistic. Zbl 1312.03002
Joray, Pierre
2014
Słupecki’s generalized mereology and its flaws. Zbl 1312.03008
Urbaniak, Rafal
2014
The cube, the square and the problem of existential import. Zbl 1308.03013
Chatti, Saloua; Schang, Fabien
2013
Frege’s approach to the foundations of analysis (1874–1903). Zbl 1345.03007
Schirn, Matthias
2013
Erhard Weigel’s contributions to the formation of symbolic logic. Zbl 1329.01022
Bullynck, Maarten
2013
Distributive terms, truth, and the Port Royal Logic. Zbl 1312.03015
Martin, John N.
2013
Diagrammatic reasoning: some notes on Charles S. Peirce and Friedrich A. Lange. Zbl 1312.03001
Bellucci, Francesco
2013
Book review of: B. Linsky, The evolution of Principia Mathematica. Bertrand Russell’s manuscripts and notes for the second edition. Zbl 1308.00021
Landini, Gregory
2013
On Bolzano’s concept of a sum. Zbl 1308.01006
Rusnock, Paul
2013
Problems for logical pluralism. Zbl 1308.03018
Griffiths, Owen
2013
Frege, Dedekind, and the origins of logicism. Zbl 1308.03008
Reck, Erich H.
2013
Typos of Principia mathematica. Zbl 1311.01023
Landini, Gregory
2013
Book review of: F. Acerbi, Il silenzio delle sirene. La matematica greca antica. Zbl 1308.00038
von Plato, Jan
2013
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.01008
Centrone, Stefania
2012
Busting a myth about Leśniewski and definitions. Zbl 1311.01024
Urbaniak, Rafal; Hämäri, K. Severi
2012
Peirce’s truth-functional analysis and the origin of the truth table. Zbl 1270.03008
Anellis, Irving H.
2012
Syllogistic with indefinite terms. Zbl 1308.03002
Alvarez, Enrique; Correia, Manuel
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.01026
Centrone, Stefania
2012
Henry M. Sheffer and notational relativity. Zbl 1263.01017
Urquhart, Alasdair
2012
Method of analysis: a paradigm of mathematical reasoning? Zbl 1272.03025
Hintikka, Jaakko
2012
Existential graphs: what a diagrammatic logic of cognition might look like. Zbl 1270.03013
Pietarinen, Ahti-Veikko
2011
The different ways in which logic is (said to be) formal. Zbl 1272.03017
Dutilh Novaes, Catarina
2011
The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper. Zbl 1270.03009
Corcoran, John; Sagüillo, José Miguel
2011
Logical analysis of the Talmudic rules of general and specific (Klalim-u-Praṭim). Zbl 1231.03003
Abraham, Michael; Gabbay, Dov M.; Hazut, Gabriel; Maruvka, Yosef E.; Schild, Uri
2011
Peirce’s search for a graphical modal logic (propositional part). Zbl 1270.03014
Ramharter, Esther; Gottschall, Christian
2011
‘Metamathematics’ in transition. Zbl 1270.03018
Wille, Matthias
2011
Qal wa-ḥomer and theory of massive-parallel proofs. Zbl 1231.03006
Schumann, Andrew
2011
The versatility of universality in Principia mathematica. Zbl 1270.03011
Halimi, Brice
2011
Modal objection to naive Leibnizian identity. Zbl 1261.03032
Jacquette, Dale
2011
On the development of the notion of a cardinal number. Zbl 1204.03002
Deiser, Oliver
2010
Logic and mathematics in the seventeenth century. Zbl 1222.01008
Mugnai, Massimo
2010
Cut as consequence. Zbl 1298.03005
Franks, Curtis
2010
Etchemendy and Bolzano on logical consequence. Zbl 1200.03013
Rusnock, Paul; Burke, Mark
2010
Brouwer’s incomplete objects. Zbl 1200.03006
Niekus, Joop
2010
The later Mohists and logic. Zbl 1227.01005
Robins, Dan
2010
Polarity and inseparability: the foundation of the apodictic portion of Aristotle’s modal logic. Zbl 1229.03004
Raymond, Dwayne
2010
On translating Frege’s Die Grundlagen der Arithmetik. Zbl 1204.03014
Schirn, Matthias
2010
Field’s paradox and its medieval solution. Zbl 1207.03014
2010
Methodological practice and complementary concepts of logical consequence: Tarski’s model-theoretic consequence and Corcoran’s information-theoretic consequence. Zbl 1162.03004
Sagüillo, José M.
2009
Aristotle’s demonstrative logic. Zbl 1162.03300
Corcoran, John
2009
Russell’s early theory of denoting. Zbl 1173.03002
Bostock, David
2009
Avicenna and Ṭūsī on modal logic. Zbl 1187.01007
Lagerlund, Henrik
2009
Gödel’s introduction to logic in 1939. Zbl 1163.03002
Cassou-Nogues, P.
2009
Russell’s schema, not Priest’s inclosure. Zbl 1202.03012
Landini, Gregory
2009
The Byzantine liar. Zbl 1187.03007
Gerogiorgakis, Stamatios
2009
Cantor on Frege’s Foundations of Arithmetic: Cantor’s 1885 review of Frege’s Die Grundlagen der Arithmetik. Zbl 1188.01010
Ebert, Philip A.; Rossberg, Marcus
2009
Abstraction and intuition in Peano’s axiomatizations of geometry. Zbl 1188.01011
Rizza, Davide
2009
Impossible antecedents and their consequences: some thirteenth-century Arabic discussions. Zbl 1189.01008
El-Rouayheb, Khaled
2009
Proceeding in abstraction. From concepts to types and the recent perspective on information. Zbl 1187.03004
Primiero, Giuseppe
2009
C. I. Lewis on possible worlds. Zbl 1187.03005
Sedlar, Igor
2009
On inversion principles. Zbl 1147.03001
Moriconi, Enrico; Tesconi, Laura
2008
A comparative taxonomy of medieval and modern approaches to liar sentences. Zbl 1156.03008
Dutilh Novaes, C.
2008
Jaina logic: A contemporary perspective. Zbl 1163.03007
Priest, Graham
2008
...and 181 more Documents
all top 5

### Cited by 565 Authors

 12 Pietarinen, Ahti-Veikko 9 Bellucci, Francesco 9 Grattan-Guinness, Ivor 8 Dutilh Novaes, Catarina 8 Hailperin, Theodore 8 Landini, Gregory 7 Anellis, Irving H. 7 Corcoran, John 7 Demey, Lorenz 7 Read, Stephen 7 Walsh, Sean 6 Kanamori, Akihiro 6 Moore, Gregory H. 6 Rahman, Shahid 6 Verburgt, Lukas M. 5 Franchella, Miriam 5 Humberstone, Lloyd 5 Martin, John Neil 5 Moktefi, Amirouche 5 Petrukhin, Yaroslav Igorevich 5 Reck, Erich H. 5 Sagüillo, Jose-Miguel 5 Smessaert, Hans 4 Antonelli, Gian Aldo 4 Awodey, Steve 4 Béziau, Jean-Yves 4 Boccuni, Francesca 4 Cluckers, Raf 4 Dawson, John W. jun. 4 Ebbinghaus, Heinz-Dieter 4 Hartimo, Mirja Helena 4 Klement, Kevin C. 4 Linnebo, Øystein 4 Loeb, Iris 4 Manzano, María 4 Moss, Lawrence S. 4 Schiemer, Georg 4 Schirn, Matthias 4 Shapiro, Stewart 4 Urbaniak, Rafał 4 Zach, Richard 3 Alonso, Enrique 3 Bonnay, Denis 3 Chatti, Saloua 3 Ciucci, Davide 3 Dean, Walter 3 Došen, Kosta 3 Dubois, Didier 3 Eder, Günther 3 Feferman, Solomon 3 Ferreira, Fernando 3 Ficara, Elena 3 Francez, Nissim 3 Gabbay, Dov M. 3 Gómez-Torrente, Mario 3 Halupczok, Immanuel 3 Hanke, Miroslav 3 Hazen, Allen P. 3 Heck, Richard Kimberly 3 Leach-Krouse, Graham 3 Lemanski, Jens 3 Linsky, Bernard 3 Mares, Edwin D. 3 Pelletier, Francis Jeffry 3 Restall, Greg 3 Rice, Adrian Clifford 3 Rodríguez-Consuegra, Francisco A. 3 Sagi, Gil 3 Shramko, Yaroslav V. 3 Sieg, Wilfried 3 Szmuc, Damian Enrique 3 Tennant, Neil W. 3 Urban, Josef 3 van Atten, Mark 3 Wehmeier, Kai Frederick 2 Abeles, Francine F. 2 Adžić, Miloš 2 Alvarez-Fontecilla, Enrique 2 Aranda, Víctor 2 Baldi, Michele Pra 2 Baldwin, John T. 2 Běhounek, Libor 2 Bobzien, Susanne 2 Bogart, Tristram 2 Bonzio, Stefano 2 Cassou-Noguès, Pierre 2 Centrone, Stefania 2 Chiffi, Daniele 2 Cocchiarella, Nino B. 2 Crocco, Gabriella 2 D’Agostino, Marcello 2 Demopoulos, William 2 Domínguez, José 2 Dyckhoff, Roy 2 Ferguson, Thomas Macaulay 2 Fish, Andrew 2 Gordon, Julia 2 Halimi, Brice 2 Hammer, Eric M. 2 Hellman, Geoffrey ...and 465 more Authors
all top 5

### Cited in 75 Journals

 158 History and Philosophy of Logic 51 Synthese 46 The Review of Symbolic Logic 38 The Bulletin of Symbolic Logic 38 Logica Universalis 34 Journal of Philosophical Logic 32 Studia Logica 24 Notre Dame Journal of Formal Logic 18 Historia Mathematica 15 Logic and Logical Philosophy 10 Journal of Applied Non-Classical Logics 9 Journal of Logic, Language and Information 9 Erkenntnis 9 Journal of Applied Logic 6 The Mathematical Intelligencer 6 Annals of Pure and Applied Logic 5 Archive for History of Exact Sciences 5 The Journal of Symbolic Logic 5 Indagationes Mathematicae. New Series 4 Journal of Automated Reasoning 4 Topoi 4 Foundations of Science 3 Theoretical Computer Science 3 International Journal of Approximate Reasoning 3 Axiomathes 2 International Journal of General Systems 2 Mathematische Semesterberichte 2 Algebra Universalis 2 Bulletin of the Section of Logic 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 Artificial Intelligence 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 Acta Mathematica Hungarica 1 Theoria. Segunda Epoca 1 Journal of Symbolic Computation 1 Annals of Operations Research 1 Computational Geometry 1 Expositiones Mathematicae 1 The Electronic Journal of Combinatorics 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 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 39 Fields

 603 Mathematical logic and foundations (03-XX) 305 History and biography (01-XX) 85 General and overarching topics; collections (00-XX) 34 Computer science (68-XX) 16 Geometry (51-XX) 10 Order, lattices, ordered algebraic structures (06-XX) 8 Real functions (26-XX) 8 Probability theory and stochastic processes (60-XX) 7 Number theory (11-XX) 6 Combinatorics (05-XX) 5 Group theory and generalizations (20-XX) 5 Convex and discrete geometry (52-XX) 5 Quantum theory (81-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 General algebraic systems (08-XX) 4 Category theory; homological algebra (18-XX) 4 Topological groups, Lie groups (22-XX) 3 Algebraic geometry (14-XX) 3 General topology (54-XX) 2 Field theory and polynomials (12-XX) 2 Commutative algebra (13-XX) 2 Associative rings and algebras (16-XX) 2 Operator theory (47-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 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)