About: Modal collapse

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Modal collapse Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FModal_collapse&invfp=IFP_OFF&sas=SAME_AS_OFF

In modal logic, modal collapse is the condition in which every true statement is necessarily true, and vice versa; that is to say, there are no contingent truths, or to put it another way, that "everything exists necessarily". In the notation of modal logic, this can be written as .

Attributes	Values
rdfs:label	Collasso modale (it) Modal collapse (en)
rdfs:comment	In modal logic, modal collapse is the condition in which every true statement is necessarily true, and vice versa; that is to say, there are no contingent truths, or to put it another way, that "everything exists necessarily". In the notation of modal logic, this can be written as . (en)
dcterms:subject	Theology Philosophical logic Modal logic
Wikipage page ID	70649628 (xsd:integer)
Wikipage revision ID	1114675743 (xsd:integer)
Link from a Wikipage to another Wikipage	Modal logic Theology Free will Philosophical logic Divine freedom Gödel's ontological proof Modal logic Divine simplicity S5 (modal logic) Ontological arguments for the existence of God Necessarily true Contingent truth
sameAs	Modal collapse Modal collapse Modal collapse
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Short_description dbt:Mathlogic-stub dbt:Theology-stub
has abstract	In modal logic, modal collapse is the condition in which every true statement is necessarily true, and vice versa; that is to say, there are no contingent truths, or to put it another way, that "everything exists necessarily". In the notation of modal logic, this can be written as . In the context of philosophy, the term is commonly used in critiques of ontological arguments for the existence of God and the principle of divine simplicity. For example, Gödel's ontological proof contains as a theorem, which combined with the axioms of system S5 leads to modal collapse. Since some regard divine freedom as essential to the nature of God, and modal collapse as negating the concept of free will, this then leads to the breakdown of Gödel's argument. (en)
prov:wasDerivedFrom	wikipedia-en:Modal_collapse?oldid=1114675743&ns=0
page length (characters) of wiki page	3118 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Modal_collapse
is Link from a Wikipage to another Wikipage of	Divine freedom Gödel's ontological proof
is foaf:primaryTopic of	wikipedia-en:Modal_collapse

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software