Journal article icon

Journal article

Conditional excluded middle in systems of consequential implication

Abstract:

It is natural to ask under what conditions negating a conditional is equivalent to negating its consequent. Given a bivalent background logic, this is equivalent to asking about the conjunction of Conditional Excluded Middle (CEM, opposite conditionals are not both false) and Weak Boethius' Thesis (WBT, opposite conditionals are not both true). In the system CI.0 of consequential implication, which is intertranslatable with the modal logic KT, WBT is a theorem, so it is natural to ask which i...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Publisher copy:
10.1007/s10992-005-0555-6

Authors


More by this author
Institution:
Università di Siena, Siena
Department:
Dipartimento di Filosofia e Scienze Sociali
More by this author
Institution:
University of Oxford
Oxford college:
New College
Department:
Humanities Division - Philosophy Faculty
Publisher:
Springer Publisher's website
Journal:
Journal of Philosophical Logic Journal website
Volume:
34
Issue:
4
Pages:
333-362
Publication date:
2005-08-05
DOI:
EISSN:
1573-0433
ISSN:
0022-3611
URN:
uuid:272d7078-4e99-47de-9a63-fef050ed65eb
Local pid:
ora:4047
Language:
English
Keywords:
Subjects:

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP