2 results
Second-Order Modal Logic
- Part of
- Andrew Parisi
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 28 February 2022, pp. 530-531
- Print publication:
- December 2021
-
- Article
-
- You have access Access
- Export citation
-
The dissertation introduces new sequent-calculi for free first- and second-order logic, and a hyper-sequent calculus for modal logics K, D, T, B, S4, and S5; to attain the calculi for the stronger modal logics, only external structural rules need to be added to the calculus for K, while operational and internal structural rules remain the same. Completeness and cut-elimination are proved for all calculi presented.
Philosophically, the dissertation develops an inferentialist, or proof-theoretic, 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. 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.
Abstract prepared by Andrew Parisi
E-mail: andrew.p.parisi@gmail.com
Contributors
-
- By Jane E. Adcock, Yahya Aghakhani, A. Anand, Eva Andermann, Frederick Andermann, Alexis Arzimanoglou, Sandrine Aubert, Nadia Bahi-Buisson, Carman Barba, Agatino Battaglia, Geneviève Bernard, Nadir E. Bharucha, Laurence A. Bindoff, William Bingaman, Francesca Bisulli, Thomas P. Bleck, Stewart G. Boyd, Andreas Brunklaus, Harry Bulstrode, Jorge G. Burneo, Laura Canafoglia, Laura Cantonetti, Roberto H. Caraballo, Fernando Cendes, Kevin E. Chapman, Patrick Chauvel, Richard F. M. Chin, H. T. Chong, Fahmida A. Chowdhury, Catherine J. Chu-Shore, Rolando Cimaz, Andrew J. Cole, Bernard Dan, Geoffrey Dean, Alessio De Ciantis, Fernando De Paolis, Rolando F. Del Maestro, Irissa M. Devine, Carlo Di Bonaventura, Concezio Di Rocco, Henry B. Dinsdale, Maria Alice Donati, François Dubeau, Michael Duchowny, Olivier Dulac, Monika Eisermann, Brent Elliott, Bernt A. Engelsen, Kevin Farrell, Natalio Fejerman, Rosalie E. Ferner, Silvana Franceschetti, Robert Friedlander, Antonio Gambardella, Hector H. Garcia, Serena Gasperini, Lorenzo Genitori, Gioia Gioi, Flavio Giordano, Leif Gjerstad, Daniel G. Glaze, Howard P. Goodkin, Sidney M. Gospe, Andrea Grassi, William P. Gray, Renzo Guerrini, Marie-Christine Guiot, William Harkness, Andrew G. Herzog, Linda Huh, Margaret J. Jackson, Thomas S. Jacques, Anna C. Jansen, Sigmund Jenssen, Michael R. Johnson, Dorothy Jones-Davis, Reetta Kälviäinen, Peter W. Kaplan, John F. Kerrigan, Autumn Marie Klein, Matthias Koepp, Edwin H. Kolodny, Kandan Kulandaivel, Ruben I. Kuzniecky, Ahmed Lary, Yolanda Lau, Anna-Elina Lehesjoki, Maria K. Lehtinen, Holger Lerche, Michael P. T. Lunn, Snezana Maljevic, Mark R. Manford, Carla Marini, Bindu Menon, Giulia Milioli, Eli M. Mizrahi, Manish Modi, Márcia Elisabete Morita, Manuel Murie-Fernandez, Vivek Nambiar, Lina Nashef, Vincent Navarro, Aidan Neligan, Ruth E. Nemire, Charles R. J. C. Newton, John O'Donavan, Hirokazu Oguni, Teiichi Onuma, Andre Palmini, Eleni Panagiotakaki, Pasquale Parisi, Elena Parrini, Liborio Parrino, Ignacio Pascual-Castroviejo, M. Scott Perry, Perrine Plouin, Charles E. Polkey, Suresh S. Pujar, Karthik Rajasekaran, R. Eugene Ramsey, Rahul Rathakrishnan, Roberta H. Raven, Guy M. Rémillard, David Rosenblatt, M. Elizabeth Ross, Abdulrahman Sabbagh, P. Satishchandra, Swati Sathe, Ingrid E. Scheffer, Philip A. Schwartzkroin, Rod C. Scott, Frédéric Sedel, Michelle J. Shapiro, Elliott H. Sherr, Michael Shevell, Simon D. Shorvon, Adrian M. Siegel, Gagandeep Singh, S. Sinha, Barbara Spacca, Waney Squier, Carl E. Stafstrom, Bernhard J. Steinhoff, Andrea Taddio, Gianpiero Tamburrini, C. T. Tan, Raymond Y. L. Tan, Erik Taubøll, Robert W. Teasell, Mario Giovanni Terzano, Federica Teutonico, Suzanne A. Tharin, Elizabeth A. Thiele, Pierre Thomas, Paolo Tinuper, Dorothée Kasteleijn-Nolst Trenité, Sumeet Vadera, Pierangelo Veggiotti, Jean-Pierre Vignal, J. M. Walshe, Elizabeth J. Waterhouse, David Watkins, Ruth E. Williams, Yue-Hua Zhang, Benjamin Zifkin, Sameer M. Zuberi
- Edited by Simon D. Shorvon, Frederick Andermann, Renzo Guerrini
-
- Book:
- The Causes of Epilepsy
- Published online:
- 05 March 2012
- Print publication:
- 14 April 2011, pp ix-xvi
-
- Chapter
- Export citation