Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
A logic of hypothetical conjunction
View through CrossRef
Abstract
A binary connective that can be read as a matching conjunction for conditional connectives found in many conditional logics is considered. The most natural way to read this connective is often as a conjunction and yet, hypothetically, considered to hold of a state of affairs that could be obtained under the hypothesis. The connective can be given an intensional semantics extending a standard semantics of conditional logic that uses propositionally indexed families of binary relations on possible worlds. This semantics is determined by an adjoint relationship between the operations supporting the semantics of the conditional and the new conjunction. The semantics of the hypothetical conjunction connective subsumes the semantics, supported by a ternary relation semantics, of the fusion connective that arises in connection with substructural and relevant logics, and therefore subsumes a number of other forms of conjunction. A number of applications of the hypothetical conjunction connective are discussed, including generalized forms of resource reasoning used in computer science applications.
Title: A logic of hypothetical conjunction
Description:
Abstract
A binary connective that can be read as a matching conjunction for conditional connectives found in many conditional logics is considered.
The most natural way to read this connective is often as a conjunction and yet, hypothetically, considered to hold of a state of affairs that could be obtained under the hypothesis.
The connective can be given an intensional semantics extending a standard semantics of conditional logic that uses propositionally indexed families of binary relations on possible worlds.
This semantics is determined by an adjoint relationship between the operations supporting the semantics of the conditional and the new conjunction.
The semantics of the hypothetical conjunction connective subsumes the semantics, supported by a ternary relation semantics, of the fusion connective that arises in connection with substructural and relevant logics, and therefore subsumes a number of other forms of conjunction.
A number of applications of the hypothetical conjunction connective are discussed, including generalized forms of resource reasoning used in computer science applications.
Related Results
Greek and Roman Logic
Greek and Roman Logic
In ancient philosophy, there is no discipline called “logic” in the contemporary sense of “the study of formally valid arguments.” Rather, once a subfield of philosophy comes to be...
Rationality and Logic
Rationality and Logic
An argument that logic is intrinsically psychological and human psychology is intrinsically logical, and that the connection between human rationality and logic is both constitutiv...
A logic of defeasible argumentation: Constructing arguments in justification logic
A logic of defeasible argumentation: Constructing arguments in justification logic
In the 1980s, Pollock’s work on default reasons started the quest in the AI community for a formal system of defeasible argumentation. The main goal of this paper is to provide a l...
Magnetization dynamics in ferromagnetic coupling interconnect wire using multiferroic logic scheme
Magnetization dynamics in ferromagnetic coupling interconnect wire using multiferroic logic scheme
Nowadays, the intense research effort is focused on exploring alternative emerging device to perform binary logical function. A promising device technology is multiferroic nanomagn...
PENGGUNAAN KONJUNGSI KOORDINATIF DALAM BERITA EDITORIAL SURAT KABAR TRIBUN JAMBI BULAN JANUARI 2019
PENGGUNAAN KONJUNGSI KOORDINATIF DALAM BERITA EDITORIAL SURAT KABAR TRIBUN JAMBI BULAN JANUARI 2019
The purpose of this research is to describe the use of coordinating conjunction on editorial news of Tribun Jambi January 2019. This research uses qualitative descriptive method. ...
Simulation of load‐current‐controlled gaas logic circuits
Simulation of load‐current‐controlled gaas logic circuits
AbstractSince the mobility of the hole is low in GaAs, P‐channel MESFET is of low speed. This makes it difficult to utilize the feature of the complementary logic circuit. Conseque...
Sample logic
Sample logic
Abstract
The need for a ‘many-valued logic’ in linguistics has been evident since the 1970s, but there was lack of clarity as to whether it should come from the fami...
Tinjauan Mendalam Terhadap Peran Logika Dalam Pemikiran Dan Penalaran Manusia
Tinjauan Mendalam Terhadap Peran Logika Dalam Pemikiran Dan Penalaran Manusia
Logic is an important foundation in human thinking and reasoning. In this review, we will examine the role of logic in the context of human thought, both in everyday life and in sc...