|Logic: logic is the doctrine of the admissibility or inadmissibility of relations between statements and thus the validity of the compositions of these statements. In particular, the question is whether conclusions can be obtained from certain presuppositions such as premises or antecedents. Logical formulas are not interpreted at first. Only the interpretation, i. e. the insertion of values, e.g. objects instead of the free variables, makes the question of their truth meaningful._____________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. |
Logic/natural language/semantics/Cresswell: not every logic can be taken as the basis of semantics: difference Entailment/Consequence: in the natural language, "Monday follows Sunday" must not be taken as a consequence of "Snow is white" - (only formal, not correct content-wise).
Logic/Semantics/entailment/meaning postulates/Cresswell: E.g. meaning postulate: (x) (x is bachelor > x is male) - then the conclusion of "roses are red" and "violets are blue" on roses and violets ..and snow is white" becomes valid ((Vs) - /CresswellVsMeaning postulates - false alignment of entailment and consequence - snow is not white in all possible worlds - solution: possible world semantics - difference between necessary and contingent truths - Quine/Cresswell : This seems to reject analytically/synthetically the distinction together with the distinction._____________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.
M. J. Cresswell
Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988
M. J. Cresswell
Structured Meanings Cambridge Mass. 1984