FRINK Linked Data Fragments server

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

• W4283398071 endingPage "925" @default.
• W4283398071 startingPage "907" @default.
• W4283398071 abstract "Abstract The basis of the paper is a logic of analytical consequential implication, CI.0, which is known to be equivalent to the well-known modal system KT thanks to the definition A → B = df A ⥽ B ∧ Ξ (Α, Β), Ξ (Α, Β) being a symbol for what is called here Equimodality Property: (□A ≡ □B) ∧ (◊A ≡ ◊B). Extending CI.0 (=KT) with axioms and rules for the so-called circumstantial operator symbolized by *, one obtains a system CI.0*Eq in whose language one can define an operator ↠ suitable to formalize context-dependent conditionals (so to counterfactual conditionals) via the definition (Def ↠) A ↠ B = df *A ⥽ B ∧ Ξ (Α, Β).. The central problem of the paper is to identify inside CI.0*Eq + Def ↠ a set of axioms yielding the fragment consisting of all and only theorems in which only truth-functional operators and the two operators → and ↠ occur. This system, here called CI.0, is introduced in §3. In view of the intended purpose, it is introduced a complete and tableau-decidable system KTw, which is an extension of KT with axioms for the so-called quasi-variables w(A), w(B)… Three translation functions among the three languages used in the paper are then introduced. The first, Tr, maps every wff of form *A into wffs of form w(A) ∧ A and translates theorems of CI.0*Eq into theorems of KTw. The second, t°, translates theorems of CI.0 into theorems of CI.0*Eq by applying Def↠. A third one, t, translates theorems of CI.0 into theorems of KTw. As a consequence, it follows that t°A = TrtA. In §4 it is proved that CI.0 is complete w.r.t. the class of CI.0-models of form &lt;W, f, R,V &gt; where f is a selection function and R an access relation. It is then proved (i) that CI.0 models may be converted into KTw-models; (ii) that the truth-value of a proposition in a world of a CI.0-model is preserved in the same world of the derived KTw-model; (iii) that A is a CI.0-thesis iff its translation tA is KTw-thesis. It follows that, if A is not a CI.0-thesis, tA is not a KTw-thesis, so also that TrtA is not a CI.0*Eq-thesis. Since t°A = TrtA and t°A is a function built on Def↠, this proves that every t°-translation of a CI.0-wff that is a CI.0*Eq-theorem is a CI.0-theorem. Since the converse proposition is proved in §2, their conjunction establishes the desired result. In the final section, it is proved that CI.0 is tableau-decidable, that ↠ is not a trivial operator and that ↠ enjoys the positive and negative properties required in §1 for context-dependent conditionals. Some final remarks suggest that studying the relations between CI.0 and systems of classical conditional logic may be a promising line of investigation." @default.
• W4283398071 created "2022-06-25" @default.
• W4283398071 creator A5041607138 @default.
• W4283398071 date "2022-06-23" @default.
• W4283398071 modified "2023-10-16" @default.
• W4283398071 title "Axioms for a Logic of Consequential Counterfactuals" @default.
• W4283398071 cites W1550802026 @default.
• W4283398071 cites W1976964220 @default.
• W4283398071 cites W1985316529 @default.
• W4283398071 cites W1986194052 @default.
• W4283398071 cites W1989865739 @default.
• W4283398071 cites W1995575236 @default.
• W4283398071 cites W2001386903 @default.
• W4283398071 cites W2026690600 @default.
• W4283398071 cites W2043006246 @default.
• W4283398071 cites W2051375518 @default.
• W4283398071 cites W2074102547 @default.
• W4283398071 cites W2080142817 @default.
• W4283398071 cites W2118693356 @default.
• W4283398071 cites W2159304001 @default.
• W4283398071 cites W2323421626 @default.
• W4283398071 cites W2578368570 @default.
• W4283398071 cites W2748256721 @default.
• W4283398071 cites W2765653528 @default.
• W4283398071 cites W3216921040 @default.
• W4283398071 cites W4245674526 @default.
• W4283398071 cites W4249878009 @default.
• W4283398071 cites W4255883872 @default.
• W4283398071 cites W2119049532 @default.
• W4283398071 doi "https://doi.org/10.1093/jigpal/jzac052" @default.
• W4283398071 hasPublicationYear "2022" @default.
• W4283398071 type Work @default.
• W4283398071 citedByCount "0" @default.
• W4283398071 crossrefType "journal-article" @default.
• W4283398071 hasAuthorship W4283398071A5041607138 @default.
• W4283398071 hasConcept C104317684 @default.
• W4283398071 hasConcept C118615104 @default.
• W4283398071 hasConcept C153269930 @default.
• W4283398071 hasConcept C158448853 @default.
• W4283398071 hasConcept C167729594 @default.
• W4283398071 hasConcept C17020691 @default.
• W4283398071 hasConcept C185592680 @default.
• W4283398071 hasConcept C202444582 @default.
• W4283398071 hasConcept C2524010 @default.
• W4283398071 hasConcept C33923547 @default.
• W4283398071 hasConcept C55493867 @default.
• W4283398071 hasConcept C86339819 @default.
• W4283398071 hasConceptScore W4283398071C104317684 @default.
• W4283398071 hasConceptScore W4283398071C118615104 @default.
• W4283398071 hasConceptScore W4283398071C153269930 @default.
• W4283398071 hasConceptScore W4283398071C158448853 @default.
• W4283398071 hasConceptScore W4283398071C167729594 @default.
• W4283398071 hasConceptScore W4283398071C17020691 @default.
• W4283398071 hasConceptScore W4283398071C185592680 @default.
• W4283398071 hasConceptScore W4283398071C202444582 @default.
• W4283398071 hasConceptScore W4283398071C2524010 @default.
• W4283398071 hasConceptScore W4283398071C33923547 @default.
• W4283398071 hasConceptScore W4283398071C55493867 @default.
• W4283398071 hasConceptScore W4283398071C86339819 @default.
• W4283398071 hasIssue "5" @default.
• W4283398071 hasLocation W42833980711 @default.
• W4283398071 hasOpenAccess W4283398071 @default.
• W4283398071 hasPrimaryLocation W42833980711 @default.
• W4283398071 hasRelatedWork W1559057686 @default.
• W4283398071 hasRelatedWork W1581869334 @default.
• W4283398071 hasRelatedWork W1589699265 @default.
• W4283398071 hasRelatedWork W2020762354 @default.
• W4283398071 hasRelatedWork W2091330336 @default.
• W4283398071 hasRelatedWork W2104190504 @default.
• W4283398071 hasRelatedWork W2404739533 @default.
• W4283398071 hasRelatedWork W2546140208 @default.
• W4283398071 hasRelatedWork W255137432 @default.
• W4283398071 hasRelatedWork W2771865035 @default.
• W4283398071 hasVolume "31" @default.
• W4283398071 isParatext "false" @default.
• W4283398071 isRetracted "false" @default.
• W4283398071 workType "article" @default.