Relating Semantics as Fine-Grained Semantics for Intensional Logics

Jarmużek, Tomasz

doi:10.1007/978-3-030-53487-5_2

Cited by 17 publications

(34 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…1 Such a semantics enables one to consider in a straightforward way various relationships that may have an impact on the interpretation of complex propositions built by various connectives (cf. [4], [5, p. 54], [6,7]). Examples of such relationships might be temporal order, content dependence or causality.…”

Section: ¬(¬A → A) ( a 2 ) (A → B) → ¬(A → ¬B) ( B 1 ) (A → ¬B) → ¬(A → B) (B2)mentioning

confidence: 99%

Axiomatization of Some Basic and Modal Boolean Connexive Logics

Klonowski

2021

Log. Univers.

View full text Add to dashboard Cite

Boolean connexive logic is an extension of Boolean logic that is closed under Modus Ponens and contains Aristotle’s and Boethius’ theses. According to these theses (i) a sentence cannot imply its negation and the negation of a sentence cannot imply the sentence; and (ii) if the antecedent implies the consequent, then the antecedent cannot imply the negation of the consequent and if the antecedent implies the negation of the consequent, then the antecedent cannot imply the consequent. Such a logic was first introduced by Jarmużek and Malinowski, by means of so-called relating semantics and tableau systems. Subsequently its modal extension was determined by means of the combination of possible-worlds semantics and relating semantics. In the following article we present axiomatic systems of some basic and modal Boolean connexive logics. Proofs of completeness will be carried out using canonical models defined with respect to maximal consistent sets.

show abstract

Section: ¬(¬A → A) ( a 2 ) (A → B) → ¬(A → ¬B) ( B 1 ) (A → ¬B) → ¬(A → B) (B2)mentioning

confidence: 99%

Axiomatization of Some Basic and Modal Boolean Connexive Logics

Klonowski

2021

Log. Univers.

View full text Add to dashboard Cite

show abstract

“…The above presented semantics constitute a particular combination of the possible-worlds semantics with the relating semantics. The semantics of the latter type were discussed in detail in [9], and its specific cases in [11]. The basis of such semantics is the evaluation of connection, i.e.…”

Section: Relating Deontic Logicmentioning

confidence: 99%

“…A more general approach -where the starting point are models containing all binary relations specified on the set of formulas -proposed by Jarmużek and Kaczkowski [10] and explored by Jarmużek and Klonowski [12] (cf. [9]).…”

Section: Relating Deontic Logicmentioning

confidence: 99%

“…Since all the components of such a theory are elements of empirical reality, the result is a naturalistic stance. 9 The combination of naturalism with the non-linguistic concept of norms results in a coherent metaethical stance, which Woleński combines with the classical approach to the deontic sentences expressed in SDL. Such a combination is not necessary, but constitutes a certain methodological requirement respected by Woleński on many other occasions: a philosophical stance should be consistent with the basic logical representation of given concepts, e.g.…”

Section: ]mentioning

confidence: 99%

“…In the paper, we limit ourselves merely to deontic logic, to the normative concepts analysed herein, while omitting what is also the subject of Jan Woleński's analyses and also find formal representations (often very close to deontic ones), that is, imperative and bonitive sentences, or more broadly: axiological ones. At the same time, we omit many formal details related to the relating deontic logic, or more broadly to the relating logic as such, see [9], [10], [12].…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Deontic Relationship in the Context of Jan Woleński’s Metaethical Naturalism

2020

Self Cite

View full text Add to dashboard Cite

In this paper, we indicate how Jan Woleński’s non-linguistic concept of the norm allows us to clarify the deontic relationship between sentences and the given normative system. A relationship of this kind constitutes a component of the metalogic of relating deontic logic, which subjects the logical value of the deontic sentence to the logical value of the constituent sentence and its relationship with a given normative system in the accessible possible worlds.

show abstract

$$\varvec{Brings~It~About~That}$$ Operators Decomposed with Relating Semantics

2023

View full text Add to dashboard Cite

In the paper we examine the problem of logical systems that are extensions of Classical Propositional Logic with new, intensional connectives of agency: monadic and dyadic bringing it about that. These systems are usually studied within the neighbourhood semantics. Here we propose a different strategy. We study all of the accepted laws and rules of logic of agency and define a translation of the agency operators into connectives interpreted in relating semantics. After this translation we can make a reduction to more basic semantic properties that are required by the particular groups of laws and axioms. Finally, we define proper semantic structures and prove that they are complete with respect to all possible logical systems determined by the combinations of the axioms and rules.

show abstract

Relating Semantics as Fine-Grained Semantics for Intensional Logics

Cited by 17 publications

References 8 publications

Axiomatization of Some Basic and Modal Boolean Connexive Logics

Axiomatization of Some Basic and Modal Boolean Connexive Logics

Deontic Relationship in the Context of Jan Woleński’s Metaethical Naturalism

$$\varvec{Brings~It~About~That}$$ Operators Decomposed with Relating Semantics

Contact Info

Product

Resources

About