OK

Cookies help us deliver our services. By using our services, you agree to our use of cookies. Learn more

Organon F

Volume 26, August 2019, Issue 3, Pages 427–445

ISSN 2585-7150 (online) ISSN 1335-0668 (print)

Research Article | Special issue on Reflecting on the Legacy of C.I. Lewis: Contemporary and Historical Perspectives on Modal Logic

Alternative Axiomatizations of the Conditional System VC

Claudio E. A. Pizzi

https://doi.org/10.31577/orgf.2019.26305

Abstract

The central result of the paper is an alternative axiomatization of the conditional system VC which does not make use of Conditional Modus Ponens: (A > B) ⊃ (A  B) and of the axiom-schema CS: (A ∧ B) ⊃ (A > B). Essential use is made of two schemata, i.e. X1: (A ∧ ♢A) ⊃ (♢A >< A) and T: □A A, which are subjoined to a basic principle named Int: (A  B) ⊃ (♢A > ♢B). A hierarchy of extensions of the basic system V called VInt, VInt1, VInt1T is then construed and submitted to a semantic analysis. In Section 3 VInt1T is shown to be deductively equivalent to VC. Section 4 shows that in VC the thesis X1 is equivalent to X1∨: (♢A >< A) ∨ (♢¬A >< ¬A), so that VC is also equivalent to a variant of VInt1T here called VInt1To. In Section 6 both X1 and X1∨ offer the basis for a discussion on systems containing CS, in which it is argued that they cannot avoid various kinds of partial or full trivialization of some non truth-functional operators.

Keywords

Conditional logic, centering condition, trivialization, modal collapse.

Author(s) and affiliation(s)

Author

Claudio E. A. Pizzi

Affiliation

University of Siena (Emeritus)

Address

Dipartimento di Scienze Sociali, Politiche e Cognitive, University of Siena, via Roma 56, 53100 Siena, Italy

E-mail

pizzi4@gmail.com

About this article

Received

17 September 2018

Accepted

17 May 2019

Published online

24 August 2019

Publishers

Institute of Philosophy of the Slovak Academy of Sciences

Institute of Philosophy of the Czech Academy of Sciences

Cite as

APA

Pizzi, C.E.A. (2019). Alternative Axiomatizations of the Conditional System VC. Organon F, 26(3), 427–445. https://doi.org/10.31577/orgf.2019.26305

Chicago

Pizzi, Claudio E.A. 2019. "Alternative Axiomatizations of the Conditional System VC." Organon F 26 (3): 427–445. https://doi.org/10.31577/orgf.2019.26305

Harvard

Pizzi, C.E.A. (2019). Alternative Axiomatizations of the Conditional System VC. Organon F, 26(3), pp. 427–445. https://doi.org/10.31577/orgf.2019.26305

Copyright information

© Claudio E. A. Pizzi

Response page

https://www.sav.sk/index.php?lang=sk&doc=journal-list&part=article_response_page&journal_article_no=17325

The above URL is linked with the article's response page. The response page is a permanent location that is associated with the article's DOI number.


This article is distributed under the Creative Commons Attribution-NonCommercial 4.0 International Public License (CC BY-NC 4.0).


Contact

Institute of Philosophy
Slovak Academy of Sciences
Klemensova 19
813 64 Bratislava
Slovak Republic
(+421 2) 5292 1215
FAX (+421 2) 5292 1215

Organon F takes part on the long-term preservation of the digital cultural heritage carried out by the University Library in Bratislava.