Matches in SemOpenAlex for { <https://semopenalex.org/work/W2080931184> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2080931184 endingPage "1109" @default.
- W2080931184 startingPage "1083" @default.
- W2080931184 abstract "Logics with quantifiers that range over a model-theoretic universe of propositions are interesting for several applications. For example, in the context of epistemic logic the knowledge axioms can be expressed by the single sentences ∀x.(Kix → x), and in a truth-theoretical context an analogue to Tarski's T-scheme can be expressed by the single axiom ∀x.(x:true ↔ x). In this article, we consider a first-order non-Fregean logic, originally developed by Sträter, which has a total truth predicate and is able to model propositional self-reference. We extend this logic by a connective ‘<’ for propositional reference and study semantic aspects. φ < ψ expresses that the proposition denoted by formula ψ says something about (refers to) the proposition denoted by φ. This connective is related to a syntactical reference relation on formulas and to a semantical reference relation on the propositional universe of a given model. Our goal is to construct a canonical model, i.e. a model that establishes an order-isomorphism from the set of sentences (modulo alpha-congruence) to the universe of propositions, where syntactical and semantical reference are the respective orderings. The construction is not trivial because of the impredicativity of quantifiers: the bound variable in ∃x.φ ranges over all propositions, in particular over the proposition denoted by ∃x.φ itself. Our construction combines ideas coming from Sträter's dissertation with the algebraic concept of a canonical domain, which is introduced and studied in this article." @default.
- W2080931184 created "2016-06-24" @default.
- W2080931184 creator A5015019892 @default.
- W2080931184 date "2012-01-13" @default.
- W2080931184 modified "2023-09-26" @default.
- W2080931184 title "Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate" @default.
- W2080931184 cites W1973517051 @default.
- W2080931184 cites W197729581 @default.
- W2080931184 cites W2026457733 @default.
- W2080931184 cites W286019678 @default.
- W2080931184 doi "https://doi.org/10.1093/jigpal/jzr050" @default.
- W2080931184 hasPublicationYear "2012" @default.
- W2080931184 type Work @default.
- W2080931184 sameAs 2080931184 @default.
- W2080931184 citedByCount "6" @default.
- W2080931184 countsByYear W20809311842014 @default.
- W2080931184 countsByYear W20809311842015 @default.
- W2080931184 countsByYear W20809311842019 @default.
- W2080931184 countsByYear W20809311842023 @default.
- W2080931184 crossrefType "journal-article" @default.
- W2080931184 hasAuthorship W2080931184A5015019892 @default.
- W2080931184 hasBestOaLocation W20809311841 @default.
- W2080931184 hasConcept C100481476 @default.
- W2080931184 hasConcept C102993220 @default.
- W2080931184 hasConcept C110039528 @default.
- W2080931184 hasConcept C111472728 @default.
- W2080931184 hasConcept C118615104 @default.
- W2080931184 hasConcept C138885662 @default.
- W2080931184 hasConcept C140146324 @default.
- W2080931184 hasConcept C14523651 @default.
- W2080931184 hasConcept C154945302 @default.
- W2080931184 hasConcept C167729594 @default.
- W2080931184 hasConcept C191222856 @default.
- W2080931184 hasConcept C199360897 @default.
- W2080931184 hasConcept C203659156 @default.
- W2080931184 hasConcept C2524010 @default.
- W2080931184 hasConcept C2777152325 @default.
- W2080931184 hasConcept C33203268 @default.
- W2080931184 hasConcept C33923547 @default.
- W2080931184 hasConcept C37754750 @default.
- W2080931184 hasConcept C41008148 @default.
- W2080931184 hasConcept C46274116 @default.
- W2080931184 hasConcept C69562738 @default.
- W2080931184 hasConcept C73314972 @default.
- W2080931184 hasConcept C74640108 @default.
- W2080931184 hasConceptScore W2080931184C100481476 @default.
- W2080931184 hasConceptScore W2080931184C102993220 @default.
- W2080931184 hasConceptScore W2080931184C110039528 @default.
- W2080931184 hasConceptScore W2080931184C111472728 @default.
- W2080931184 hasConceptScore W2080931184C118615104 @default.
- W2080931184 hasConceptScore W2080931184C138885662 @default.
- W2080931184 hasConceptScore W2080931184C140146324 @default.
- W2080931184 hasConceptScore W2080931184C14523651 @default.
- W2080931184 hasConceptScore W2080931184C154945302 @default.
- W2080931184 hasConceptScore W2080931184C167729594 @default.
- W2080931184 hasConceptScore W2080931184C191222856 @default.
- W2080931184 hasConceptScore W2080931184C199360897 @default.
- W2080931184 hasConceptScore W2080931184C203659156 @default.
- W2080931184 hasConceptScore W2080931184C2524010 @default.
- W2080931184 hasConceptScore W2080931184C2777152325 @default.
- W2080931184 hasConceptScore W2080931184C33203268 @default.
- W2080931184 hasConceptScore W2080931184C33923547 @default.
- W2080931184 hasConceptScore W2080931184C37754750 @default.
- W2080931184 hasConceptScore W2080931184C41008148 @default.
- W2080931184 hasConceptScore W2080931184C46274116 @default.
- W2080931184 hasConceptScore W2080931184C69562738 @default.
- W2080931184 hasConceptScore W2080931184C73314972 @default.
- W2080931184 hasConceptScore W2080931184C74640108 @default.
- W2080931184 hasIssue "6" @default.
- W2080931184 hasLocation W20809311841 @default.
- W2080931184 hasLocation W20809311842 @default.
- W2080931184 hasOpenAccess W2080931184 @default.
- W2080931184 hasPrimaryLocation W20809311841 @default.
- W2080931184 hasRelatedWork W2013680190 @default.
- W2080931184 hasRelatedWork W2080931184 @default.
- W2080931184 hasRelatedWork W2519126157 @default.
- W2080931184 hasRelatedWork W2559789130 @default.
- W2080931184 hasRelatedWork W2899176847 @default.
- W2080931184 hasRelatedWork W2913260702 @default.
- W2080931184 hasRelatedWork W2951006833 @default.
- W2080931184 hasRelatedWork W3202969914 @default.
- W2080931184 hasRelatedWork W4236400184 @default.
- W2080931184 hasRelatedWork W4280624848 @default.
- W2080931184 hasVolume "20" @default.
- W2080931184 isParatext "false" @default.
- W2080931184 isRetracted "false" @default.
- W2080931184 magId "2080931184" @default.
- W2080931184 workType "article" @default.