|Paradoxes: are contradictions within formally correct statements or sets of statements that lead to an existence assumption, which initially seemed plausible, to be withdrawn. Paradoxes are not errors, but challenges that may lead to a re-formulation of the prerequisites and assumptions, or to a change in the language, the subject domain, and the logical system. See also Russellian paradox, contradictions, range, consistency.|
Books on Amazon
Paradox/liar/Cretans/Prior/Cresswell: thesis: the Cretan must, so that he can have said anything (expressed), have said more than one sentence-. ((s) Otherwise the sentence refutes itself and thus logically expresses nothing).
Cresswell II 180ff
Paradox/Cohen/Prior/Cresswell: (Cohen 1957, 225), (Prior 1961). Cohen E.g. When the policeman testifies that everything that the prisoner says is wrong, and the prisoner explains that something that the policeman testified is true, then something that the police officer testified is wrong and something that the prisoner explains, true. - Spelling: d1: -"the policeman testified that: - - d2: the prisoner explains" - logical form: (d1 p(d2p> ~ p) u d2Ep(d1 p up))> (Ep (d1P u ~ p) u Ep (d2p up)) - liar/Prior: d: "was told by a Cretan": dp (dp> ~ p)> (Ep (dp up) and Ep (dp u ~ p)) - (ii) dp (dp> ~ p)> Ep Eq(p unequal q) u dp u dq) - (ii) states that the Cretans must have said at least two things.
Prior I 81
Prior/(s): tautology p > pq Prior reads it like this: p E.g. Say, q: adverb. - E.g. CpAKpqKpNq: if it is the case that p, then either it is the case that p-and-q or it is the case that p-but-not-q - Moore's paradox: the same device can be used for it, I believe that it is raining, but of course it does not rain - philosophers have found it remarkably difficult to explain what is wrong with it - but that happens all the time.
Moore's Paradox/Prior: we only need normal truth and error (error or dishonesty as the only options).
Prior I 85
Preface paradox/Prior: thesis that something is in the book, is not the case, can only be claimed outside of the book - Variant: book with only one sentence: something in this book is wrong: sequence of theorems:. 1. then something is wrong - 2. the say that something is wrong in the book is true - 3. which in turn is true - 4. then something is wrong in the book and something is true ((s) but only a statement) - but then at least two different things are said in the book - by contraposition: if nothing is wrong in the book, except that it is said that something is wrong in the book, then this is not said in the book.
Prior I 88
Preface paradox/Prior: in the book there is something wrong just cannot be the only assertion - but self-reference is not the problem.
Prior I 96f
Preface Paradox/Prior: Parallel/Cohen E.g. if John has a brown cow which is then and only then pregnant if any animal of John is not pregnant, then any animal of John is not pregnant - Proof: e.g. hypothesi : when an animal of John is not pregnant, the cow is pregnant so if the cow is not pregnant, the other animal is pregnant - and therefore (because the cow is only pregnant, when another animal is not, then an animal of John is not pregnant - he must have at least two animals - Prior:. oddly enough, not essential that the pregnant animal must be a brown cow, just so: for x, x means that the sky is blue and x is true, iff grass is green - both elements are quite irrelevant for each other - even for the preface paradox.
Prior I 98
Preface paradox/PriorVsTarski: my concept of truth here non-Tarski: truth is not property of sentences, but of propositions - that means, Quasi properties of quasi-objects - rather adverbs than adjectives. - E.g. truthfully and incorrectly.
Objects of thought Oxford 1971
Arthur N. Prior
Papers on Time and Tense 2nd Edition Oxford 2003
M. J. Cresswell
Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988
M. J. Cresswell
Structured Meanings Cambridge Mass. 1984