Philosophy Lexicon of Arguments

Author Item Excerpt Meta data

Books on Amazon
HC I 65
System/Part/Hughes/Cresswell(s):parts of formulas are not themselves parts of the system already to which the formulas belong to - ((s) "p" can never be an axiom, otherwise all sentences would be true.) ---
HC I 237
Non-regular systems/Modal Logic/Hughes/Cresswell: can include formulas of the form p. ~ p - where the eradication of the MO simply results in p, E.g. systems with e.g. C 13 MMp - "no statement is necessarily necessary" - MMp simply results in p - p. ~ p.
I 243
>"Non-normal worlds"/Kripke: (here also assessed with 0) - Definition regular (I 258) is a system in which the modal status is maintained.
HC I 238
Non-regular systems/modal logics/Hughes/Cresswell: Problem: in S1 - S3, neither a nor b are themselves a thesis - they also have no common variable either - Problem in the case of (a v b): could be valid while neither a nor b would be valid. - Solution/Halldén: "normal interpretation": here either a or b is valid, but neither I-a nor I-b is valid - so there are valid formulas that are not theorems.

Cr I
M. J. Cresswell
Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988

M. J. Cresswell
Structured Meanings Cambridge Mass. 1984

> Counter arguments against Cresswell

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