Philosophy Dictionary of Arguments

Home Screenshot Tabelle Begriffe

 
Satisfaction, logic: a formula is satisfied when their variables are interpreted in a way that the formula as a whole is a true statement. The interpretation is a substitution of the variables of the formula by appropriate constants (e.g. names). When the interpreted formula is true, we call it a model. See also satisfiability, models, model theory.

_____________
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 Summary Meta data
I 35
Description is satisfied: an object is the only one to satisfy the description (e.g. champagne).
I 123
It is generally not the case that the reference of a name is determined by identification of the specific characteristics, certain properties that are only satisfied by the reference and of which the speaker knows or believes that they are true.
---
III 374
Satisfaction conditions: must be understood in order to understand open sentences - therefore intentions incomprehensible in open sentences - Definition satisfaction/Kripke (m referential variables.): "(Exi) Rabbit(xi)" iff there is an s" that differs at most from s at the i-th point that satisfies "Rabbit (xi)" - satisfaction, > open sentence, > intension.
III 380
Definition satisfaction/Kripke: "(Exi) rabbit (xi)" iff there is an s" that differs at most from s at the i-th point that satisfies "Rabbit (xi)" - (purely formal).
III 393
Truth/Satisfaction/Definability: truth can only be definable in a metalanguage (for a given referential object language), but satisfaction not because the corresponding ontology cannot be reached in the meta language - e.g. the set of true sentences will be definable in different metalanguages whose ontology is that of the integers (e.g. metalanguage assumes the truth for the object language as a simple predicate) - satisfaction: will not be definable unless the ontology of the object language happens to be one of integers.
III 403
Satisfaction: Relation between expressions and other objects: > Denotation/Kripke.


_____________
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.
The note [Author1]Vs[Author2] or [Author]Vs[term] is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition.

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


Send Link
> Counter arguments against Kripke

Authors A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Y   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  



Ed. Martin Schulz, access date 2021-01-16
Legal Notice   Contact   Data protection declaration