FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1978481904> ?p ?o ?g. }

• W1978481904 endingPage "100" @default.
• W1978481904 startingPage "71" @default.
• W1978481904 abstract "In philosophical logic necessity is usually conceived as a sentential operator rather than as a predicate. An intensional sentential operator does not allow one to express quantified statements such as ‘There are necessary a posteriori propositions’ or ‘All laws of physics are necessary’ in first-order logic in a straightforward way, while they are readily formalized if necessity is formalized by a predicate. Replacing the operator conception of necessity by the predicate conception, however, causes various problems and forces one to reject many philosophical accounts involving necessity that are based on the use of operator modal logic. We argue that the expressive power of the predicate account can be restored if a truth predicate is added to the language of first-order modal logic, because the predicate ‘is necessary’ can then be replaced by ‘is necessarily true’. We prove a result showing that this substitution is technically feasible. To this end we provide partial possible-worlds semantics for the language with a predicate of necessity and perform the reduction of necessities to necessary truths. The technique applies also to many other intensional notions that have been analysed by means of modal operators." @default.
• W1978481904 created "2016-06-24" @default.
• W1978481904 creator A5008527817 @default.
• W1978481904 creator A5051447400 @default.
• W1978481904 date "2009-01-01" @default.
• W1978481904 modified "2023-10-01" @default.
• W1978481904 title "Necessities and Necessary Truths: A Prolegomenon to the Use of Modal Logic in the Analysis of Intensional Notions" @default.
• W1978481904 cites W1540055723 @default.
• W1978481904 cites W1562395972 @default.
• W1978481904 cites W1591825827 @default.
• W1978481904 cites W1751175273 @default.
• W1978481904 cites W1978407810 @default.
• W1978481904 cites W1981530143 @default.
• W1978481904 cites W1989383196 @default.
• W1978481904 cites W1991226376 @default.
• W1978481904 cites W1996839580 @default.
• W1978481904 cites W2001650869 @default.
• W1978481904 cites W2008541670 @default.
• W1978481904 cites W2016140875 @default.
• W1978481904 cites W2037209796 @default.
• W1978481904 cites W2037341021 @default.
• W1978481904 cites W2053063233 @default.
• W1978481904 cites W2084618002 @default.
• W1978481904 cites W2088271203 @default.
• W1978481904 cites W2098708384 @default.
• W1978481904 cites W2116326101 @default.
• W1978481904 cites W2117832390 @default.
• W1978481904 cites W2530006810 @default.
• W1978481904 cites W2743117888 @default.
• W1978481904 cites W2888660803 @default.
• W1978481904 cites W46517763 @default.
• W1978481904 cites W611931233 @default.
• W1978481904 cites W653949731 @default.
• W1978481904 cites W2042802456 @default.
• W1978481904 doi "https://doi.org/10.1093/mind/fzn030" @default.
• W1978481904 hasPublicationYear "2009" @default.
• W1978481904 type Work @default.
• W1978481904 sameAs 1978481904 @default.
• W1978481904 citedByCount "19" @default.
• W1978481904 countsByYear W19784819042012 @default.
• W1978481904 countsByYear W19784819042014 @default.
• W1978481904 countsByYear W19784819042015 @default.
• W1978481904 countsByYear W19784819042017 @default.
• W1978481904 countsByYear W19784819042018 @default.
• W1978481904 countsByYear W19784819042019 @default.
• W1978481904 countsByYear W19784819042022 @default.
• W1978481904 countsByYear W19784819042023 @default.
• W1978481904 crossrefType "journal-article" @default.
• W1978481904 hasAuthorship W1978481904A5008527817 @default.
• W1978481904 hasAuthorship W1978481904A5051447400 @default.
• W1978481904 hasConcept C100481476 @default.
• W1978481904 hasConcept C102993220 @default.
• W1978481904 hasConcept C104317684 @default.
• W1978481904 hasConcept C110039528 @default.
• W1978481904 hasConcept C111472728 @default.
• W1978481904 hasConcept C114092440 @default.
• W1978481904 hasConcept C134752490 @default.
• W1978481904 hasConcept C136172866 @default.
• W1978481904 hasConcept C138885662 @default.
• W1978481904 hasConcept C140146324 @default.
• W1978481904 hasConcept C154945302 @default.
• W1978481904 hasConcept C158448853 @default.
• W1978481904 hasConcept C17020691 @default.
• W1978481904 hasConcept C185592680 @default.
• W1978481904 hasConcept C188027245 @default.
• W1978481904 hasConcept C195818886 @default.
• W1978481904 hasConcept C19689857 @default.
• W1978481904 hasConcept C199360897 @default.
• W1978481904 hasConcept C203659156 @default.
• W1978481904 hasConcept C27508121 @default.
• W1978481904 hasConcept C33923547 @default.
• W1978481904 hasConcept C41008148 @default.
• W1978481904 hasConcept C41895202 @default.
• W1978481904 hasConcept C55493867 @default.
• W1978481904 hasConcept C71139939 @default.
• W1978481904 hasConcept C73314972 @default.
• W1978481904 hasConcept C78344899 @default.
• W1978481904 hasConcept C86339819 @default.
• W1978481904 hasConceptScore W1978481904C100481476 @default.
• W1978481904 hasConceptScore W1978481904C102993220 @default.
• W1978481904 hasConceptScore W1978481904C104317684 @default.
• W1978481904 hasConceptScore W1978481904C110039528 @default.
• W1978481904 hasConceptScore W1978481904C111472728 @default.
• W1978481904 hasConceptScore W1978481904C114092440 @default.
• W1978481904 hasConceptScore W1978481904C134752490 @default.
• W1978481904 hasConceptScore W1978481904C136172866 @default.
• W1978481904 hasConceptScore W1978481904C138885662 @default.
• W1978481904 hasConceptScore W1978481904C140146324 @default.
• W1978481904 hasConceptScore W1978481904C154945302 @default.
• W1978481904 hasConceptScore W1978481904C158448853 @default.
• W1978481904 hasConceptScore W1978481904C17020691 @default.
• W1978481904 hasConceptScore W1978481904C185592680 @default.
• W1978481904 hasConceptScore W1978481904C188027245 @default.
• W1978481904 hasConceptScore W1978481904C195818886 @default.
• W1978481904 hasConceptScore W1978481904C19689857 @default.
• W1978481904 hasConceptScore W1978481904C199360897 @default.
• W1978481904 hasConceptScore W1978481904C203659156 @default.
• W1978481904 hasConceptScore W1978481904C27508121 @default.

• next