Necessity, possibility, and possible worlds
13,300 ideas in this topic
3639 of 13300 ideas have perspectives(27%)
L is a proper subset of PSPACE
NP is a proper subset of NEXP
P is a proper subset of EXP
TWO PLAYER SAT is PSPACE-complete
BHP is likely an intrinsically difficult computational problem
Backwards time travel does not entail causal loops
Being and nothing are identical
If P = NP, then whether a mathematical formula is derivable by a proof of feasible length could be determined by an efficient algorithm.
If soul and body are absolutely opposed to one another, then there is no possibility of any community between them.
Indicative conditionals are context-dependent strict conditionals
Invisible physicality must exist.
It cannot be ruled out that the soul is extended.
Modal notions apply to God's activity.
NC is likely properly contained in P (NC ≠ P)
O and S cannot be the same ship
Oscar and Oscar− are distinct at t'
Reasonable models of computation can simulate each other within a polynomially bounded overhead in time and a constant-factor overhead in space (Invariance Thesis).
Resolution is not polynomially bounded as a proof system
"If A, B" is true at world w if and only if B is true at F(A, w), the nearest A-world to w
"Socrates is necessarily running" is the only genuinely modal construction among the three considered
"Water is not H2O" is a metaphysical possibility.
'A can be B' does not necessarily follow from 'A is B'
'Biden might have had three arms' should be analyzed as stating that there is a world containing a three-armed counterpart of Biden.
'Cordate' and 'renate' have different intensions despite sharing the same actual-world reference.
'Every planet lighting our hemisphere can be the sun' is false even though it is in fact the sun which lights our hemisphere
'I am here now' is analytically true in every linguistic context
'I am here now' is contingently true, not necessarily true
'I win a fancy car' is not an outcome in Savage's framework
'The second-largest city in the United States' is not a rigid designator.
'Three-sidedness' is not a real predicate of 'triangle'
knowledge
Justified true belief — true belief that has been arrived at through the exercise of deliberative capacities, including comparison of and deliberation among alternatives.
possible world
A set of compossible essences — a maximal collection of individual natures that can co-exist without contradiction
Identity
A relation between an object and itself, expressed as an atomic formula (a=a), subject to the same existence-entailment conditions as other atomic predicates under GSA
Ontology
The philosophical discipline that tries to answer hard questions about what there really is.
proposition
The content expressed by a sentence, individuated at least in part by the subject matter of the sentence and the contents of its subsentential expressions.
possible worlds
Worlds that have existence in a tenuous sense; fictional worlds used to characterize the nature of possibles that are never actualized
necessary and sufficient conditions
A 'necessary' condition is something that must be true for something else to happen; a 'sufficient' condition is something that guarantees it will happen. This phrase describes what must be true (and what's enough) for a definition to apply.
modal
Dealing with possibility and necessity—questions about what could be true, what must be true, and what's merely contingent (could go either way).
Topics that share ideas with Modality & Possibility
Help Build This Topic
9661 propositions still need supporting arguments.