Philosophy Lexicon of Arguments

 
Barcan formula: claims that from the fact that it is possible that an object has a certain property it follows that this object exists. The formula is valid only in a few systems. See also modal logic.

_____________
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 Excerpt Meta data

 
Books on Amazon
I 150
Barcan-Formula/BF/Stalnaker : involves the interaction of the universal quantifier with the necessity operator : (BF ) " NF x ^ > N " x ^ F - converse: (CBF) N " F ^ x > " x ^ NF - Kripke 1963), its semantics showed that semantic assumptions are also needed. He showed a fallacy in the proofs that they supposedly deduced in which these assumptions were missing - it is valid if wuU , Du < Dw means if the subject matter of the accessible powo is a subset of the range of the output powo is - vice versa for the converse -> qualified converse of BF / Stalnaker : with existence adoption - ( QCBF ) N "x ^ F> " x ^ N ex > F) - existence predicate e: Ey ^ (x = y ) -
I 151
Barcan-Formula/qualified converse / Stalnaker : if in poss.wrld. w it is necessary that everything satisfies F, then everything must exist in w, F meet in any accessible poss.wrld. this individual exists - that is valid in our semantics but no theorem - because it is a variant of the invalid semantics - this is what we examine here.


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

Sta I
R. Stalnaker
Ways a World may be Oxford New York 2003


> Counter arguments against Stalnaker

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