×

zbMATH — the first resource for mathematics

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

12 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 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 Jacquette, Dale
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 Gerogiorgakis, Stamatios
2 Godden, David M.
2 Guhe, Eberhard
2 Humberstone, I. L.
2 Humberstone, Lloyd
2 Jané, Ignacio
2 Johnson, Fred
2 Kearns, John T.
2 Klement, Kevin C.
2 Lampert, Timm
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 Alvarez-Fontecilla, Enrique
1 Alvarez, Enrique E.
1 Andrade, Edgar José
1 Ardeshir, Mohammad
1 Arndt, Michael
1 Arpaia, S. Roberto
1 Ashworth, E. J.
1 Astroh, Michael
...and 260 more Authors

Publications by Year

Citations contained in zbMATH Open

270 Publications have been cited 869 times in 622 Documents Cited by Year
What are logical notions? Zbl 0622.03004
Tarski, Alfred; Corcoran, John (ed.)
53
1986
Beyond first-order logic: The historical interplay between mathematical logic and axiomatic set theory. Zbl 0495.01007
Moore, Gregory H.
30
1980
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.
30
1981
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.
21
2002
Categoricity. Zbl 0504.03014
Corcoran, John
21
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
17
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
12
1991
Aristotle’s natural deduction reconsidered. Zbl 0885.03001
Martin, John N.
11
1997
Frege, Hilbert, and the conceptual structure of model theory. Zbl 0808.01002
Demopoulos, William
11
1994
On inversion principles. Zbl 1147.03001
Moriconi, Enrico; Tesconi, Laura
11
2008
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
Euler’s visual logic. Zbl 1052.03516
Hammer, Eric; Shin, Sun-Joo
9
1998
Aristotle’s Prior analytics and Boole’s Laws of thought. Zbl 1044.03001
Corcoran, John
9
2003
American postulate theorists and Alfred Tarski. Zbl 1043.03004
Scanlan, Michael
9
2003
The cube, the square and the problem of existential import. Zbl 1308.03013
Chatti, Saloua; Schang, Fabien
8
2013
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
7
2004
Discussion on the foundation of mathematics. Zbl 0535.03001
Dawson, John W. jun.
6
1984
On the development of the notion of a cardinal number. Zbl 1204.03002
Deiser, Oliver
6
2010
Undefinability of truth. The problem of priority: Tarski vs Gödel. Zbl 1052.03504
Murawski, Roman
6
1998
On a fallacy attributed to Tarski. Zbl 1052.03509
Gómez-Torrente, Mario
6
1998
Completeness and categoricity. II: Twentieth-century metalogic to twenty-first-century semantics. Zbl 1038.03003
Awodey, Steve; Reck, Erich H.
6
2002
A reconstruction of Aristotle’s modal syllogistic. Zbl 1106.03001
Malink, Marko
6
2006
Zermelo: Definiteness and the universe of definable sets. Zbl 1043.03002
Ebbinghaus, Heinz-Dieter
6
2003
Ontologically neutral logic. Zbl 0902.03001
Hailperin, Theodore
6
1997
Harvard 1940–1941: Tarski, Carnap and Quine on a finitistic language of mathematics for science. Zbl 1095.03006
Mancosu, Paolo
6
2005
Aristotle’s Syllogistic and core logic. Zbl 1312.03036
Tennant, Neil
5
2014
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
5
2017
On Frege’s Begriffsschrift notation for propositional logic: design principles and trade-offs. Zbl 1436.03011
Schlimm, Dirk
5
2018
Domains of sciences, universes of discourse and omega arguments. Zbl 1052.03514
Sagüillo, José M.
5
1999
Existence, negation, and abstraction in the Neoplatonic hierarchy. Zbl 0850.03009
Martin, John N.
5
1995
Jaina logic and the philosophical basis of pluralism. Zbl 1038.03004
Ganeri, Jonardon
5
2002
Hilbert’s ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs. Zbl 1069.03002
Zach, Richard
5
2004
Lewis Carroll’s formal logic. Zbl 1062.03004
Abeles, Francine F.
5
2005
Lewis Carroll’s visual logic. Zbl 1117.03002
Abeles, Francine F.
5
2007
A comparative taxonomy of medieval and modern approaches to liar sentences. Zbl 1156.03008
Dutilh 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.03004
Sagüillo, José M.
5
2009
Developing arithmetic in set theory without infinity: Some historical remarks. Zbl 0644.03001
Parsons, Charles
5
1987
‘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
Boolean algebra and its extra-logical sources: the testimony of Mary Everest Boole. Zbl 0497.01016
Laita, Luis M.
5
1980
Was Lewis Carroll an amazing oppositional geometer? Zbl 1369.03015
Moretti, Alessio
4
2014
Existential import today: new metatheorems; historical, philosophical, and pedagogical misconceptions. Zbl 1373.03009
Corcoran, John; Masoud, Hassan
4
2015
Negation and quantification in Aristotle. Zbl 0705.03002
Wedin, Michael V.
4
1990
Completeness and categoricity: Frege, Gödel and model theory. Zbl 0889.03004
Read, Stephen
4
1997
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
The compactness of first-order logic: From Gödel to Lindström. Zbl 0794.03001
Dawson, John W. jun.
4
1993
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
4
1996
Russell’s 1903-1905 anticipation of the lambda calculus. Zbl 1044.03002
Klement, Kevin C.
4
2003
Gödel on concepts. Zbl 1106.03002
Crocco, Gabriella
4
2006
Symmetry and paradox. Zbl 1119.03012
Read, Stephen
4
2006
Aristotle’s demonstrative logic. Zbl 1162.03300
Corcoran, John
4
2009
Alonzo Church: His life, his work and some of his miracles. Zbl 0899.01024
Manzano, María
4
1997
Herbrand semantics, the potential infinite, and ontology-free logic. Zbl 0755.03003
Hailperin, Theodore
4
1992
Russell’s substitutional theory of classes and relations. Zbl 0645.01014
Landini, Gregory
4
1987
Frege’s theory of real numbers. Zbl 0649.01023
Simons, Peter M.
4
1987
Popper’s theory of deductive inference and the concept of a logical constant. Zbl 0568.03004
Schroeder-Heister, Peter
4
1984
Georg Cantor’s influence on Bertrand Russell. Zbl 0502.01010
Grattan-Guinness, I.
4
1980
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
Square of opposition: a diagram and a theory in historical perspective. Zbl 1357.03011
Beziau, Jean-Yves (ed.); Read, Stephen (ed.)
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
Simplex sigillum veri: Peano, Frege, and Peirce on the primitives of logic. Zbl 1431.03002
Bellucci, Francesco; Moktefi, Amirouche; Pietarinen, Ahti-Veikko
3
2018
Brouwer’s incomplete objects. Zbl 1200.03006
Niekus, Joop
3
2010
Completion, reduction and analysis: three proof-theoretic processes in Aristotle’s Prior analytics . Zbl 1052.03500
Boger, George
3
1998
On Husserl’s theory of wholes and parts. Zbl 1002.03505
Casari, Ettore
3
2000
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
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
The power and the limits of Wittgenstein’s N operator. Zbl 1097.03001
McGray, James W.
3
2006
Jaina logic: A contemporary perspective. Zbl 1163.03007
Priest, Graham
3
2008
Russell’s early theory of denoting. Zbl 1173.03002
Bostock, David
3
2009
The birth of quantum logic. Zbl 1130.03002
Rédei, Miklós
3
2007
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
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
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 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
On automorphisms of arbitrary mathematical systems. Zbl 0586.03026
Sebastião e Silva, José
3
1985
Logic and mathematics in the seventeenth century. Zbl 1222.01008
Mugnai, Massimo
3
2010
Cut as consequence. Zbl 1298.03005
Franks, Curtis
3
2010
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
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
On extremal axioms. Zbl 0512.03003
Carnap, Rudolf; Bachmann, Friedrich
3
1981
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
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
3
2018
Logic diagrams in the Weigel and Weise circles. Zbl 1436.03009
Lemanski, Jens
2
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
5
2017
König’s infinity lemma and Beth’s tree theorem. Zbl 1417.03038
Weaver, George
1
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
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
On Walter Dubislav. Zbl 1359.01050
Milkov, Nikolay
1
2015
Aristotle’s Syllogistic and core logic. Zbl 1312.03036
Tennant, Neil
5
2014
Was Lewis Carroll an amazing oppositional geometer? Zbl 1369.03015
Moretti, Alessio
4
2014
Square of opposition: a diagram and a theory in historical perspective. Zbl 1357.03011
Beziau, Jean-Yves; Read, Stephen
3
2014
Avicenna on possibility and necessity. Zbl 1369.03003
Chatti, Saloua
3
2014
John Venn’s hypothetical infinite frequentism and logic. Zbl 1309.01013
Verburgt, Lukas M.
2
2014
The medieval octagon of opposition for sentences with quantified predicates. Zbl 1369.03002
Campos Benítez, Juan Manuel
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
Completeness: from Gödel to Henkin. Zbl 1312.03004
Manzano, Maria; Alonso, Enrique
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
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
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
Frege’s approach to the foundations of analysis (1874–1903). Zbl 1345.03007
Schirn, Matthias
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
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
‘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
Peirce’s search for a graphical modal logic (propositional part). Zbl 1270.03014
Ramharter, Esther; Gottschall, Christian
1
2011
On the development of the notion of a cardinal number. Zbl 1204.03002
Deiser, Oliver
6
2010
Brouwer’s incomplete objects. Zbl 1200.03006
Niekus, Joop
3
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
2
2010
The later Mohists and logic. Zbl 1227.01005
Robins, Dan
2
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
Polarity and inseparability: the foundation of the apodictic portion of Aristotle’s modal logic. Zbl 1229.03004
Raymond, Dwayne
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
Gödel’s introduction to logic in 1939. Zbl 1163.03002
Cassou-Nogues, P.
2
2009
Avicenna and Ṭūsī on modal logic. Zbl 1187.01007
Lagerlund, Henrik
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
11
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
Establishing connections between Aristotle’s natural deduction and first-order logic. Zbl 1167.03007
Andrade, Edgar José; Becerra, Edward Samuel
2
2008
Natural numbers and infinitesimals: A discussion between Benno Kerry and Georg Cantor. Zbl 1162.03003
Proietti, Carlo
1
2008
Wittgenstein on the infinity of primes. Zbl 1210.00029
Lampert, Timm
1
2008
Leśniewski and Russell’s paradox: some problems. Zbl 1167.03006
Urbaniak, Rafal
1
2008
Lewis Carroll’s visual logic. Zbl 1117.03002
Abeles, Francine F.
5
2007
The birth of quantum logic. Zbl 1130.03002
Rédei, Miklós
3
2007
On the relations between Heinrich Scholz and Jan Łukasiewicz. Zbl 1118.01019
Schmidt Am Busch, Hans-Christoph; Wehmeier, Kai F.
2
2007
The independence of the parallel postulate and development of rigorous consistency proofs. Zbl 1118.01017
Stump, David J.
1
2007
An illocutionary logical explanation of the liar paradox. Zbl 1117.03011
Kearns, John T.
1
2007
...and 170 more Documents
all top 5

Cited by 510 Authors

12 Pietarinen, Ahti-Veikko
9 Bellucci, Francesco
9 Grattan-Guinness, Ivor
8 Hailperin, Theodore
7 Anellis, Irving H.
7 Corcoran, John
7 Demey, Lorenz
7 Dutilh Novaes, Catarina
7 Landini, Gregory
7 Read, Stephen
7 Walsh, Sean
6 Kanamori, Akihiro
6 Moore, Gregory H.
6 Verburgt, Lukas M.
5 Franchella, Miriam
5 Martin, John Neil
5 Petrukhin, Yaroslav Igorevich
5 Rahman, Shahid
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 Dawson, John W. jun.
4 Ebbinghaus, Heinz-Dieter
4 Hartimo, Mirja Helena
4 Humberstone, Lloyd
4 Klement, Kevin C.
4 Linnebo, Øystein
4 Loeb, Iris
4 Manzano, María
4 Moktefi, Amirouche
4 Moss, Lawrence S.
4 Schiemer, Georg
4 Shapiro, Stewart
4 Urbaniak, Rafał
3 Alonso, Enrique
3 Boccuni, Francesca
3 Bonnay, Denis
3 Chatti, Saloua
3 Ciucci, Davide
3 Cluckers, Raf
3 Dean, Walter
3 Došen, Kosta
3 Dubois, Didier
3 Feferman, Solomon
3 Ferreira, Fernando
3 Ficara, Elena
3 Francez, Nissim
3 Gabbay, Dov M.
3 Gómez-Torrente, Mario
3 Hanke, Miroslav
3 Hazen, Allen P.
3 Heck, Richard Kimberly
3 Leach-Krouse, Graham
3 Lemanski, Jens
3 Mares, Edwin D.
3 Pelletier, Francis Jeffry
3 Restall, Greg
3 Rice, Adrian Clifford
3 Schirn, Matthias
3 Shramko, Yaroslav V.
3 Tennant, Neil W.
3 Urban, Josef
3 van Atten, Mark
3 Wehmeier, Kai Frederick
3 Zach, Richard
2 Abeles, Francine F.
2 Adžić, Miloš
2 Alvarez-Fontecilla, Enrique
2 Baldwin, John T.
2 Běhounek, Libor
2 Bobzien, Susanne
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 Dyckhoff, Roy
2 Eder, Günther
2 Ferguson, Thomas Macaulay
2 Ferreirós, José
2 Fish, Andrew
2 Halimi, Brice
2 Halupczok, Immanuel
2 Hammer, Eric M.
2 Hellman, Geoffrey
2 Horsten, Leon
2 Indrzejczak, Andrzej
2 Isaac, Manuel Gustavo
2 Jané, Ignacio
2 Kozhemiachenko, Daniil
2 Krause, Décio
2 Makinson, David Clement
2 Malink, Marko
2 Mancosu, Paolo
2 Marcos, João
...and 410 more Authors
all top 5

Cited in 63 Journals

158 History and Philosophy of Logic
47 Synthese
44 The Review of Symbolic Logic
34 The Bulletin of Symbolic Logic
33 Journal of Philosophical Logic
33 Logica Universalis
29 Studia Logica
23 Notre Dame Journal of Formal Logic
18 Historia Mathematica
12 Logic and Logical Philosophy
9 Journal of Logic, Language and Information
9 Journal of Applied Logic
8 Journal of Applied Non-Classical Logics
8 Erkenntnis
6 The Mathematical Intelligencer
6 Annals of Pure and Applied Logic
5 Archive for History of Exact Sciences
5 Indagationes Mathematicae. New Series
4 The Journal of Symbolic Logic
4 Topoi
4 Foundations of Science
3 Theoretical Computer Science
3 Journal of Automated Reasoning
3 Axiomathes
2 International Journal of General Systems
2 Mathematische Semesterberichte
2 Algebra Universalis
2 Bulletin of the Section of Logic
2 International Journal of Approximate Reasoning
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 Axioms
2 Nôus
2 Perspectives on Science
1 International Journal of Modern Physics A
1 Artificial Intelligence
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 Journal of Symbolic Computation
1 Annals of Operations Research
1 Computational Geometry
1 Expositiones Mathematicae
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 RAIRO. Theoretical Informatics and Applications
1 Symmetry
1 European Journal for Philosophy of Science
1 Computability
1 Transactions of the London Mathematical Society
all top 5

Cited in 38 Fields

564 Mathematical logic and foundations (03-XX)
289 History and biography (01-XX)
82 General and overarching topics; collections (00-XX)
32 Computer science (68-XX)
14 Geometry (51-XX)
10 Order, lattices, ordered algebraic structures (06-XX)
8 Probability theory and stochastic processes (60-XX)
7 Real functions (26-XX)
5 Quantum theory (81-XX)
4 General algebraic systems (08-XX)
4 Number theory (11-XX)
4 Category theory; homological algebra (18-XX)
4 Group theory and generalizations (20-XX)
4 Topological groups, Lie groups (22-XX)
3 Field theory and polynomials (12-XX)
3 Algebraic geometry (14-XX)
3 Convex and discrete geometry (52-XX)
3 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
2 Combinatorics (05-XX)
2 Associative rings and algebras (16-XX)
2 General topology (54-XX)
2 Statistics (62-XX)
2 Numerical analysis (65-XX)
2 Relativity and gravitational theory (83-XX)
2 Operations research, mathematical programming (90-XX)
1 Commutative algebra (13-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 Operator theory (47-XX)
1 Differential geometry (53-XX)
1 Algebraic topology (55-XX)
1 Manifolds and cell complexes (57-XX)
1 Systems theory; control (93-XX)
1 Information and communication theory, circuits (94-XX)
1 Mathematics education (97-XX)

Citations by Year