一级犯罪和真相制造者功能

IF 0.7 1区哲学 0 PHILOSOPHY

JOURNAL OF PHILOSOPHICAL LOGIC Pub Date : 2024-02-10 DOI:10.1007/s10992-023-09734-3

Roderick Batchelor

引用次数: 0

摘要

我们定义了真值函数的概念，并证明了一组四值函数的功能完备性，这些函数对应于相关性逻辑系统的标准连接词，即所谓的 "一级关联"（First-Degree Entailment）或 "贝尔纳普-邓恩逻辑"（Belnap-Dunn logic）。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

First-Degree Entailment and Truthmaker Functions

We define a concept of truthmaker function, and prove the functional completeness, w.r.t. truthmaker functions in this sense, of a set of four-valued functions corresponding to standard connectives of the system of relevance logic known as First-Degree Entailment or Belnap–Dunn logic.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

JOURNAL OF PHILOSOPHICAL LOGIC PHILOSOPHY-

CiteScore

2.50

自引率

20.00%

发文量

期刊介绍： The Journal of Philosophical Logic aims to provide a forum for work at the crossroads of philosophy and logic, old and new, with contributions ranging from conceptual to technical. Accordingly, the Journal invites papers in all of the traditional areas of philosophical logic, including but not limited to: various versions of modal, temporal, epistemic, and deontic logic; constructive logics; relevance and other sub-classical logics; many-valued logics; logics of conditionals; quantum logic; decision theory, inductive logic, logics of belief change, and formal epistemology; defeasible and nonmonotonic logics; formal philosophy of language; vagueness; and theories of truth and validity. In addition to publishing papers on philosophical logic in this familiar sense of the term, the Journal also invites papers on extensions of logic to new areas of application, and on the philosophical issues to which these give rise. The Journal places a special emphasis on the applications of philosophical logic in other disciplines, not only in mathematics and the natural sciences but also, for example, in computer science, artificial intelligence, cognitive science, linguistics, jurisprudence, and the social sciences, such as economics, sociology, and political science.