Philosophy Lexicon of Arguments

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

 
Books on Amazon
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.
---
EMD II 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> intention.
---
EMD II 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).
---
EMD II 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.
---
EMD II 403
Satisfaction: Relation between expressions and other objects: > denotation.


_____________
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.

K I
S.A. Kripke
Name und Notwendigkeit Frankfurt 1981

K III
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

EMD II
G. Evans/J. McDowell
Truth and Meaning Oxford 1977

Ev I
G. Evans
The Varieties of Reference (Clarendon Paperbacks) Oxford 1989


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   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  



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