×

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

Publications by Year

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

Citations by Year