Date of Completion
3-24-2017
Embargo Period
5-5-2017
Keywords
Philosophical Logic, Inferentialism, Higher-Order Logic, Modal Logic
Major Advisor
Marcus Rossberg
Associate Advisor
Lionel Shapiro
Associate Advisor
David Ripley
Field of Study
Philosophy
Degree
Doctor of Philosophy
Open Access
Open Access
Abstract
This dissertation develops an inferentialist theory of meaning. It takes as a starting point that the sense of a sentence is determined by the rules governing its use. In particular, there are two features of the use of a sentence that jointly determine its sense, the conditions under which it is coherent to assert that sentence and the conditions under which it is coherent to deny that sentence. From this starting point the dissertation develops a theory of quantification as marking coherent ways a language can be expanded and modality as the means by which we can reflect on the norms governing the assertion and denial conditions of our language. If the view of quantification that is argued for is correct, then there is no tension between second-order quantification and nominalism. In particular, the ontological commitments one can incur through the use of a quantifier depend wholly on the ontological commitments one can incur through the use of atomic sentences. The dissertation concludes by applying the developed theory of meaning to the metaphysical issue of necessitism and contingentism. Two objections to a logic of contingentism are raised and addressed. The resulting logic is shown to meet all the requirement that the dissertation lays out for a theory of meaning for quantifiers and modal operators.
Recommended Citation
Parisi, Andrew, "Second-Order Modal Logic" (2017). Doctoral Dissertations. 1480.
https://digitalcommons.lib.uconn.edu/dissertations/1480