-
4Perspectives on Interrogative Models of Inquiry: Developments in Inquiry and Questions (edited book)Springer. 2015.This book explores the two major elements of Hintikka’s model of inquiry: underlying game theoretical motivations and the central role of questioning. The chapters build on the Hintikkan tradition extending Hintikka’s model and present a wide variety of approaches to the philosophy of inquiry from different directions, ranging from erotetic logic to Lakatosian philosophy, from socio-epistemologic approaches to strategic reasoning and mathematical practice. Hintikka's theory of inquiry is a well-…Read more
-
7Introduction to Graham Priest on Dialetheism and ParaconsistencyIn Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer Verlag. pp. 1-2. 2019.
-
25Rohit Parikh on Logic, Language and Society (edited book)Springer Verlag. 2017.This book discusses major milestones in Rohit Jivanlal Parikh’s scholarly work. Highlighting the transition in Parikh’s interest from formal languages to natural languages, and how he approached Wittgenstein’s philosophy of language, it traces the academic trajectory of a brilliant scholar whose work opened up various new avenues in research. This volume is part of Springer’s book series Outstanding Contributions to Logic, and honours Rohit Parikh and his works in many ways. Parikh is a leader i…Read more
-
32Graham Priest on Dialetheism and Paraconsistency (edited book)Springer Verlag. 2019.This book presents the state of the art in the fields of formal logic pioneered by Graham Priest. It includes advanced technical work on the model and proof theories of paraconsistent logic, in contributions from top scholars in the field. Graham Priest’s research has had a considerable influence on the field of philosophical logic, especially with respect to the themes of dialetheism—the thesis that there exist true but inconsistent sentences—and paraconsistency—an account of deduction in which…Read more
-
18Towards Paraconsistent InquiryAustralasian Journal of Logic 13 (2). 2016.In this paper, we discuss Hintikka’s theory of interrogative approach to inquiry with a focus on bracketing. First, we dispute the use of bracketing in the interrogative model of inquiry arguing that bracketing provides an indispensable component of an inquiry. Then, we suggest a formal system based on strategy logic and logic of paradox to describe the epistemic aspects of an inquiry, and obtain a naturally paraconsistent system. We then apply our framework to some cases to illustrate its use.
-
11Some non-classical approaches to the Brandenburger–Keisler paradoxLogic Journal of the IGPL 23 (4): 533-552. 2015.
-
27Some topological properties of paraconsistent modelsSynthese 190 (18): 4023-4040. 2013.In this work, we investigate the relationship between paraconsistent semantics and some well-known topological spaces such as connected and continuous spaces. We also discuss homotopies as truth preserving operations in paraconsistent topological models
-
48Game theoretical semantics for some non-classical logicsJournal of Applied Non-Classical Logics 26 (3): 208-239. 2016.Paraconsistent logics are the formal systems in which absurdities do not trivialise the logic. In this paper, we give Hintikka-style game theoretical semantics for a variety of paraconsistent and non-classical logics. For this purpose, we consider Priest’s Logic of Paradox, Dunn’s First-Degree Entailment, Routleys’ Relevant Logics, McCall’s Connexive Logic and Belnap’s four-valued logic. We also present a game theoretical characterisation of a translation between Logic of Paradox/Kleene’s K3 and…Read more
-
14An Examination of Counterexamples in Proofs and RefutationsPhilosophia Scientiae 13 3-20. 2009.Dans son influent Proofs and Refutations (Preuves et Réfutations), Lakatos introduit les méthodes de preuves et de réfutations en discutant l’histoire et le développement de la formule V — E+F = 2 d’Euler pour les polyèdres en 3 dimensions. Lakatos croyait, en effet, que l’histoire du polyèdre présentait un bon exemple pour sa philosophie et sa méthodologie des mathématiques, incluant la géométrie. Le présent travail met l’accent sur les propriétés mathématiques et topologiques qui sont incorpor…Read more
-
25A History Based Logic for Dynamic Preference UpdatesJournal of Logic, Language and Information 29 (3): 275-305. 2020.History based models suggest a process-based approach to epistemic and temporal reasoning. In this work, we introduce preferences to history based models. Motivated by game theoretical observations, we discuss how preferences can dynamically be updated in history based models. Following, we consider arrow update logic and event calculus, and give history based models for these logics. This allows us to relate dynamic logics of history based models to a broader framework.
-
24An Examination of Counterexamples in Proofs and RefutationsPhilosophia Scientiae 13 (2): 3-20. 2009.Dans son influent Proofs and Refutations (Preuves et Réfutations), Lakatos introduit les méthodes de preuves et de réfutations en discutant l’histoire et le développement de la formule V — E+F = 2 d’Euler pour les polyèdres en 3 dimensions. Lakatos croyait, en effet, que l’histoire du polyèdre présentait un bon exemple pour sa philosophie et sa méthodologie des mathématiques, incluant la géométrie. Le présent travail met l’accent sur les propriétés mathématiques et topologiques qui sont incorpor…Read more
-
49A Yabloesque paradox in epistemic game theorySynthese 195 (1): 441-464. 2018.The Brandenburger–Keisler paradox is a self-referential paradox in epistemic game theory which can be viewed as a two-person version of Russell’s Paradox. Yablo’s Paradox, according to its author, is a non-self referential paradox, which created a significant impact. This paper gives a Yabloesque, non-self-referential paradox for infinitary players within the context of epistemic game theory. The new paradox advances both the Brandenburger–Keisler and Yablo results. Additionally, the paper const…Read more
-
40On knowledge and obligationEpisteme 9 (2): 171-188. 2012.This article provides a brief overview of several formal frameworks concerning the relation between knowledge on the one hand, and obligation on the other. We discuss the paradox of the knower, knowledge based obligation, knowingly doing, deontic dynamic epistemology, descriptive obligations, and responsibilities as dynamic epistemology.
-
14A game theoretical semantics for a logic of formal inconsistencyLogic Journal of the IGPL 28 (5): 936-952. 2020.This paper introduces a game theoretical semantics for a particular logic of formal inconsistency called mbC.
London, England, United Kingdom of Great Britain and Northern Ireland
Areas of Specialization
Logic and Philosophy of Logic |
Areas of Interest
Science, Logic, and Mathematics |
Logic and Philosophy of Logic |