Matches in SemOpenAlex for { <https://semopenalex.org/work/W1684098279> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1684098279 abstract "Contemporary use of the term 'intension' derives from the traditional logical Frege-Russell's doctrine that an idea (logic formula) has both an extension and an intension. From the Montague's point of view, the meaning of an idea can be considered as particular extensions in different possible worlds. In this paper we analyze the minimal intensional semantic enrichment of the syntax of the FOL language, by unification of different views: Tarskian extensional semantics of the FOL, modal interpretation of quantifiers, and a derivation of the Tarskian theory of truth from unified semantic theory based on a single meaning relation. We show that not all modal predicate logics are intensional, and that an equivalent modal Kripke's interpretation of logic quantifiers in FOL results in a particular pure extensional modal predicate logic (as is the standard Tarskian semantics of the FOL). This minimal intensional enrichment is obtained by adopting the theory of properties, relations and propositions (PRP) as the universe or domain of the FOL, composed by particulars and universals (or concepts), with the two-step interpretation of the FOL that eliminates the weak points of the Montague's intensional semantics. Differently from the Bealer's intensional FOL, we show that it is not necessary the introduction of the intensional abstraction in order to obtain the full intensional properties of the FOL. Final result of this paper is represented by the commutative homomorphic diagram that holds in each given possible world of this new intensional FOL, from the free algebra of the FOL syntax, toward its intensional algebra of concepts, and, successively, to the new extensional relational algebra (different from Cylindric algebras), and we show that it corresponds to the Tarski's interpretation of the standard extensional FOL in this possible world." @default.
- W1684098279 created "2016-06-24" @default.
- W1684098279 creator A5068834489 @default.
- W1684098279 date "2011-03-03" @default.
- W1684098279 modified "2023-09-27" @default.
- W1684098279 title "First-order Logic: Modality and Intensionality" @default.
- W1684098279 cites W1492582005 @default.
- W1684098279 cites W1494857846 @default.
- W1684098279 cites W1527127371 @default.
- W1684098279 cites W1546480956 @default.
- W1684098279 cites W1974358179 @default.
- W1684098279 cites W1979966822 @default.
- W1684098279 cites W1989040088 @default.
- W1684098279 cites W1989383196 @default.
- W1684098279 cites W1991650963 @default.
- W1684098279 cites W20023875 @default.
- W1684098279 cites W2005814072 @default.
- W1684098279 cites W2007120640 @default.
- W1684098279 cites W2033280141 @default.
- W1684098279 cites W2063981788 @default.
- W1684098279 cites W2079424001 @default.
- W1684098279 cites W2107171883 @default.
- W1684098279 cites W2155535944 @default.
- W1684098279 cites W2160745555 @default.
- W1684098279 cites W2221226320 @default.
- W1684098279 cites W2232005191 @default.
- W1684098279 cites W2326782302 @default.
- W1684098279 cites W2624176206 @default.
- W1684098279 cites W2798598542 @default.
- W1684098279 cites W2988119170 @default.
- W1684098279 cites W88769070 @default.
- W1684098279 cites W90767008 @default.
- W1684098279 hasPublicationYear "2011" @default.
- W1684098279 type Work @default.
- W1684098279 sameAs 1684098279 @default.
- W1684098279 citedByCount "3" @default.
- W1684098279 countsByYear W16840982792014 @default.
- W1684098279 crossrefType "posted-content" @default.
- W1684098279 hasAuthorship W1684098279A5068834489 @default.
- W1684098279 hasConcept C138885662 @default.
- W1684098279 hasConcept C140146324 @default.
- W1684098279 hasConcept C185592680 @default.
- W1684098279 hasConcept C188027245 @default.
- W1684098279 hasConcept C193125573 @default.
- W1684098279 hasConcept C199360897 @default.
- W1684098279 hasConcept C27508121 @default.
- W1684098279 hasConcept C33923547 @default.
- W1684098279 hasConcept C41008148 @default.
- W1684098279 hasConcept C41895202 @default.
- W1684098279 hasConcept C527412718 @default.
- W1684098279 hasConcept C60048249 @default.
- W1684098279 hasConcept C71139939 @default.
- W1684098279 hasConceptScore W1684098279C138885662 @default.
- W1684098279 hasConceptScore W1684098279C140146324 @default.
- W1684098279 hasConceptScore W1684098279C185592680 @default.
- W1684098279 hasConceptScore W1684098279C188027245 @default.
- W1684098279 hasConceptScore W1684098279C193125573 @default.
- W1684098279 hasConceptScore W1684098279C199360897 @default.
- W1684098279 hasConceptScore W1684098279C27508121 @default.
- W1684098279 hasConceptScore W1684098279C33923547 @default.
- W1684098279 hasConceptScore W1684098279C41008148 @default.
- W1684098279 hasConceptScore W1684098279C41895202 @default.
- W1684098279 hasConceptScore W1684098279C527412718 @default.
- W1684098279 hasConceptScore W1684098279C60048249 @default.
- W1684098279 hasConceptScore W1684098279C71139939 @default.
- W1684098279 hasLocation W16840982791 @default.
- W1684098279 hasOpenAccess W1684098279 @default.
- W1684098279 hasPrimaryLocation W16840982791 @default.
- W1684098279 hasRelatedWork W109918037 @default.
- W1684098279 hasRelatedWork W1242562868 @default.
- W1684098279 hasRelatedWork W1488544320 @default.
- W1684098279 hasRelatedWork W1505743816 @default.
- W1684098279 hasRelatedWork W1760954332 @default.
- W1684098279 hasRelatedWork W1871349904 @default.
- W1684098279 hasRelatedWork W1975223030 @default.
- W1684098279 hasRelatedWork W2008685607 @default.
- W1684098279 hasRelatedWork W2011006610 @default.
- W1684098279 hasRelatedWork W2024878280 @default.
- W1684098279 hasRelatedWork W2030002668 @default.
- W1684098279 hasRelatedWork W2057759431 @default.
- W1684098279 hasRelatedWork W2059257845 @default.
- W1684098279 hasRelatedWork W2079077049 @default.
- W1684098279 hasRelatedWork W2278216746 @default.
- W1684098279 hasRelatedWork W2290996099 @default.
- W1684098279 hasRelatedWork W2776389421 @default.
- W1684098279 hasRelatedWork W29657123 @default.
- W1684098279 hasRelatedWork W3047120837 @default.
- W1684098279 hasRelatedWork W3191320734 @default.
- W1684098279 isParatext "false" @default.
- W1684098279 isRetracted "false" @default.
- W1684098279 magId "1684098279" @default.
- W1684098279 workType "article" @default.