Brauer, Ethan A classical modal theory of lawless sequences. (English) Zbl 07749831 Bull. Symb. Log. 29, No. 3, 406-452 (2023). MSC: 03F25 03F50 03F55 00A30 03A05 PDFBibTeX XMLCite \textit{E. Brauer}, Bull. Symb. Log. 29, No. 3, 406--452 (2023; Zbl 07749831) Full Text: DOI
Bagaria, Joan Large cardinals as principles of structural reflection. (English) Zbl 07665537 Bull. Symb. Log. 29, No. 1, 19-70 (2023). MSC: 03-02 03E55 03E65 03Exx 00A30 03A05 PDFBibTeX XMLCite \textit{J. Bagaria}, Bull. Symb. Log. 29, No. 1, 19--70 (2023; Zbl 07665537) Full Text: DOI arXiv
Arana, Andrew Book review of: T. Button and S. Walsh, Philosophy and model theory. (English) Zbl 1460.00012 Bull. Symb. Log. 26, No. 3-4, 287-292 (2020). MSC: 00A17 03-02 00A30 03A05 03C98 PDFBibTeX XMLCite \textit{A. Arana}, Bull. Symb. Log. 26, No. 3--4, 287--292 (2020; Zbl 1460.00012) Full Text: DOI
Hirst, Jeffry L. Book review of: J. Stillwell, Reverse mathematics. Proofs from the inside out. (English) Zbl 1393.00014 Bull. Symb. Log. 24, No. 2, 176-177 (2018). MSC: 00A17 00A30 03A05 03-03 26-03 01A05 PDFBibTeX XMLCite \textit{J. L. Hirst}, Bull. Symb. Log. 24, No. 2, 176--177 (2018; Zbl 1393.00014) Full Text: DOI
Rizza, Davide Book review of: Ø. Linnebo, Philosophy of mathematics. (English) Zbl 1393.00024 Bull. Symb. Log. 24, No. 2, 175-176 (2018). MSC: 00A17 00-01 00A30 03A05 PDFBibTeX XMLCite \textit{D. Rizza}, Bull. Symb. Log. 24, No. 2, 175--176 (2018; Zbl 1393.00024) Full Text: DOI
Snyder, Eric Book review of: M. Carrara (ed.) et al., Unity and plurality. Logic, philosophy, and linguistics. (English) Zbl 1369.00064 Bull. Symb. Log. 22, No. 4, 530-532 (2016). MSC: 00A17 03-06 03A05 00A30 00B15 PDFBibTeX XMLCite \textit{E. Snyder}, Bull. Symb. Log. 22, No. 4, 530--532 (2016; Zbl 1369.00064) Full Text: DOI
Urquhart, Alasdair Book review of: Barry Cooper S. (ed.) and Hodges Andrew (ed.), The once and future Turing. Computing the world. (English) Zbl 1362.00022 Bull. Symb. Log. 22, No. 3, 354-356 (2016). MSC: 00A17 68-06 00A30 01A60 68-03 68Q05 PDFBibTeX XMLCite \textit{A. Urquhart}, Bull. Symb. Log. 22, No. 3, 354--356 (2016; Zbl 1362.00022) Full Text: DOI
Centrone, Stefania Early Bolzano on ground-consequence proofs. (English) Zbl 1384.03005 Bull. Symb. Log. 22, No. 2, 215-237 (2016). MSC: 03-03 03F07 03A05 01A55 00A30 PDFBibTeX XMLCite \textit{S. Centrone}, Bull. Symb. Log. 22, No. 2, 215--237 (2016; Zbl 1384.03005) Full Text: DOI
Kennedy, Juliette Book review of: M. Penelope, Defending the axioms: on the philosophical foundations of set theory. (English) Zbl 1297.00012 Bull. Symb. Log. 20, No. 1, 91-93 (2014). MSC: 00A17 00-02 03-02 00A30 03A05 PDFBibTeX XMLCite \textit{J. Kennedy}, Bull. Symb. Log. 20, No. 1, 91--93 (2014; Zbl 1297.00012) Full Text: DOI
Pettigrew, Richard Book review of: Mark Colyvan, An introduction to the philosophy of mathematics. (English) Zbl 1280.00024 Bull. Symb. Log. 19, No. 3, 396-397 (2013). MSC: 00A17 00-01 00A30 03A05 PDFBibTeX XMLCite \textit{R. Pettigrew}, Bull. Symb. Log. 19, No. 3, 396--397 (2013; Zbl 1280.00024) Full Text: DOI
Antonelli, G. Aldo Book review of: Patricia A. Blanchette, Frege’s conception of logic. (English) Zbl 1266.00009 Bull. Symb. Log. 19, No. 2, 219-222 (2013). MSC: 00A17 03-03 00A30 01A55 01A60 03A05 51-03 PDFBibTeX XMLCite \textit{G. A. Antonelli}, Bull. Symb. Log. 19, No. 2, 219--222 (2013; Zbl 1266.00009) Full Text: DOI Euclid
Arrigoni, Tatiana \(V = L\) and intuitive plausibility in set theory. A case study. (English) Zbl 1258.03070 Bull. Symb. Log. 17, No. 3, 337-360 (2011). MSC: 03E45 00A30 PDFBibTeX XMLCite \textit{T. Arrigoni}, Bull. Symb. Log. 17, No. 3, 337--360 (2011; Zbl 1258.03070) Full Text: DOI
Bonnay, Denis Logicality and invariance. (English) Zbl 1146.03002 Bull. Symb. Log. 14, No. 1, 29-68 (2008). Reviewer: Osamu Sonobe (Follonica) MSC: 03A05 03C75 03C80 03C95 03B22 00A30 PDFBibTeX XMLCite \textit{D. Bonnay}, Bull. Symb. Log. 14, No. 1, 29--68 (2008; Zbl 1146.03002) Full Text: DOI Link
Kanamori, Akihiro Gödel and set theory. (English) Zbl 1145.03002 Bull. Symb. Log. 13, No. 2, 153-188 (2007). Reviewer: Gregor Nickel (Siegen) MSC: 03-03 00A30 01A60 03A05 03E25 03E50 03E55 PDFBibTeX XMLCite \textit{A. Kanamori}, Bull. Symb. Log. 13, No. 2, 153--188 (2007; Zbl 1145.03002) Full Text: DOI Euclid Link
Corcoran, John Schemata: the concept of schema in the history of logic. (English) Zbl 1123.03001 Bull. Symb. Log. 12, No. 2, 219-240 (2006). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03-03 03A05 00A30 PDFBibTeX XMLCite \textit{J. Corcoran}, Bull. Symb. Log. 12, No. 2, 219--240 (2006; Zbl 1123.03001) Full Text: DOI
Linsky, Bernard; Zalta, Edward N. What is neologicism? (English) Zbl 1105.03008 Bull. Symb. Log. 12, No. 1, 60-99 (2006). Reviewer: Øystein Linnebo (Bristol) MSC: 03A05 00A30 PDFBibTeX XMLCite \textit{B. Linsky} and \textit{E. N. Zalta}, Bull. Symb. Log. 12, No. 1, 60--99 (2006; Zbl 1105.03008) Full Text: DOI Link
Davis, Martin What did Gödel believe and when did he believe it? (English) Zbl 1108.03003 Bull. Symb. Log. 11, No. 2, 194-206 (2005). Reviewer: Gregor Nickel (Siegen) MSC: 03-03 01A60 03A05 00A30 03E50 PDFBibTeX XMLCite \textit{M. Davis}, Bull. Symb. Log. 11, No. 2, 194--206 (2005; Zbl 1108.03003) Full Text: DOI
Maddy, Penelope Mathematical existence. (English) Zbl 1096.03006 Bull. Symb. Log. 11, No. 3, 351-376 (2005). Reviewer: Gregor Nickel (Siegen) MSC: 03A05 00A30 03E99 PDFBibTeX XMLCite \textit{P. Maddy}, Bull. Symb. Log. 11, No. 3, 351--376 (2005; Zbl 1096.03006) Full Text: DOI
Lawvere, F. William Foundations and applications: axiomatization and education. (English) Zbl 1058.03080 Bull. Symb. Log. 9, No. 2, 213-224 (2003). MSC: 03G30 00A35 03E30 18A15 00A30 03-03 PDFBibTeX XMLCite \textit{F. W. Lawvere}, Bull. Symb. Log. 9, No. 2, 213--224 (2003; Zbl 1058.03080) Full Text: DOI Euclid
Feferman, Solomon; Friedman, Harvey M.; Maddy, Penelope; Steel, John R. Does mathematics need new axioms? (English) Zbl 0977.03002 Bull. Symb. Log. 6, No. 4, 401-446 (2000). Reviewer: Elliott Mendelson (Flushing) MSC: 03A05 00A30 03E55 03E99 PDFBibTeX XMLCite \textit{S. Feferman} et al., Bull. Symb. Log. 6, No. 4, 401--446 (2000; Zbl 0977.03002) Full Text: DOI Link
van Dalen, Dirk; Ebbinghaus, Heinz-Dieter Zermelo and the Skolem paradox. (English) Zbl 0976.03002 Bull. Symb. Log. 6, No. 2, 145-161 (2000). Reviewer: Ulrich Felgner (Tübingen) MSC: 03-03 01A60 00A30 03E30 03E70 03B15 PDFBibTeX XMLCite \textit{D. van Dalen} and \textit{H.-D. Ebbinghaus}, Bull. Symb. Log. 6, No. 2, 145--161 (2000; Zbl 0976.03002) Full Text: DOI Link
Peckhaus, Volker 19th century logic between philosophy and mathematics. (English) Zbl 0941.03002 Bull. Symb. Log. 5, No. 4, 433-450 (1999). Reviewer: R.Murawski (Poznań) MSC: 03-03 01A55 03A05 00A30 PDFBibTeX XMLCite \textit{V. Peckhaus}, Bull. Symb. Log. 5, No. 4, 433--450 (1999; Zbl 0941.03002) Full Text: DOI Link
Zach, Richard Completeness before Post: Bernays, Hilbert, and the development of propositional logic. (English) Zbl 0942.03003 Bull. Symb. Log. 5, No. 3, 331-366 (1999). Reviewer: V.Peckhaus (Erlangen) MSC: 03-03 01A60 03A05 00A30 03B25 03B30 PDFBibTeX XMLCite \textit{R. Zach}, Bull. Symb. Log. 5, No. 3, 331--366 (1999; Zbl 0942.03003) Full Text: DOI Link
Dehornoy, Patrick Another use of set theory. (English) Zbl 0932.03068 Bull. Symb. Log. 2, No. 4, 379-391 (1996). Reviewer: Miroslav Repicky (MR 98g:03125) MSC: 03E75 00A30 00A35 PDFBibTeX XMLCite \textit{P. Dehornoy}, Bull. Symb. Log. 2, No. 4, 379--391 (1996; Zbl 0932.03068) Full Text: DOI Link
Parsons, Charles Platonism and mathematical intuition in Kurt Gödel’s thought. (English) Zbl 0840.00006 Bull. Symb. Log. 1, No. 1, 44-74 (1995). Reviewer: G.Kreisel (Oxford) MSC: 00A30 03A05 03-03 PDFBibTeX XMLCite \textit{C. Parsons}, Bull. Symb. Log. 1, No. 1, 44--74 (1995; Zbl 0840.00006) Full Text: DOI Link