Philosophy Lexicon of Arguments

 
S 4 / S 5, logic, philosophy: S 4 and S 5 are modal logical systems that differ in terms of what is expressible in them. The increase in expressiveness is achieved by adding axioms. S 5 results from S 4 by the added axiom Mp > NMp. "What is possible is necessarily possible". See also axioms, axiom systems, modal logic, modalities, stronger/weaker.

_____________
Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments.

 
Author Item Excerpt Meta data

 
Books on Amazon
I 107
System S4/Bigelow/Pargetter: contains T and in addition:

A10 Axiom S4 (Na > Nna)

Everyday language translation: if something has to be true, it must be true that it has to be true.

System B/Brouwer/Bigelow/Pargetter: contains T plus

A11. Axiom B: (a > NMa)

Everyday language translation: if something is true, it must be true that it is possible.

System S4/Bigelow/Pargetter: some of his theorems are not theorems of B, and some of B are not theorems of S4.
With an additional Axiom S5, we can prove both S4 and B as theorems:

A12. Axiom S5: (Ma > NMa)

System S5/Bigelow/Pargetter: contains all theorems of S4 and of B and nothing else.
---
I 108
Systems/Proveability/Bigelow/Pargetter: T plus S5 can prove S4 and B, but also T plus S4 and B together can prove S5.
Nevertheless: T plus S4 without B cannot prove S5
T plus B without S4 cannot prove S5.
Logical necessity/S5/Bigelow/Pargetter: the system S5 is a plausible characterization of the logical necessity.

System S4/Bigelow/Pargetter: when we interpret:
Rhomb/diamond/possibility/M: "cannot be proved by logic alone"
Box/Necessity/N: "can be proved by logic alone"
Then S4 becomes:
Everyday language translation: "If something can be proved by logic alone, then one can prove by logic alone that one can prove it by logic alone".
Bigelow/Pargetter: that is plausible.

System B/Bigelow/Pargetter:
Everyday language translation: "If something is true, one can show with logic alone that it cannot be refuted by logic alone.

System S5/Bigelow/Pargetter:
Everyday language translation: If something cannot be refuted by logic alone, it can be proved by logic alone that it cannot be refuted by logic alone.


_____________
Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.

Big I
J. Bigelow, R. Pargetter
Science and Necessity Cambridge 1990


> Counter arguments against Bigelow

Authors A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  


Concepts A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  



> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
 
Ed. Martin Schulz, access date 2017-09-25