Disputed term/author/ism | Author Vs Author![]() |
Entry![]() |
Reference![]() |
---|---|---|---|
Ordinary Language | Cresswell Vs Ordinary Language | I 45 Natural language/Logic/Cresswell: Thesis: The analysis only makes progress when it leaves the narrow confines of logic and considers the natural language in all its richness. Here, every word has "its own logic". --- I 46 CresswellVsOxford/CresswellVsOrdinary language philosophy/Cresswell: this may recall the heyday of Oxford. But the difference is that we do not claim the impossibility of formal semantics. Meanwhile, there have been fascinating, albeit frighteningly complex formal semantics. |
Cr I M. J. Cresswell Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988 Cr II M. J. Cresswell Structured Meanings Cambridge Mass. 1984 |
Tarski, A. | Kripke Vs Tarski, A. | III 337 Expansion/Language/Kripke: Here we need Set Theory, at least the sets of the expressions of L. (As Tarski, who is dealing, however,with referential language). DavidsonVsTarski/Kripke: he needs less ontology and less richness of metalanguage. III 367 Substitutional quantification/sQ/KripkeVsTarski: substitution quantification together with the formula Q(p,a) solves Tarski’s problem to define a "true sentence". III 410 Language/Kripke: When a language is introduced, an explicit definition of W is a necessary and sufficient condition that the language has mathematically defined (extensional) semantics. Otherwise, the language can be explained in informal English. The semantics is then intuitive. Before Tarski, semantics have generally been treated that way. Convention T/DavidsonVsTarski/Kripke: for Davidson the axioms must be finite in number. Kripke: his work is much more controversial than that of Tarski. Field I 245 Def disquotational truth/dW/Field: can be defined with the help of substitution quantification (∏/(s): for all sentences, not objects .... is valid) for all sentences, not objects") definiert werden. S is true iff ∏p(if S = "p", p). where "p" sentences are substituents. But which sentences?. Konjunctions/Understanding/Paradoxies/Field: Konjunctions of sentences: makes only sense if the sentences have been understood beforehand, i.e. that the conjunctions themselves (and sentences constructed from them) are not allowed as conjuncts. (>Semantic Paradoxes, (s) >Everything he said is true). Solution: Tarski similar hierarchy of T-predicates. Predicates: then the definition of the dW by substitutional quantification (sQ)is typically ambiguous: each element of the hierarchy is provided by the corresponding sQ. KripkeVsTarski: (Kripke 1975): he is to restrictive for our aim: as such we do not obtain all ueK that we need. Solution/Kripke: others, quasi imprädikative Interpretation von dW. Analog für Field I 246 Substitutional Quantification/sQ/Kripke: Authorizes sentences to be a part of themselves and things, which are build from those sentences, to be conjuncts. However, the truth value of those quasi impredicative conjuncts are to be objectively indeterminate until the truth value is assigned to a certain level. sQ/Field: Allows then ueK without semantic ascent. If we want to talk about the non-linguistic world, why should we use sentences which we do not need?. → sQ: Could then be used as a basic term. → Basic term/Field: This means that a) the basic term is not defined by even more basic termini. → b) the basic term does not try to explain even more basic terms in theory (Field for each a) and b). → If we accept a), we need, however, to explain how the term obtains its meaning. Perhaps from logical laws which regulate its use. If we accept a), it is not a problem to accept b) as well. → Explanation/Field: e.g. the issue regarding mentalistic terms is not to give a meaning, but to show that the term is not primitive (basal). The ideology in logical terms does not need to be reduced that much. |
Kripke I S.A. Kripke Naming and Necessity, Dordrecht/Boston 1972 German Edition: Name und Notwendigkeit Frankfurt 1981 Kripke II Saul A. Kripke "Speaker’s Reference and Semantic Reference", in: Midwest Studies in Philosophy 2 (1977) 255-276 In Eigennamen, Ursula Wolf Frankfurt/M. 1993 Kripke III Saul A. Kripke Is there a problem with substitutional quantification? In Truth and Meaning, G. Evans/J McDowell Oxford 1976 Kripke IV S. A. Kripke Outline of a Theory of Truth (1975) In Recent Essays on Truth and the Liar Paradox, R. L. Martin (Hg) Oxford/NY 1984 Field I H. Field Realism, Mathematics and Modality Oxford New York 1989 Field II H. Field Truth and the Absence of Fact Oxford New York 2001 Field III H. Field Science without numbers Princeton New Jersey 1980 Field IV Hartry Field "Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67 In Theories of Truth, Paul Horwich Aldershot 1994 |
![]() |