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

Masterman, Christopher James

Some ways the ways the world could have been can’t be. (English) Zbl 07914753

J. Philos. Log. 53, No. 4, 997-1025 (2024).

MSC: 03-XX

Cite Review PDF

Full Text: DOI

OA License

Tennant, Neil

Which ‘intensional paradoxes’ are paradoxes? (English) Zbl 07914751

J. Philos. Log. 53, No. 4, 933-957 (2024).

MSC: 03-XX

Cite Review PDF

Full Text: DOI

OA License

Myers, David Jaz; Sati, Hisham; Schreiber, Urs

Topological quantum gates in homotopy type theory. (English) Zbl 07893326

Commun. Math. Phys. 405, No. 7, Paper No. 172, 114 p. (2024).

MSC: 03Bxx 81Txx 81Pxx

Cite Review PDF

Full Text: DOI arXiv

Fazio, Davide; Mascella, Raffaele

Some remarks on the logic of probabilistic relevance. (English) Zbl 07868850

Log. Log. Philos. 33, No. 1, 101-144 (2024).

MSC: 03B47

Cite Review PDF

Full Text: DOI

Booij, Elbert J.

Procedural semantics and its relevance to paradox. (English) Zbl 07868847

Log. Log. Philos. 33, No. 1, 3-26 (2024).

MSC: 03A05

Cite Review PDF

Full Text: DOI

Gruszczyński, Rafał

Mathematical methods in region-based theories of space: the case of Whitehead points. (English) Zbl 07865510

Bull. Sect. Log., Univ. Łódź, Dep. Log. 53, No. 1, 63-104 (2024).

MSC: 03G05 06E25

Cite Review PDF

Full Text: DOI arXiv

Zhao, Yifan; Liu, Hua-Wen

Interval \(\boldsymbol{R}\)-Sheffer strokes and interval fuzzy Sheffer strokes endowed with admissible orders. (English) Zbl 07834351

Int. J. Approx. Reasoning 166, Article ID 109120, 22 p. (2024).

MSC: 03-XX

Cite Review PDF

Full Text: DOI

Dohrn, Daniel

Ab esse ad posse non Valet Consequentia. (English) Zbl 07832901

J. Philos. Log. 53, No. 2, 391-409 (2024).

MSC: 03-XX

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

Fujimoto, Kentaro; Halbach, Volker

Classical determinate truth. I. (English) Zbl 07827889

J. Symb. Log. 89, No. 1, 218-261 (2024).

MSC: 03F03

Cite Review PDF

Full Text: DOI

OA License

Warren, Jared

The liar paradox and “meaningless” revenge. (English) Zbl 07802215

J. Philos. Log. 53, No. 1, 49-78 (2024).

MSC: 03-XX

Cite Review PDF

Full Text: DOI

Paulson, Lawrence C.

A formalised theorem in the partition calculus. (English) Zbl 07748742

Ann. Pure Appl. Logic 175, No. 1, Article ID 103246, 10 p. (2024).

MSC: 03E02 03E10 03B35 68V15 68V20

Cite Review PDF

Full Text: DOI arXiv

OA License

Pavlovic, Dusko

Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers. (English) Zbl 07920700

Palmigiano, Alessandra (ed.) et al., Samson Abramsky on logic and structure in computer science and beyond. Cham: Springer. Outst. Contrib. Log. 25, 1005-1070 (2023).

MSC: 03B70 68Qxx 81P68

Cite Review PDF

Full Text: DOI arXiv

Schirn, Matthias

Identity and the cognitive value of logical equations in Frege’s foundational project. (English) Zbl 1534.03018

Notre Dame J. Formal Logic 64, No. 4, 495-544 (2023).

MSC: 03A05 03-03 00A30 01A60

Cite Review PDF

Full Text: DOI

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

Gandon, Sébastien

Interpretation, logic and philosophy: Jean Nicod’s Geometry in the sensible world. (English) Zbl 1530.00010

Rev. Symb. Log. 16, No. 4, 1080-1109 (2023).

MSC: 00A30 01A60 03A05

Cite Review PDF

Full Text: DOI

Arsenijević, Miloš; Jandrić, Andrej

Future contingencies and the arrow and flow of time in a non-deterministic world according to the temporal-modal system TM. (English) Zbl 07776653

Log. Log. Philos. 32, No. 4, 529-581 (2023).

MSC: 03B45 03B44 03A05

Cite Review PDF

Full Text: DOI

Peregrin, Jaroslav; Svoboda, Vladimír

Establishing logical forms. What is assigned to what, how and why. (English) Zbl 07776647

Log. Log. Philos. 32, No. 3, 421-442 (2023).

MSC: 03A05

Cite Review PDF

Full Text: DOI

Elkind, Landon D. C.; Zach, Richard

The genealogy of ‘\(\boldsymbol{\vee}\)’. (English) Zbl 07740300

Rev. Symb. Log. 16, No. 3, 862-899 (2023).

MSC: 03-03 01A55 01A60

Cite Review PDF

Full Text: DOI arXiv

Klev, Ansten

Spiritus asper versus lambda: on the nature of functional abstraction. (English) Zbl 07720263

Notre Dame J. Formal Logic 64, No. 2, 205-223 (2023).

MSC: 03A05 00A30 03B40 03B38

Cite Review PDF

Full Text: DOI

Goodman, Jeremy

Grounding generalizations. (English) Zbl 07695105

J. Philos. Log. 52, No. 3, 821-858 (2023).

MSC: 03-XX

Cite Review PDF

Full Text: DOI

Koussas, James Mathew

Finite relation algebras. (English) Zbl 1536.03032

J. Symb. Log. 88, No. 2, 874-888 (2023).

Reviewer: Roger Maddux (Ames)

MSC: 03G15 03C13 60F20

Cite Review PDF

Full Text: DOI arXiv

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

Indrzejczak, Andrzej

Russellian definite description theory – a proof theoretic approach. (English) Zbl 1522.03315

Rev. Symb. Log. 16, No. 2, 624-649 (2023).

Reviewer: Branislav Boričić (Beograd)

MSC: 03F03 03F05 03B10

Cite Review PDF

Full Text: DOI

Stafford, Will

The potential in Frege’s theorem. (English) Zbl 07689500

Rev. Symb. Log. 16, No. 2, 553-577 (2023).

MSC: 03-02 00A30 03B16 03B45

Cite Review PDF

Full Text: DOI arXiv

Fritz, Peter

Operands and instances. (English) Zbl 07658885

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

MSC: 03B16

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

Riscali, Guilherme

Russell on the widest words in the philosophical vocabulary: a Platonic path through terms, units and entities. (English) Zbl 1535.03035

Zini, Fosca Mariani (ed.), The meaning of something. Rethinking the logic and the unity of the ontology. Cham: Springer. Log. Argum. Reason. 29, 89-116 (2022).

MSC: 03A05 00A30

Cite Review PDF

Full Text: DOI

Baczyński, Michał; Berruezo, Pedro; Helbin, Piotr; Massanet, Sebastia; Niemyska, Wanda; Ruiz-Aguilera, Daniel

On the Sheffer stroke operation in fuzzy logic. (English) Zbl 1522.03064

Fuzzy Sets Syst. 431, 110-128 (2022).

MSC: 03B52

Cite Review PDF

Full Text: DOI

OA License

Bueno, Otávio

Revising logics. (English) Zbl 07740519

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 303-320 (2022).

MSC: 03A05

Cite Review PDF

Full Text: DOI

Béziau, Jean-Yves

Is logic exceptional? (English) Zbl 07740517

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 261-279 (2022).

MSC: 03A05

Cite Review PDF

Full Text: DOI

Joray, Pierre

Definition and inference in Leśniewski’s logic. (English) Zbl 07740516

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 245-258 (2022).

MSC: 03-03 01A60 03B16

Cite Review PDF

Full Text: DOI

Schmid, Anne-Françoise

The place and value of logic in Louis Couturat’s philosophical thinking. (English) Zbl 07740515

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 231-244 (2022).

MSC: 03-03 03A05 01A55 01A60

Cite Review PDF

Full Text: DOI

Chevalier, Jean-Marie

What is the relation between Peirce’s logic and his philosophy of logic? (English) Zbl 07740512

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 169-187 (2022).

MSC: 03A05 03-03 01A60

Cite Review PDF

Full Text: DOI

Abeles, Francine F.

Inference in nineteenth-century British logic. (English) Zbl 07740507

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 59-77 (2022).

MSC: 03-03 01A55

Cite Review PDF

Full Text: DOI

Trybus, Adam

Three-dimensional affine spatial logics. (English) Zbl 07659706

Log. Univers. 16, No. 4, 603-620 (2022).

MSC: 03B10 03B70

Cite Review PDF

Full Text: DOI

OA License

McAllister, Isabella

Classical logic is not uniquely characterizable. (English) Zbl 07644282

J. Philos. Log. 51, No. 6, 1345-1365 (2022).

MSC: 03-XX

Cite Review PDF

Full Text: DOI

Weiss, Yale

Did Aristotle endorse Aristotle’s thesis? A case study in Aristotle’s metalogic. (English) Zbl 07634482

Notre Dame J. Formal Logic 63, No. 4, 551-579 (2022).

MSC: 03B60 01A20 03A05

Cite Review PDF

Full Text: DOI Link

Agazzi, Evandro

The semantic function of the axiomatic method. (English) Zbl 07632996

Ferreira, Fernando (ed.) et al., Axiomatic thinking I. Cham: Springer. 43-61 (2022).

MSC: 03-03 03A05 00A30 01A80 01A60

Cite Review PDF

Full Text: DOI

Kahle, Reinhard; Sommaruga, Giovanni

Hilbert’s Axiomatisches Denken. (English) Zbl 07632994

Ferreira, Fernando (ed.) et al., Axiomatic thinking I. Cham: Springer. 23-37 (2022).

MSC: 03-03 03A05 00A30 01A80 01A60

Cite Review PDF

Full Text: DOI

Benci, Vieri

An improved setting for generalized functions: fine ultrafunctions. (English) Zbl 1503.35063

Milan J. Math. 90, No. 2, 575-646 (2022).

MSC: 35D30 03H05 26E30 46T30

Cite Review PDF

Full Text: DOI arXiv

OA License

López, Cristian

Spontaneous collapse theories and temporal primitivism about time’s direction. (English) Zbl 1512.81004

Found. Phys. 52, No. 5, Paper No. 112, 22 p. (2022).

MSC: 81P05 62H11 81P15 03E04 83F05

Cite Review PDF

Full Text: DOI

OA License

Button, Tim; Trueman, Robert

Against cumulative type theory. (English) Zbl 1532.03016

Rev. Symb. Log. 15, No. 4, 907-949 (2022).

MSC: 03B38 03A05

Cite Review PDF

Full Text: DOI arXiv

Kripke, Saul A.

The collapse of the Hilbert program: a variation on the Gödelian theme. (English) Zbl 1508.03004

Bull. Symb. Log. 28, No. 3, 413-426 (2022).

Reviewer: Albert C. Lewis (Austin)

MSC: 03-03 01A60 03A05

Cite Review PDF

Full Text: DOI arXiv

Adlešić, Tin; Čačić, Vedran

A modern rigorous approach to stratification in NF/NFU. (English) Zbl 07603236

Log. Univers. 16, No. 3, 451-468 (2022).

MSC: 03E20 03-02 03-08

Cite Review PDF

Full Text: DOI

Cantini, Andrea

Truth and the philosophy of mathematics. (English) Zbl 07598444

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

MSC: 03-XX 00A30 03F03 03F25 03F35 03A05

Cite Review PDF

Full Text: DOI

Crosilla, Laura

Predicativity and constructive mathematics. (English) Zbl 07598443

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

MSC: 03-XX 00A30

Cite Review PDF

Full Text: DOI Link

Bianchi, Silvia

Ontological dependence and grounding for a weak mathematical structuralism. (English) Zbl 07598439

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

MSC: 03-XX 00A30

Cite Review PDF

Full Text: DOI

Beeson, Michael

Euclid after computer proof-checking. (English) Zbl 1530.03051

Am. Math. Mon. 129, No. 7, 623-646 (2022).

MSC: 03B30 03B35 51M05

Cite Review PDF

Full Text: DOI arXiv

Peregrin, Jaroslav; Svoboda, Vladimír

Logica dominans vs. logica serviens. (English) Zbl 1530.03036

Log. Log. Philos. 31, No. 2, 183-207 (2022).

MSC: 03A05

Cite Review PDF

Full Text: DOI

Chen, Lu

Smooth infinitesimals in the metaphysical foundation of spacetime theories. (English) Zbl 07557916

J. Philos. Log. 51, No. 4, 857-877 (2022).

MSC: 03-XX

Cite Review PDF

Full Text: DOI arXiv

Ditter, Andreas

Essence and necessity. (English) Zbl 07535476

J. Philos. Log. 51, No. 3, 653-690 (2022).

MSC: 03-XX

Cite Review PDF

Full Text: DOI Link

Sanders, Sam

Representations and the foundations of mathematics. (English) Zbl 07522852

Notre Dame J. Formal Logic 63, No. 1, 1-28 (2022).

MSC: 03B30 03F35

Cite Review PDF

Full Text: DOI arXiv

Kürbis, Nils

A binary quantifier for definite descriptions for cut free free logics. (English) Zbl 07490472

Stud. Log. 110, No. 1, 219-239 (2022).

MSC: 03-XX

Cite Review PDF

Full Text: DOI arXiv

OA License

Urquhart, Alasdair

Comments on the contributions. (English) Zbl 07469225

Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 571-586 (2022).

MSC: 03Bxx 03Gxx

Cite Review PDF

Full Text: DOI

Linsky, Bernard

Russellian propositions in Principia Mathematica. (English) Zbl 07469223

Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 537-556 (2022).

MSC: 03Bxx 03Gxx

Cite Review PDF

Full Text: DOI

Urquhart, Alasdair

A logical autobiography. (English) Zbl 1484.01030

Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 1-21 (2022).

MSC: 01A70 03-03

Cite Review PDF

Full Text: DOI

Lampert, Fabio; Merlussi, Pedro

How (not) to construct worlds with responsibility. (English) Zbl 1529.03111

Synthese 199, No. 3-4, 10389-10413 (2021).

MSC: 03A10

Cite Review PDF

Full Text: DOI

OA License

Peregrin, Jaroslav; Svoboda, Vladimír

Moderate anti-exceptionalism and earthborn logic. (English) Zbl 1529.03076

Synthese 199, No. 3-4, 8781-8806 (2021).

MSC: 03A05 03B65

Cite Review PDF

Full Text: DOI

Welty, Ivan

Incompatibility, inconsistency, and logical analysis in Tractatus logico-philosophicus. (English) Zbl 1529.03104

Synthese 199, No. 3-4, 8171-8186 (2021).

MSC: 03A05

Cite Review PDF

Full Text: DOI

DePoe, John M.

Justification by acquaintance. (English) Zbl 1529.03027

Synthese 199, No. 3-4, 7555-7573 (2021).

MSC: 03A05

Cite Review PDF

Full Text: DOI

Pupa, Francesco

Coalescent theories and divergent paraphrases: definites, non-extensional contexts, and familiarity. (English) Zbl 1529.03080

Synthese 199, No. 1-2, 4841-4862 (2021); correction ibid. 199, No. 1-2, 4863-4864 (2021).

MSC: 03A05

Cite Review PDF

Full Text: DOI

Ketland, Jeffrey

Foundations of applied mathematics. I. (English) Zbl 1539.03181

Synthese 199, No. 1-2, 4151-4193 (2021).

MSC: 03E75 03B30

Cite Review PDF

Full Text: DOI Link

Raatikainen, Panu

Troubles with the Canberra plan. (English) Zbl 1529.03082

Synthese 199, No. 1-2, 4039-4060 (2021).

MSC: 03A05

Cite Review PDF

Full Text: DOI

OA License

Donnelly, Maureen

Explaining the differential application of non-symmetric relations. (English) Zbl 1529.03030

Synthese 199, No. 1-2, 3587-3610 (2021).

MSC: 03A05

Cite Review PDF

Full Text: DOI

Hirèche, Salim

Causal necessitarianism and the monotonicity objection. (English) Zbl 1529.03051

Synthese 199, No. 1-2, 2597-2627 (2021).

MSC: 03A05

Cite Review PDF

Full Text: DOI

OA License

Martens, Niels C. M.; Read, James

Sophistry about symmetries? (English) Zbl 1529.03112

Synthese 199, No. 1-2, 315-344 (2021).

MSC: 03A10 83C99

Cite Review PDF

Full Text: DOI

OA License

Grandjean, Vincent

Symmetric and asymmetric theories of time. (English) Zbl 1528.03035

Synthese 199, No. 5-6, 14403-14426 (2021).

MSC: 03A05 03B44

Cite Review PDF

Full Text: DOI

Salmón, Nathan

A paradox about sets of properties. (English) Zbl 1528.03061

Synthese 199, No. 5-6, 12777-12793 (2021).

MSC: 03A05 03B38

Cite Review PDF

Full Text: DOI Link

Rinner, Stefan

The multiple relation theory and Schiffer’s puzzle. (English) Zbl 1525.03032

Synthese 198, No. 10, 9117-9137 (2021).

MSC: 03A05 03B42 03B65

Cite Review PDF

Full Text: DOI

OA License

Martin, Ben

Identifying logical evidence. (English) Zbl 1525.03029

Synthese 198, No. 10, 9069-9095 (2021).

MSC: 03A05

Cite Review PDF

Full Text: DOI

OA License

Bonino, Guido; Maffezioli, Paolo; Tripodi, Paolo

Logic in analytic philosophy: a quantitative analysis. (English) Zbl 1525.03003

Synthese 198, No. 11, 10991-11028 (2021).

MSC: 03-03 03A05 01A60 01A61

Cite Review PDF

Full Text: DOI

Vrhovski, Jan

On infinitesimals and indefinitely cut wooden sticks: a Chinese debate on ‘mathematical logic’ and Russell’s Introduction to mathematical philosophy from 1925. (English) Zbl 1512.03014

Hist. Philos. Log. 42, No. 3, 262-280 (2021).

MSC: 03-03 01A60 01A25

Cite Review PDF

Full Text: DOI

Seuren, Pieter A. M.

Saving the square of opposition. (English) Zbl 1512.03024

Hist. Philos. Log. 42, No. 1, 72-96 (2021).

MSC: 03A05 03-03

Cite Review PDF

Full Text: DOI

OA License

Textor, Mark

Saying something about a concept: Frege on statements of number. (English) Zbl 1512.03010

Hist. Philos. Log. 42, No. 1, 60-71 (2021).

MSC: 03-03 03A05 01A55

Cite Review PDF

Full Text: DOI

Davies, Richard

Where is ‘there is’ in ‘\(\exists\)’? (English) Zbl 1512.03021

Hist. Philos. Log. 42, No. 1, 44-59 (2021).

MSC: 03A05 03-03 01A55 01A60

Cite Review PDF

Full Text: DOI

Øgaard, Tore Fjetland

Non-Boolean classical relevant logics. I. (English) Zbl 1507.03081

Synthese 198, No. 8, 6993-7024 (2021).

MSC: 03B47

Cite Review PDF

Full Text: DOI Link

Fritz, Peter

Structure by proxy, with an application to grounding. (English) Zbl 1507.03016

Synthese 198, No. 7, 6045-6063 (2021).

MSC: 03A05 03B38 03B16

Cite Review PDF

Full Text: DOI Link

Woods, John

What did Frege take Russell to have proved? (English) Zbl 1507.03055

Synthese 198, No. 4, 3949-3977 (2021).

MSC: 03A05 03-03

Cite Review PDF

Full Text: DOI

Büttner, Kai Michael

Hume’s principle: a plea for austerity. (English) Zbl 1507.00018

Synthese 198, No. 4, 3759-3781 (2021).

MSC: 00A30 03A05

Cite Review PDF

Full Text: DOI

Bronzo, Silver

Propositional complexity and the Frege-Geach point. (English) Zbl 1507.03010

Synthese 198, No. 4, 3099-3130 (2021).

MSC: 03A05

Cite Review PDF

Full Text: DOI

Schipper, Arthur

Fundamental truthmakers and non-fundamental truths. (English) Zbl 1507.03038

Synthese 198, No. 4, 3073-3098 (2021).

MSC: 03A05

Cite Review PDF

Full Text: DOI

OA License

Sagi, Gil

Extensionality and logicality. (English) Zbl 1507.03036

Synthese 198, Suppl. 5, S1095-S1119 (2021).

MSC: 03A05

Cite Review PDF

Full Text: DOI Link

Tucker, Dustin

Paradoxes and the limits of theorizing about propositional attitudes. (English) Zbl 1507.03046

Synthese 198, Suppl. 5, S1075-S1094 (2021).

MSC: 03A05

Cite Review PDF

Full Text: DOI

Kurokawa, Hidenori

On Takeuti’s early view of the concept of set. (English) Zbl 1541.03008

Arai, Toshiyasu (ed.) et al., Advances in mathematical logic. Dedicated to the memory of Professor Gaisi Takeuti, SAML 2018. Selected, revised contributions based on the presentations at the symposium, Kobe, Japan, September 18–20, 2018. Singapore: Springer. Springer Proc. Math. Stat. 369, 99-131 (2021).

MSC: 03-03 03A05 03E30 03E70 03F03 01A60

Cite Review PDF

Full Text: DOI

Torres Alcaraz, Carlos; Meza Alcántara, David

On Cantor’s theory of transfinite numbers, 1874 to 1940. (Acerca de la teoría de los números transfinitos de Cantor, de 1874 a 1940.) (Spanish) Zbl 1482.01006

Misc. Mat. 72, 21-49 (2021).

MSC: 01A55 03E10

Cite Review PDF

Full Text: DOI

Szmuc, Damian; Ferguson, Thomas Macaulay

Meaningless divisions. (English) Zbl 1529.03096

Notre Dame J. Formal Logic 62, No. 3, 399-424 (2021).

MSC: 03A05 03B50 03B47

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

Mares, Edwin

Relevance domains and the philosophy of science. (English) Zbl 07452005

Arieli, Ofer (ed.) et al., Arnon Avron on semantics and proof theory of non-classical logics. Cham: Springer. Outst. Contrib. Log. 21, 223-247 (2021).

MSC: 03-XX 68-XX

Cite Review PDF

Full Text: DOI

Blumson, Ben; Singh, Manikaran

Extension and self-connection. (English) Zbl 1517.03005

Log. Log. Philos. 30, No. 3, 435-459 (2021).

MSC: 03A05

Cite Review PDF

Full Text: DOI

Kürbis, Nils

Definite descriptions in intuitionist positive free logic. (English) Zbl 1517.03010

Log. Log. Philos. 30, No. 2, 327-358 (2021).

MSC: 03B20 03C80

Cite Review PDF

Full Text: DOI arXiv

Fritz, Peter; Lederman, Harvey; Uzquiano, Gabriel

Closed structure. (English) Zbl 07437457

J. Philos. Log. 50, No. 6, 1249-1291 (2021).

MSC: 03-XX

Cite Review PDF

Full Text: DOI

OA License

Tesi, Matteo

Labelled sequent calculi for Lewis’ non-normal propositional modal logics. (English) Zbl 07424396

Stud. Log. 109, No. 4, 725-757 (2021).

MSC: 03-XX

Cite Review PDF

Full Text: DOI

Usó-Doménech, José-Luis; Nescolarde-Selva, Josué-Antonio; Segura-Abad, Lorena; Alonso-Stenberg, Kristian; Gash, Hugh

Mathematical perspectives on liar paradoxes. (English) Zbl 1483.03003

Log. Univers. 15, No. 3, 251-269 (2021).

Reviewer: Victor V. Pambuccian (Glendale)

MSC: 03A05 01A20 03B42

Cite Review PDF

Full Text: DOI

Cheng, Yong

Current research on Gödel’s incompleteness theorems. (English) Zbl 1497.03067

Bull. Symb. Log. 27, No. 2, 113-167 (2021).

Reviewer: Saeed Salehi (Tabriz)

MSC: 03F40 03F30 03-02

Cite Review PDF

Full Text: DOI arXiv

Sieg, Wilfried; Walsh, Patrick

Natural formalization: deriving the Cantor-Bernstein theorem in ZF. (English) Zbl 1532.03015

Rev. Symb. Log. 14, No. 1, 250-284 (2021).

MSC: 03B35 03F07 68V15

Cite Review PDF

Full Text: DOI

Koutsoukou-Argyraki, Angeliki

Formalising mathematics – in praxis; a mathematician’s first experiences with Isabelle/HOL and the why and how of getting started. (English) Zbl 1495.68241

Jahresber. Dtsch. Math.-Ver. 123, No. 1, 3-26 (2021).

Reviewer: Truong Hoang Le (Hanoi)

MSC: 68V20 03B35 68V15 68V35

Cite Review PDF

Full Text: DOI

Backlinks: MO

OA License

Trybus, Adam; Linsky, Bernard

On Jan Łukasiewicz’s ‘The principle of contradiction and symbolic logic’. (English) Zbl 1509.03025

Hist. Philos. Log. 41, No. 2, 183-190 (2020).

MSC: 03A05 03B10 03-03 01A60

Cite Review PDF

Full Text: DOI

Fan, Zhao

Hobson’s conception of definable numbers. (English) Zbl 1509.03011

Hist. Philos. Log. 41, No. 2, 128-139 (2020).

MSC: 03A05 03-03 01A60

Cite Review PDF

Full Text: DOI

Found 612 Documents (Results 1–100)

Corcoran the mathematician. (English) Zbl 07918535

Some ways the ways the world could have been can’t be. (English) Zbl 07914753

Which ‘intensional paradoxes’ are paradoxes? (English) Zbl 07914751

Topological quantum gates in homotopy type theory. (English) Zbl 07893326

Some remarks on the logic of probabilistic relevance. (English) Zbl 07868850

Procedural semantics and its relevance to paradox. (English) Zbl 07868847

Mathematical methods in region-based theories of space: the case of Whitehead points. (English) Zbl 07865510

Interval \(\boldsymbol{R}\)-Sheffer strokes and interval fuzzy Sheffer strokes endowed with admissible orders. (English) Zbl 07834351

Ab esse ad posse non Valet Consequentia. (English) Zbl 07832901

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

Classical determinate truth. I. (English) Zbl 07827889

The liar paradox and “meaningless” revenge. (English) Zbl 07802215

A formalised theorem in the partition calculus. (English) Zbl 07748742

Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers. (English) Zbl 07920700

Identity and the cognitive value of logical equations in Frege’s foundational project. (English) Zbl 1534.03018

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

Interpretation, logic and philosophy: Jean Nicod’s Geometry in the sensible world. (English) Zbl 1530.00010

Future contingencies and the arrow and flow of time in a non-deterministic world according to the temporal-modal system TM. (English) Zbl 07776653

Establishing logical forms. What is assigned to what, how and why. (English) Zbl 07776647

The genealogy of ‘\(\boldsymbol{\vee}\)’. (English) Zbl 07740300

Spiritus asper versus lambda: on the nature of functional abstraction. (English) Zbl 07720263

Grounding generalizations. (English) Zbl 07695105

Finite relation algebras. (English) Zbl 1536.03032

Bicontextualism. (English) Zbl 1533.03005

Russellian definite description theory – a proof theoretic approach. (English) Zbl 1522.03315

The potential in Frege’s theorem. (English) Zbl 07689500

Operands and instances. (English) Zbl 07658885

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

Russell on the widest words in the philosophical vocabulary: a Platonic path through terms, units and entities. (English) Zbl 1535.03035

On the Sheffer stroke operation in fuzzy logic. (English) Zbl 1522.03064

Revising logics. (English) Zbl 07740519

Is logic exceptional? (English) Zbl 07740517

Definition and inference in Leśniewski’s logic. (English) Zbl 07740516

The place and value of logic in Louis Couturat’s philosophical thinking. (English) Zbl 07740515

What is the relation between Peirce’s logic and his philosophy of logic? (English) Zbl 07740512

Inference in nineteenth-century British logic. (English) Zbl 07740507

Three-dimensional affine spatial logics. (English) Zbl 07659706

Classical logic is not uniquely characterizable. (English) Zbl 07644282

Did Aristotle endorse Aristotle’s thesis? A case study in Aristotle’s metalogic. (English) Zbl 07634482

The semantic function of the axiomatic method. (English) Zbl 07632996

Hilbert’s Axiomatisches Denken. (English) Zbl 07632994

An improved setting for generalized functions: fine ultrafunctions. (English) Zbl 1503.35063

Spontaneous collapse theories and temporal primitivism about time’s direction. (English) Zbl 1512.81004

Against cumulative type theory. (English) Zbl 1532.03016

The collapse of the Hilbert program: a variation on the Gödelian theme. (English) Zbl 1508.03004

A modern rigorous approach to stratification in NF/NFU. (English) Zbl 07603236

Truth and the philosophy of mathematics. (English) Zbl 07598444

Predicativity and constructive mathematics. (English) Zbl 07598443

Ontological dependence and grounding for a weak mathematical structuralism. (English) Zbl 07598439

Euclid after computer proof-checking. (English) Zbl 1530.03051

Logica dominans vs. logica serviens. (English) Zbl 1530.03036

Smooth infinitesimals in the metaphysical foundation of spacetime theories. (English) Zbl 07557916

Essence and necessity. (English) Zbl 07535476

Representations and the foundations of mathematics. (English) Zbl 07522852

A binary quantifier for definite descriptions for cut free free logics. (English) Zbl 07490472

Comments on the contributions. (English) Zbl 07469225

Russellian propositions in Principia Mathematica. (English) Zbl 07469223

A logical autobiography. (English) Zbl 1484.01030

How (not) to construct worlds with responsibility. (English) Zbl 1529.03111

Moderate anti-exceptionalism and earthborn logic. (English) Zbl 1529.03076

Incompatibility, inconsistency, and logical analysis in Tractatus logico-philosophicus. (English) Zbl 1529.03104

Justification by acquaintance. (English) Zbl 1529.03027

Coalescent theories and divergent paraphrases: definites, non-extensional contexts, and familiarity. (English) Zbl 1529.03080

Foundations of applied mathematics. I. (English) Zbl 1539.03181

Troubles with the Canberra plan. (English) Zbl 1529.03082

Explaining the differential application of non-symmetric relations. (English) Zbl 1529.03030

Causal necessitarianism and the monotonicity objection. (English) Zbl 1529.03051

Sophistry about symmetries? (English) Zbl 1529.03112

Symmetric and asymmetric theories of time. (English) Zbl 1528.03035

A paradox about sets of properties. (English) Zbl 1528.03061

The multiple relation theory and Schiffer’s puzzle. (English) Zbl 1525.03032

Identifying logical evidence. (English) Zbl 1525.03029

Logic in analytic philosophy: a quantitative analysis. (English) Zbl 1525.03003

On infinitesimals and indefinitely cut wooden sticks: a Chinese debate on ‘mathematical logic’ and Russell’s Introduction to mathematical philosophy from 1925. (English) Zbl 1512.03014