Document Search Results

Corcoran the mathematician. (English) Zbl 07918535

Madigan, Timothy J. (ed.) et al., Universal logic, ethics, and truth. Essays in honor of John Corcoran (1937–2021). Cham: Birkhäuser. Stud. Univers. Log., 201-215 (2024).

MSC: 03A05

Cite Review PDF

Full Text: DOI

Tatton-Brown, Oliver

Plural ancestral logic as the logic of arithmetic. (English) Zbl 07861974

Rev. Symb. Log. 17, No. 2, 305-342 (2024).

MSC: 03A05 00A30 03B16 03B22 03B65

Cite Review PDF

Full Text: DOI

Fritz, Peter

Axiomatizability of propositionally quantified modal logics on relational frames. (English) Zbl 07854638

J. Symb. Log. 89, No. 2, 758-793 (2024).

MSC: 03B16 03B25 03B45

Cite Review PDF

Full Text: DOI

OA License

Avron, Arnon

Poincaré-Weyl’s predicativity: going beyond \(\Gamma_0\). (English) Zbl 07828958

Bull. Symb. Log. 30, No. 1, 41-91 (2024).

MSC: 03A05 03B30 03E30 03E10 00A30 03-03

Cite Review PDF

Full Text: DOI

OA License

Bacon, Andrew

Mathematical modality: an investigation in higher-order logic. (English) Zbl 07802218

J. Philos. Log. 53, No. 1, 131-179 (2024).

MSC: 03-XX

Cite Review PDF

Full Text: DOI

OA License

Mackereth, Stephen; Avigad, Jeremy

Two-sorted Frege arithmetic is not conservative. (English) Zbl 1530.00011

Rev. Symb. Log. 16, No. 4, 1199-1232 (2023).

MSC: 00A30 03A05 03B30 03F35

Cite Review PDF

Full Text: DOI

OA License

Roberts, Sam; Shapiro, Stewart

Hume’s principle, bad company, and the axiom of choice. (English) Zbl 1530.00013

Rev. Symb. Log. 16, No. 4, 1158-1176 (2023).

MSC: 00A30 03A05 03E25

Cite Review PDF

Full Text: DOI

Shtakser, Gennady

Epistemic logics with quantification over epistemic operators: decidability and expressiveness. (English) Zbl 07753870

Log. Univers. 17, No. 3, 297-330 (2023).

MSC: 03B45 03B42

Cite Review PDF

Full Text: DOI

Fischer, Martin; Zicchetti, Matteo

Internal categoricity, truth and determinacy. (English) Zbl 07753831

J. Philos. Log. 52, No. 5, 1295-1325 (2023).

MSC: 03-XX

Cite Review PDF

Full Text: DOI

OA License

Bellier, Dylan; Benerecetti, Massimo; Della Monica, Dario; Mogavero, Fabio

Alternating (in)dependence-friendly logic. (English) Zbl 07741119

Ann. Pure Appl. Logic 174, No. 10, Article ID 103315, 58 p. (2023).

MSC: 03B60 03B70 03C80 03C90 68T27 91A28

Cite Review PDF

Full Text: DOI arXiv

OA License

Shtakser, Gennady

A modal loosely guarded fragment of second-order propositional modal logic. (English) Zbl 07726399

J. Logic Lang. Inf. 32, No. 3, 511-538 (2023).

MSC: 03-XX 68-XX

Cite Review PDF

Full Text: DOI

Rossi, Lorenzo

Bicontextualism. (English) Zbl 1533.03005

Notre Dame J. Formal Logic 64, No. 1, 95-127 (2023).

Reviewer: Edoardo Rivello (Torino)

MSC: 03A05 03B16 03B65

Cite Review PDF

Full Text: DOI

Siskind, Benjamin; Mancosu, Paolo; Shapiro, Stewart

A note on choice principles in second-order logic. (English) Zbl 07689491

Rev. Symb. Log. 16, No. 2, 339-350 (2023).

MSC: 03B16 03E25 03E70

Cite Review PDF

Full Text: DOI

Linnebo, Øystein; Shapiro, Stewart

Predicativism as a form of potentialism. (English) Zbl 1537.03009

Rev. Symb. Log. 16, No. 1, 1-32 (2023).

MSC: 03A05 03B20 03F35

Cite Review PDF

Full Text: DOI

Barton, Neil

Structural relativity and informal rigour. (English) Zbl 1508.03013

Oliveri, Gianluigi (ed.) et al., Objects, structures, and logics. FilMat studies in the philosophy of mathematics. Cham: Springer. Boston Stud. Philos. Hist. Sci. 339, 133-174 (2022).

Reviewer: Mihai Prunescu (București)

MSC: 03A05 00A30

Cite Review PDF

Full Text: DOI Link

Backlinks: MO MO

Waxman, Daniel

Rescuing implicit definition from abstractionism. (English) Zbl 07598437

Oliveri, Gianluigi (ed.) et al., Objects, structures, and logics. FilMat studies in the philosophy of mathematics. Cham: Springer. Boston Stud. Philos. Hist. Sci. 339, 97-129 (2022).

MSC: 03-XX 00A30

Cite Review PDF

Full Text: DOI

Snyder, Eric; Samuels, Richard; Shapiro, Stewart

Hofweber’s nominalist naturalism. (English) Zbl 07598435

Oliveri, Gianluigi (ed.) et al., Objects, structures, and logics. FilMat studies in the philosophy of mathematics. Cham: Springer. Boston Stud. Philos. Hist. Sci. 339, 31-62 (2022).

MSC: 03-XX 00A30

Cite Review PDF

Full Text: DOI Link

Picollo, Lavinia; Schindler, Thomas

Higher-order logic and disquotational truth. (English) Zbl 07557917

J. Philos. Log. 51, No. 4, 879-918 (2022).

MSC: 03-XX

Cite Review PDF

Full Text: DOI

OA License

Barton, Neil; Müller, Moritz; Prunescu, Mihai

On representations of intended structures in foundational theories. (English) Zbl 07502595

J. Philos. Log. 51, No. 2, 283-296 (2022).

MSC: 03-XX

Cite Review PDF

Full Text: DOI

OA License

Martin, James V.

Prolegomena to virtue-theoretic studies in the philosophy of mathematics. (English) Zbl 1529.00012

Synthese 199, No. 1-2, 1409-1434 (2021).

MSC: 00A30

Cite Review PDF

Full Text: DOI Link

Dicher, Bogdan

Requiem for logical nihilism, or: logical nihilism annihilated. (English) Zbl 1507.03014

Synthese 198, No. 8, 7073-7096 (2021).

MSC: 03A05

Cite Review PDF

Full Text: DOI

Grimau, Berta

In defence of higher-level plural logic: drawing conclusions from natural language. (English) Zbl 1507.03086

Synthese 198, No. 6, 5253-5280 (2021).

MSC: 03B65

Cite Review PDF

Full Text: DOI

Quinon, Paula

Can Church’s thesis be viewed as a Carnapian explication? (English) Zbl 1507.03033

Synthese 198, Suppl. 5, S1047-S1074 (2021).

MSC: 03A05

Cite Review PDF

Full Text: DOI

OA License

Levi, Nissan; Avron, Arnon

Analysis in a formal predicative set theory. (English) Zbl 1540.03094

Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 167-183 (2021).

MSC: 03E30 68V30

Cite Review PDF

Full Text: DOI

Ebels-Duggan, Sean C.

Deductive cardinality results and nuisance-like principles. (English) Zbl 1508.03037

Rev. Symb. Log. 14, No. 3, 592-623 (2021).

MSC: 03B16 03A05

Cite Review PDF

Full Text: DOI

Tatton-Brown, Oliver William

Semantics and completeness for schematic logic. (English) Zbl 1517.03029

Log. Log. Philos. 30, No. 2, 227-280 (2021).

MSC: 03B60 03A05

Cite Review PDF

Full Text: DOI

Cohen, Liron

Non-well-founded deduction for induction and coinduction. (English) Zbl 1540.03062

Platzer, André (ed.) et al., Automated deduction – CADE 28. 28th international conference on automated deduction, virtual event, July 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12699, 3-24 (2021).

MSC: 03B70 03F07 68V15

Cite Review PDF

Full Text: DOI

OA License

Shapiro, Stewart; Roberts, Craige

Open texture and mathematics. (English) Zbl 1475.00015

Notre Dame J. Formal Logic 62, No. 1, 173-191 (2021).

Reviewer: Roman Murawski (Poznań)

MSC: 00A30 03A05

Cite Review PDF

Full Text: DOI

Tran-Hoang, Paul Anh

On the virtue of categoricity. (English) Zbl 1529.03099

Notre Dame J. Formal Logic 62, No. 1, 107-146 (2021).

MSC: 03A05 03C35

Cite Review PDF

Full Text: DOI

Takagi, Kento; Kashima, Ryo

On the completeness and the decidability of strictly monadic second-order logic. (English) Zbl 1521.03014

Math. Log. Q. 66, No. 4, 438-447 (2020).

MSC: 03B16 03B25

Cite Review PDF

Full Text: DOI

Raatikainen, Panu

Neo-logicism and its logic. (English) Zbl 1503.03008

Hist. Philos. Log. 41, No. 1, 82-95 (2020).

MSC: 03B16 03F35 03A05

Cite Review PDF

Full Text: DOI Link

Avron, Arnon

Why predicative sets? (English) Zbl 1535.03260

Blass, Andreas (ed.) et al., Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12180, 30-45 (2020).

MSC: 03F03 03E75

Cite Review PDF

Full Text: DOI

Cohen, Liron; Rowe, Reuben N. S.

Integrating induction and coinduction via closure operators and proof cycles. (English) Zbl 07614523

Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12166, 375-394 (2020).

MSC: 68V15

Cite Review PDF

Full Text: DOI

Warren, Jared; Waxman, Daniel

A metasemantic challenge for mathematical determinacy. (English) Zbl 1475.03058

Synthese 197, No. 2, 477-495 (2020).

MSC: 03A05 00A30

Cite Review PDF

Full Text: DOI

Avron, Arnon

Weyl reexamined: “Das Kontinuum” 100 years later. (English) Zbl 1458.03006

Bull. Symb. Log. 26, No. 1, 26-79 (2020).

Reviewer: Jens Lemanski (Hagen)

MSC: 03A05 03B30 03B38 01A60 03-03

Cite Review PDF

Full Text: DOI

Boney, Will

Model theoretic characterizations of large cardinals. (English) Zbl 1443.03029

Isr. J. Math. 236, No. 1, 133-181 (2020).

Reviewer: Luis Miguel Villegas Silva (Ciudad de México)

MSC: 03E55 03C20 03C55 03C75 03C85 03E45

Cite Review PDF

Full Text: DOI arXiv

Lucas, Salvador

Using well-founded relations for proving operational termination. (English) Zbl 1468.03034

J. Autom. Reasoning 64, No. 2, 167-195 (2020).

MSC: 03B70 03F07 68Q42

Cite Review PDF

Full Text: DOI Link

Friend, Michèle

Varieties of pluralism and objectivity in mathematics. (English) Zbl 1528.03031

Centrone, Stefania (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18–23, 2016. Cham: Springer. Synth. Libr. 407, 345-362 (2019).

MSC: 03A05 00A30

Cite Review PDF

Full Text: DOI

Barton, Neil; Friedman, Sy-David

Set theory and structures. (English) Zbl 1528.03011

Centrone, Stefania (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18–23, 2016. Cham: Springer. Synth. Libr. 407, 223-253 (2019).

MSC: 03A05 00A30 03E30 18A15

Cite Review PDF

Full Text: DOI Link

Ternullo, Claudio

Maddy on the multiverse. (English) Zbl 1528.03072

Centrone, Stefania (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18–23, 2016. Cham: Springer. Synth. Libr. 407, 43-78 (2019).

MSC: 03A05 00A30 03E99

Cite Review PDF

Full Text: DOI

Cohen, Liron; Avron, Arnon

The middle ground-ancestral logic. (English) Zbl 1475.03082

Synthese 196, No. 7, 2671-2693 (2019).

MSC: 03B60 03F05 03A05

Cite Review PDF

Full Text: DOI

Hale, Bob

Second-order logic: properties, semantics, and existential commitments. (English) Zbl 1475.03068

Synthese 196, No. 7, 2643-2669 (2019).

MSC: 03B16 03A05

Cite Review PDF

Full Text: DOI

Dutilh Novaes, Catarina

Axiomatizations of arithmetic and the first-order/second-order divide. (English) Zbl 1475.03089

Synthese 196, No. 7, 2583-2597 (2019).

MSC: 03C62 03F30 03F35 03A05

Cite Review PDF

Full Text: DOI Link

Cook, Roy T.

Possible predicates and actual properties. (English) Zbl 1475.03067

Synthese 196, No. 7, 2555-2582 (2019).

MSC: 03B16 03A05

Cite Review PDF

Full Text: DOI

Linnebo, Øystein; Shapiro, Stewart

Actual and potential infinity. (English) Zbl 1446.03013

Nôus 53, No. 1, 160-191 (2019).

MSC: 03A05

Cite Review PDF

Full Text: DOI Link

Parisi, Andrew

Sellars, second-order quantification, and ontological commitment. (English) Zbl 1427.03030

Hist. Philos. Log. 40, No. 1, 81-97 (2019).

MSC: 03B16 03A05

Cite Review PDF

Full Text: DOI

Moot, Richard; Retoré, Christian

Natural language semantics and computability. (English) Zbl 1477.03112

J. Logic Lang. Inf. 28, No. 2, 287-307 (2019).

MSC: 03B65 03B47 03F52 03D15

Cite Review PDF

Full Text: DOI arXiv

Paseau, Alexander

Capturing consequence. (English) Zbl 1532.03007

Rev. Symb. Log. 12, No. 2, 271-295 (2019).

MSC: 03A05 03B05 03B10 03B16 03B65

Cite Review PDF

Full Text: DOI

Friedman, Sy-David; Ternullo, Claudio

The search for new axioms in the hyperuniverse programme. (English) Zbl 1439.03092

Antos, Carolin (ed.) et al., The hyperuniverse project and maximality. Cham: Birkhäuser. 161-183 (2018).

MSC: 03E45 03A05

Cite Review PDF

Full Text: DOI Link

Jones, Nicholas K.

Nominalist realism. (English) Zbl 1436.03042

Nôus 52, No. 4, 808-835 (2018).

MSC: 03A05

Cite Review PDF

Full Text: DOI Link

Avron, Arnon; Cohen, Liron

Applicable mathematics in a minimal computational theory of sets. (English) Zbl 1454.03064

Log. Methods Comput. Sci. 14, No. 4, Paper No. 1, 29 p. (2018).

MSC: 03E30 03B35

Cite Review PDF

Full Text: DOI arXiv

Lucas, Salvador; Gutiérrez, Raúl

Automatic synthesis of logical models for order-sorted first-order theories. (English) Zbl 1398.68095

J. Autom. Reasoning 60, No. 4, 465-501 (2018).

MSC: 68N30 03B70

Cite Review PDF

Full Text: DOI Link

Shtakser, Gennady

Propositional epistemic logics with quantification over agents of knowledge. (English) Zbl 1437.03074

Stud. Log. 106, No. 2, 311-344 (2018).

MSC: 03B42

Cite Review PDF

Full Text: DOI

Cook, Roy T.; Linnebo, Øystein

Cardinality and acceptable abstraction. (English) Zbl 1436.03029

Notre Dame J. Formal Logic 59, No. 1, 61-74 (2018).

MSC: 03A05 00A30

Cite Review PDF

Full Text: DOI Euclid Link

Brauer, Ethan

Second-order logic and the power set. (English) Zbl 1436.03024

J. Philos. Log. 47, No. 1, 123-142 (2018).

MSC: 03A05 03B16 03E30

Cite Review PDF

Full Text: DOI

Hamlin, Colin

Towards a theory of universes: structure theory and the mathematical universe hypothesis. (English) Zbl 1384.00037

Synthese 194, No. 2, 571-591 (2017).

MSC: 00A30 00A79

Cite Review PDF

Full Text: DOI

Pollock, Samantha

The significance of a categoricity theorem for formal theories and informal beliefs. (English) Zbl 1436.03069

Boccuni, Francesca (ed.) et al., Objectivity, realism, and proof. FilMat studies in the philosophy of mathematics. Cham: Springer. Boston Stud. Philos. Hist. Sci. 318, 319-344 (2016).

MSC: 03A05

Cite Review PDF

Full Text: DOI

Venturi, Giorgio

Forcing, multiverse and realism. (English) Zbl 1436.03263

Boccuni, Francesca (ed.) et al., Objectivity, realism, and proof. FilMat studies in the philosophy of mathematics. Cham: Springer. Boston Stud. Philos. Hist. Sci. 318, 211-241 (2016).

MSC: 03E35 03A05 03E40

Cite Review PDF

Full Text: DOI

Barton, Neil

Multiversism and concepts of set: how much relativism is acceptable? (English) Zbl 1436.03017

Boccuni, Francesca (ed.) et al., Objectivity, realism, and proof. FilMat studies in the philosophy of mathematics. Cham: Springer. Boston Stud. Philos. Hist. Sci. 318, 189-209 (2016).

MSC: 03A05 00A30 03E30 03E35

Cite Review PDF

Full Text: DOI Link

Friedman, Sy-David; Ternullo, Claudio

The search for new axioms in the hyperuniverse programme. (English) Zbl 1436.03261

Boccuni, Francesca (ed.) et al., Objectivity, realism, and proof. FilMat studies in the philosophy of mathematics. Cham: Springer. Boston Stud. Philos. Hist. Sci. 318, 165-188 (2016).

MSC: 03E35 03A05 03E30 03E65

Cite Review PDF

Full Text: DOI Link

Griffiths, Owen; Paseau, A. C.

Isomorphism invariance and overgeneration. (English) Zbl 1384.03032

Bull. Symb. Log. 22, No. 4, 482-503 (2016); corrigendum ibid. 23, No. 4, 546 (2017).

MSC: 03A05 03B15 03B10 03C98

Cite Review PDF

Full Text: DOI

Meadows, Toby

Sets and supersets. (English) Zbl 1384.03057

Synthese 193, No. 6, 1875-1907 (2016).

MSC: 03A05 03E70

Cite Review PDF

Full Text: DOI Link

Backlinks: MO MO

Florio, Salvatore; Linnebo, Øystein

On the innocence and determinacy of plural quantification. (English) Zbl 1384.03026

Nôus 50, No. 3, 565-583 (2016).

MSC: 03A05 03B60 03C80

Cite Review PDF

Full Text: DOI Link

Lucas, Salvador

Use of logical models for proving operational termination in general logics. (English) Zbl 1367.68068

Lucanu, Dorel (ed.), Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-44801-5/pbk; 978-3-319-44802-2/ebook). Lecture Notes in Computer Science 9942, 26-46 (2016).

MSC: 68N30 03B70 68Q42

Cite Review PDF

Full Text: DOI Link

Read, Stephen

Harmonic inferentialism and the logic of identity. (English) Zbl 1391.03015

Rev. Symb. Log. 9, No. 2, 408-420 (2016).

MSC: 03A05 03F03

Cite Review PDF

Full Text: DOI

Turner, Jason

What’s so bad about second-order logic? (English) Zbl 1437.03034

Torza, Alessandro (ed.), Quantifiers, quantifiers, and quantifiers: themes in logic, metaphysics, and language. Cham: Springer. Synth. Libr. 373, 463-487 (2015).

MSC: 03A05 03B16

Cite Review PDF

Full Text: DOI

Studd, J. P.

Absolute generality and semantic pessimism. (English) Zbl 1437.03029

Torza, Alessandro (ed.), Quantifiers, quantifiers, and quantifiers: themes in logic, metaphysics, and language. Cham: Springer. Synth. Libr. 373, 339-366 (2015).

MSC: 03A05 03B65

Cite Review PDF

Full Text: DOI

Lavers, Gregory

Carnap, Quine, quantification and ontology. (English) Zbl 1437.03025

Torza, Alessandro (ed.), Quantifiers, quantifiers, and quantifiers: themes in logic, metaphysics, and language. Cham: Springer. Synth. Libr. 373, 271-299 (2015).

MSC: 03A05

Cite Review PDF

Full Text: DOI

Bueno, Otávio

Can identity be relativized? (English) Zbl 1376.03007

Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for the 50th birthday of Jean-Yves Béziau. Volume II. New York, NY: Birkhäuser/Springer (ISBN 978-3-319-15367-4/pbk; 978-3-319-15368-1/ebook). Studies in Universal Logic, 253-262 (2015).

MSC: 03A05 03B05 03B60

Cite Review PDF

Full Text: DOI

Peregrin, Jaroslav

Logic reduced to bare (proof-theoretical) bones. (English) Zbl 1350.03044

J. Logic Lang. Inf. 24, No. 2, 193-209 (2015).

MSC: 03F03 03B20

Cite Review PDF

Full Text: DOI

Walsh, Sean; Ebels-Duggan, Sean

Relative categoricity and abstraction principles. (English) Zbl 1337.03012

Rev. Symb. Log. 8, No. 3, 572-606 (2015).

MSC: 03A05

Cite Review PDF

Full Text: DOI arXiv

Shapiro, Stewart; Linnebo, Øystein

Frege meets Brouwer (or Heyting or Dummett). (English) Zbl 1375.03012

Rev. Symb. Log. 8, No. 3, 540-552 (2015).

MSC: 03A05 03F35 03B30 03B15

Cite Review PDF

Full Text: DOI

Rossberg, Marcus

Somehow things do not relate: on the interpretation of polyadic second-order logic. (English) Zbl 1326.03015

J. Philos. Log. 44, No. 3, 341-350 (2015).

MSC: 03B15 03A05

Cite Review PDF

Full Text: DOI

Walsh, Sean

Logicism, interpretability, and knowledge of arithmetic. (English) Zbl 1345.03013

Rev. Symb. Log. 7, No. 1, 84-119 (2014).

MSC: 03A05 00A30

Cite Review PDF

Full Text: DOI

Kließ, M. S.; Paris, J. B.

Second order inductive logic and Wilmers’ principle. (English) Zbl 1395.03013

J. Appl. Log. 12, No. 4, 462-476 (2014).

MSC: 03B48 03B15 68T27

Cite Review PDF

Full Text: DOI

Schiemer, Georg

Carnap’s early semantics. (English) Zbl 1303.03007

Erkenntnis 78, No. 3, 487-522 (2013).

MSC: 03-03 00A30 01A60 03A05

Cite Review PDF

Full Text: DOI

Barrio, Eduardo; Picollo, Lavinia

Notes on \(\omega\)-inconsistent theories of truth in second-order languages. (English) Zbl 1331.03039

Rev. Symb. Log. 6, No. 4, 733-741 (2013).

Reviewer: Max A. Freund (San José)

MSC: 03F35 03A05

Cite Review PDF

Full Text: DOI

Meadows, Toby

What can a categoricity theorem tell us? (English) Zbl 1326.03011

Rev. Symb. Log. 6, No. 3, 524-544 (2013).

MSC: 03A05 03B15 03C35

Cite Review PDF

Full Text: DOI

Picollo, Lavinia María

Yablo’s paradox in second-order languages: consistency and unsatisfiability. (English) Zbl 1316.03004

Stud. Log. 101, No. 3, 601-617 (2013).

Reviewer: Max A. Freund (San José)

MSC: 03A05 03F35

Cite Review PDF

Full Text: DOI

Sher, Gila

The foundational problem of logic. (English) Zbl 1405.03016

Bull. Symb. Log. 19, No. 2, 145-198 (2013).

MSC: 03A05

Cite Review PDF

Full Text: DOI Euclid Link

Hellman, Geoffrey

Neither categorical nor set-theoretic foundations. (English) Zbl 1298.18002

Rev. Symb. Log. 6, No. 1, 16-23 (2013).

Reviewer: Serguei V. Solov’ev (Toulouse)

MSC: 18A15 00A30 03A05 18A05

Cite Review PDF

Full Text: DOI

Friend, Michèle

Pluralism and “bad” mathematical theories: challenging our prejudices. (English) Zbl 1405.03012

Tanaka, Koji (ed.) et al., Paraconsistency. Logic and applications. Selected papers of the 4th world congress on paraconsistency, Melbourne, Australia, 2008. Berlin: Springer (ISBN 978-94-007-4437-0/hbk). Logic, Epistemology, and the Unity of Science 26, 277-307 (2013).

MSC: 03A05 00A30

Cite Review PDF

Full Text: DOI

Armour-Garb, Bradley; Woodbridge, James A.

The story about propositions. (English) Zbl 1366.03016

Nôus 46, No. 4, 635-674 (2012).

MSC: 03A05

Cite Review PDF

Full Text: DOI Link

Schiemer, Georg

Carnap on extremal axioms, “completeness of the models,” and categoricity. (English) Zbl 1261.03009

Rev. Symb. Log. 5, No. 4, 613-641 (2012).

MSC: 03-03 01A60 03A10

Cite Review PDF

Full Text: DOI

Meadows, Toby

Revising Carnap’s semantic conception of modality. (English) Zbl 1280.03024

Stud. Log. 100, No. 3, 497-515 (2012).

MSC: 03B45 03A05

Cite Review PDF

Full Text: DOI

Hewitt, Simon

The logic of finite order. (English) Zbl 1272.03023

Notre Dame J. Formal Logic 53, No. 3, 297-318 (2012).

MSC: 03A05 03B60

Cite Review PDF

Full Text: DOI Euclid

Paseau, Alexander

Against the judgment-dependence of mathematics and logic. (English) Zbl 1251.03010

Erkenntnis 76, No. 1, 23-40 (2012).

MSC: 03A05 00A30

Cite Review PDF

Full Text: DOI

Walsh, Sean

Comparing Peano arithmetic, Basic Law V, and Hume’s Principle. (English) Zbl 1251.03078

Ann. Pure Appl. Logic 163, No. 11, 1679-1709 (2012).

Reviewer: Roman Murawski (Poznań)

MSC: 03F35 03D65

Cite Review PDF

Full Text: DOI arXiv

Tall, David; Yevdokimov, Oleksiy; Koichu, Boris; Whiteley, Walter; Kondratieva, Margo; Cheng, Ying-Hao

Cognitive development of proof. (English) Zbl 1247.97020

Hanna, Gila (ed.) et al., Proof and proving in mathematics education. The 19th ICMI study. Berlin: Springer (ISBN 978-94-007-2128-9/hbk; 978-94-007-2129-6/ebook). New ICMI Study Series 15, 13-49 (2012).

MSC: 97E50 97C30 97D30

Cite Review PDF

Full Text: DOI

OA License

Shapiro, Stewart

Life on the ship of Neurath: mathematics in the philosophy of mathematics. (English) Zbl 1246.00009

Trobok, Majda (ed.) et al., Between logic and reality. Modeling inference, action and understanding. Dordrecht: Springer (ISBN 978-94-007-2389-4/hbk; 978-94-007-2390-0/ebook). Logic, Epistemology, and the Unity of Science 25, 11-27 (2012).

MSC: 00A30 03A05

Cite Review PDF

Full Text: DOI

Schiemer, Georg

Carnap’s Untersuchungen: logicism, formal axiomatics, and metatheory. (English) Zbl 1257.03010

Creath, Richard (ed.), Rudolf Carnap and the legacy of logical empiricism. Selected papers presented at the conference, Vienna, Austria, June 28–29, 2010. Berlin: Springer (ISBN 978-94-007-3928-4/hbk; 978-94-007-3929-1/ebook). Vienna Circle Institute Yearbook 16, 13-36 (2012).

MSC: 03-03 03A10

Cite Review PDF

Full Text: DOI

Krause, Décio; Arenhart, Jonas R. B.; Moraes, Fernando T. F.

Axiomatization and models of scientific theories. (English) Zbl 1259.03015

Found. Sci. 16, No. 4, 363-382 (2011).

MSC: 03A10

Cite Review PDF

Full Text: DOI Link

Sher, Gila

Is logic in the mind or in the world? (English) Zbl 1235.03020

Synthese 181, No. 2, 353-365 (2011).

MSC: 03A05 00A30

Cite Review PDF

Full Text: DOI

OA License

Schechter, Joshua

Juxtaposition: a new way to combine logics. (English) Zbl 1252.03068

Rev. Symb. Log. 4, No. 4, 560-606 (2011).

MSC: 03B62

Cite Review PDF

Full Text: DOI

Ketland, Jeffrey

Identity and indiscernibility. (English) Zbl 1252.03012

Rev. Symb. Log. 4, No. 2, 171-185 (2011).

MSC: 03A05

Cite Review PDF

Full Text: DOI

Ferreirós, José

On arbitrary sets and ZFC. (English) Zbl 1270.03088

Bull. Symb. Log. 17, No. 3, 361-393 (2011).

MSC: 03E30 03E25

Cite Review PDF

Full Text: DOI Link

Landry, Elaine

How to be a structuralist all the way down. (English) Zbl 1219.03008

Synthese 179, No. 3, 435-454 (2011).

MSC: 03A05 00A30 18A15

Cite Review PDF

Full Text: DOI

OA License

Bueno, Otávio

A defense of second-order logic. (English) Zbl 1230.03014

Axiomathes 20, No. 2-3, 365-383 (2010).

MSC: 03A05 03B15

Cite Review PDF

Full Text: DOI

Barrio, Eduardo Alejandro

Theories of truth without standard models and Yablo’s sequences. (English) Zbl 1217.03006

Stud. Log. 96, No. 3, 375-391 (2010).

MSC: 03A05

Cite Review PDF

Full Text: DOI

Kolman, Vojtěch

Continuum, name and paradox. (English) Zbl 1208.03013

Synthese 175, No. 3, 351-367 (2010).

MSC: 03A05 00A30

Cite Review PDF

Full Text: DOI

Found 133 Documents (Results 1–100)

Corcoran the mathematician. (English) Zbl 07918535

Plural ancestral logic as the logic of arithmetic. (English) Zbl 07861974

Axiomatizability of propositionally quantified modal logics on relational frames. (English) Zbl 07854638

Poincaré-Weyl’s predicativity: going beyond \(\Gamma_0\). (English) Zbl 07828958

Mathematical modality: an investigation in higher-order logic. (English) Zbl 07802218

Two-sorted Frege arithmetic is not conservative. (English) Zbl 1530.00011

Hume’s principle, bad company, and the axiom of choice. (English) Zbl 1530.00013

Epistemic logics with quantification over epistemic operators: decidability and expressiveness. (English) Zbl 07753870

Internal categoricity, truth and determinacy. (English) Zbl 07753831

Alternating (in)dependence-friendly logic. (English) Zbl 07741119

A modal loosely guarded fragment of second-order propositional modal logic. (English) Zbl 07726399

Bicontextualism. (English) Zbl 1533.03005

A note on choice principles in second-order logic. (English) Zbl 07689491

Predicativism as a form of potentialism. (English) Zbl 1537.03009

Structural relativity and informal rigour. (English) Zbl 1508.03013

Rescuing implicit definition from abstractionism. (English) Zbl 07598437

Hofweber’s nominalist naturalism. (English) Zbl 07598435

Higher-order logic and disquotational truth. (English) Zbl 07557917

On representations of intended structures in foundational theories. (English) Zbl 07502595

Prolegomena to virtue-theoretic studies in the philosophy of mathematics. (English) Zbl 1529.00012

Requiem for logical nihilism, or: logical nihilism annihilated. (English) Zbl 1507.03014

In defence of higher-level plural logic: drawing conclusions from natural language. (English) Zbl 1507.03086

Can Church’s thesis be viewed as a Carnapian explication? (English) Zbl 1507.03033

Analysis in a formal predicative set theory. (English) Zbl 1540.03094

Deductive cardinality results and nuisance-like principles. (English) Zbl 1508.03037

Semantics and completeness for schematic logic. (English) Zbl 1517.03029

Non-well-founded deduction for induction and coinduction. (English) Zbl 1540.03062

Open texture and mathematics. (English) Zbl 1475.00015

On the virtue of categoricity. (English) Zbl 1529.03099

On the completeness and the decidability of strictly monadic second-order logic. (English) Zbl 1521.03014

Neo-logicism and its logic. (English) Zbl 1503.03008

Why predicative sets? (English) Zbl 1535.03260

Integrating induction and coinduction via closure operators and proof cycles. (English) Zbl 07614523

A metasemantic challenge for mathematical determinacy. (English) Zbl 1475.03058

Weyl reexamined: “Das Kontinuum” 100 years later. (English) Zbl 1458.03006

Model theoretic characterizations of large cardinals. (English) Zbl 1443.03029

Using well-founded relations for proving operational termination. (English) Zbl 1468.03034

Varieties of pluralism and objectivity in mathematics. (English) Zbl 1528.03031

Set theory and structures. (English) Zbl 1528.03011

Maddy on the multiverse. (English) Zbl 1528.03072

The middle ground-ancestral logic. (English) Zbl 1475.03082

Second-order logic: properties, semantics, and existential commitments. (English) Zbl 1475.03068

Axiomatizations of arithmetic and the first-order/second-order divide. (English) Zbl 1475.03089

Possible predicates and actual properties. (English) Zbl 1475.03067

Actual and potential infinity. (English) Zbl 1446.03013

Sellars, second-order quantification, and ontological commitment. (English) Zbl 1427.03030

Natural language semantics and computability. (English) Zbl 1477.03112

Capturing consequence. (English) Zbl 1532.03007

The search for new axioms in the hyperuniverse programme. (English) Zbl 1439.03092

Nominalist realism. (English) Zbl 1436.03042

Applicable mathematics in a minimal computational theory of sets. (English) Zbl 1454.03064

Automatic synthesis of logical models for order-sorted first-order theories. (English) Zbl 1398.68095

Propositional epistemic logics with quantification over agents of knowledge. (English) Zbl 1437.03074

Cardinality and acceptable abstraction. (English) Zbl 1436.03029

Second-order logic and the power set. (English) Zbl 1436.03024

Towards a theory of universes: structure theory and the mathematical universe hypothesis. (English) Zbl 1384.00037

The significance of a categoricity theorem for formal theories and informal beliefs. (English) Zbl 1436.03069

Forcing, multiverse and realism. (English) Zbl 1436.03263

Multiversism and concepts of set: how much relativism is acceptable? (English) Zbl 1436.03017

The search for new axioms in the hyperuniverse programme. (English) Zbl 1436.03261

Isomorphism invariance and overgeneration. (English) Zbl 1384.03032

Sets and supersets. (English) Zbl 1384.03057

On the innocence and determinacy of plural quantification. (English) Zbl 1384.03026

Use of logical models for proving operational termination in general logics. (English) Zbl 1367.68068

Harmonic inferentialism and the logic of identity. (English) Zbl 1391.03015

What’s so bad about second-order logic? (English) Zbl 1437.03034

Absolute generality and semantic pessimism. (English) Zbl 1437.03029

Carnap, Quine, quantification and ontology. (English) Zbl 1437.03025

Can identity be relativized? (English) Zbl 1376.03007

Logic reduced to bare (proof-theoretical) bones. (English) Zbl 1350.03044

Relative categoricity and abstraction principles. (English) Zbl 1337.03012

Frege meets Brouwer (or Heyting or Dummett). (English) Zbl 1375.03012

Somehow things do not relate: on the interpretation of polyadic second-order logic. (English) Zbl 1326.03015

Logicism, interpretability, and knowledge of arithmetic. (English) Zbl 1345.03013