Interplays of knowledge and non-contingency
Journal Title: Logic and Logical Philosophy - Year 2016, Vol 25, Issue 4
Abstract
This paper combines a non-contingency logic with an epistemic logic by means of fusions and products of modal systems. Some consequences of these interplays are pointed out.
Authors and Affiliations
Alexandre Costa-Leite
Keywords
Related Articles
- EP ID EP202222
- DOI 10.12775/LLP.2016.015
- Views 69
- Downloads 0
Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry, Springer, 2016
Book Reviews: Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry, Logic, Argumentation & Reasoning, Volume 8, Springer, 2016, vii + 197 pages, ISBN: 978-3-319-20761-2 (Print), 978-3-319-20762-9 (Online)....
Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic
An embedding of many-valued logics based on SIXTEEN in classical higher-order logic is presented. SIXTEEN generalizes the four-valued set of truth degrees of Dunn/Belnap’s system to a lattice of sixteen truth degrees wit...
Refutation Systems for a System of Nonsense-Logic
In the paper rejection systems for a system of nonsense-logic are investigated. The first rejection system consists of four rejected axioms and only one rejection rule - the rule of rejection by detachment. The second o...
A Theory of Propositions
In this paper I present a new theory of propositions, according to which propositions are abstract mathematical objects: well-formed formulas together with models. I distinguish the theory from a number of existing views...
Category Free Category Theory and Its Philosophical Implications
There exists a dispute in philosophy, going back at least to Leibniz, whether is it possible to view the world as a network of relations and relations between relations with the role of objects, between which these relat...