S Bonzio,V Fano,P Graziani et al.
S Bonzio et al.
In the logical context, ignorance is traditionally defined recurring to epistemic logic. In particular, ignorance is essentially interpreted as "lack of knowledge". This received view has - as we point out - some problems, in particular we ...
Francesco Berto,Rohan French,Graham Priest et al.
Francesco Berto et al.
A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that ...
Principles for Object-Linguistic Consequence: from Logical to Irreflexive [0.03%]
从逻辑的到不可反射的：对象语言后果原则
Carlo Nicolai,Lorenzo Rossi
Carlo Nicolai
We discuss the principles for a primitive, object-linguistic notion of consequence proposed by (Beall and Murzi, Journal of Philosophy, 3 pp. 143-65 (2013)) that yield a version of Curry's paradox. We propose and study several strategies to...
Alexandru Baltag,Nick Bezhanishvili,Aybüke Özgün et al.
Alexandru Baltag et al.
Stalnaker (Philosophical Studies, 128(1), 169-199 2006) introduced a combined epistemic-doxastic logic that can formally express a strong concept of belief, a concept of belief as 'subjective certainty'. In this paper, we provide a topologi...
Guillermo Badia
Guillermo Badia
This paper defines a Sahlqvist fragment for relevant logic and establishes that each class of frames in the Routley-Meyer semantics which is definable by a Sahlqvist formula is also elementary, that is, it coincides with the class of struct...
Emar Maier
Emar Maier
A number of puzzles about propositional attitudes in semantics and philosophy revolve around apparent referential dependencies between different attitudes within a single agent's mental state. In a series of papers, Hans Kamp (2003… 2015) ...
BH-CIFOL: Case-Intensional First Order Logic: (II) Branching Histories [0.03%]
BH-CIFOL：案例介意命题逻辑：（二）分支历史事件
Nuel Belnap,Thomas Müller
Nuel Belnap
This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller (2013)). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cas...