Switch to: References

Citations of:

Categoricity by convention

Julien Murzi & Brett Topey

Philosophical Studies 178 (10):3391-3420 (2021)

Add citations

You must login to add citations.

Logical Conventionalism.Jared Warren - unknown - In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger (eds.), Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.details Once upon a time, logical conventionalism was the most popular philosophical theory of logic. It was heavily favored by empiricists, logical positivists, and naturalists. According to logical conventionalism, linguistic conventions explain logical truth, validity, and modality. And conventions themselves are merely syntactic rules of language use, including inference rules. Logical conventionalism promised to eliminate mystery from the philosophy of logic by showing that both the metaphysics and epistemology of logic fit into a scientific picture of reality. For naturalists of all (...) Analyticity in Philosophy of Language Inferentialist Accounts of Meaning and Content in Philosophy of Mind Logic and Philosophy of Logic Modal Conventionalism in Metaphysics Scientific Conventionalism in General Philosophy of Science The A Priori in Epistemology Use Theories of Meaning in Philosophy of Language Direct download Export citation Bookmark
Inferential Quantification and the ω-rule.Constantin C. Brîncuș - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 345-372.details Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) 20th Century Logic in 20th Century Philosophy Epistemology of Logic in Logic and Philosophy of Logic Logical Consequence and Entailment in Logic and Philosophy of Logic Mathematical Logic in Philosophy of Mathematics Model Theory in Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Variables in Logic and Philosophy of Logic $101.01 new (collection) View on Amazon.com Direct download (2 more) Export citation Bookmark
Categorical Quantification.Constantin C. Brîncuș - forthcoming - Bulletin of Symbolic Logic:1-27.details Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) Logical Consequence and Entailment in Logic and Philosophy of Logic Logical Expressions in Logic and Philosophy of Logic Logical Semantics and Logical Truth in Logic and Philosophy of Logic Logics in Logic and Philosophy of Logic Mathematical Logic in Philosophy of Mathematics Proof Theory in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 1 citation
The Non-Categoricity of Logic (II). Multiple-Conclusions and Bilateralist Logics (In Romanian).Constantin C. Brîncuș - 2023 - Probleme de Logică (Problems of Logic) (1):139-162.details The categoricity problem for a system of logic reveals an asymmetry between the model-theoretic and the proof-theoretic resources of that logic. In particular, it reveals prima facie that the proof-theoretic instruments are insufficient for matching the envisaged model-theory, when the latter is already available. Among the proposed solutions for solving this problem, some make use of new proof-theoretic instruments, some others introduce new model-theoretic constrains on the proof-systems, while others try to use instruments from both sides. On the proof-theoretical side, (...) Proof Theory in Logic and Philosophy of Logic Direct download Export citation Bookmark
Rules and Meaning in Quantum Mechanics.Iulian D. Toader - manuscriptdetails This book concerns the metasemantics of quantum mechanics (QM). Roughly, it pursues an investigation at an intersection of the philosophy of physics and the philosophy of semantics, and it offers a critical analysis of rival explanations of the semantic facts of standard QM. Two problems for such explanations are discussed: categoricity and permanence of rules. New results include 1) a reconstruction of Einstein's incompleteness argument, which concludes that a local, separable, and categorical QM cannot exist, 2) a reinterpretation of Bohr's (...) History of Quantum Mechanics in Philosophy of Physical Science Logical Connectives, Misc in Logic and Philosophy of Logic Philosophy of Physics, Misc in Philosophy of Physical Science Philosophy of Science, Miscellaneous in Philosophy of Science, Misc Quantum Logic in Logic and Philosophy of Logic Semantic Values in Philosophy of Language Use Theories of Meaning in Philosophy of Language Direct download Export citation Bookmark
Inferential Roles and Truth: Conceptual Foundations for Modest Inferentialism.Simon Vonlanthen - manuscriptdetails Inferentialist Accounts of Meaning and Content in Philosophy of Mind Truth-Conditional Theories in Philosophy of Language Use Theories of Meaning in Philosophy of Language Direct download Export citation Bookmark

1