A Propositional Logic with Relative Identity Connective and a Partial Solution to the Paradox of Analysis期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

A Propositional Logic with Relative Identity Connective and a Partial Solution to the Paradox of Analysis

Authors:	Xuefeng Wen

Affiliation:	(1) Institute of Logic and Cognition, Sun Yat-sen University, Xingang West Road, 510275 Guangzhou, P. R. China;(2) Department of Humanities, National University of Defence Technology, Deya Road, 410073 Changsha, P. R. China

Abstract:	We construct a a system PLRI which is the classical propositional logic supplied with a ternary construction ${alpha equiv_{gamma} beta}$ , interpreted as the intensional identity of statements and in the context . PLRI is a refinement of Roman Suszko’s sentential calculus with identity (SCI) whose identity connective is a binary one. We provide a Hilbert-style axiomatization of this logic and prove its soundness and completeness with respect to some algebraic models. We also show that PLRI can be used to give a partial solution to the paradox of analysis. Presented by Jacek Malinowski

Keywords:	relative identity context paradox of analysis hyperintensional logic
本文献已被 SpringerLink 等数据库收录！