17 found
Order:
  1.  92
    Graham Priest on Dialetheism and Paraconsistency.Can Başkent & Thomas Macaulay Ferguson (eds.) - 2019 - Cham, Switzerland: Springer Verlag.
    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 contradictory premises do not entail (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  79
    Game theoretical semantics for some non-classical logics.Can Başkent - 2016 - Journal of Applied Non-Classical Logics 26 (3):208-239.
    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 S5. We underline how non-classical logics require different verification games and prove (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  28
    A game theoretical semantics for a logic of formal inconsistency.Can Başkent & Pedro Henrique Carrasqueira - 2020 - Logic Journal of the IGPL 28 (5):936-952.
    This paper introduces a game theoretical semantics for a particular logic of formal inconsistency called mbC.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  41
    Some topological properties of paraconsistent models.Can Başkent - 2013 - Synthese 190 (18):4023-4040.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  16
    Introduction to Graham Priest on Dialetheism and Paraconsistency.Thomas Macaulay Ferguson & Can Başkent - 2019 - In Can Başkent & Thomas Macaulay Ferguson, Graham Priest on Dialetheism and Paraconsistency. Cham, Switzerland: Springer Verlag. pp. 1-2.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  19
    Truth diagrams for some non-classical and modal logics.Can Başkent - 2024 - Journal of Applied Non-Classical Logics 34 (4):527-560.
    This paper examines truth diagrams for some non-classical, modal and dynamic logics. Truth diagrams are diagrammatic and visual ways to represent logical truth akin to truth tables, developed by Peter C.-H. Cheng. Currently, it is only given for classical propositional logic. In this paper, we establish truth diagrams for Priest's Logic of Paradox, Belnap–Dunn's Four-Valued Logic, MacColl's Connexive Logic, Bochvar–Halldén's Logic of Non-Sense, Carnielli–Coniglio's logic of formal inconsistency as well as classical modal logic and its dynamic extension to shed light (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  14
    Truth diagrams for some non-classical and modal logics.Can Başkent - 2024 - Journal of Applied Non-Classical Logics 34 (4).
    Volume 34, Issue 4, December 2024, Page 527-560.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8. A Non-classical Logical Approach to Social Software.Can Başkent - 2017 - In Ramaswamy Ramanujam, Lawrence Moss & Can Başkent, Rohit Parikh on Logic, Language and Society. Cham, Switzerland: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  9.  83
    An Examination of Counterexamples in Proofs and Refutations.Samet Bağçe & Can Başkent - 2009 - Philosophia Scientiae 13 (2):3-20.
    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ées dans l’approche méthodologique de Lakatos. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  31
    Some non-classical approaches to the Brandenburger–Keisler paradox.Can Başkent - 2015 - Logic Journal of the IGPL 23 (4):533-552.
  11.  5
    Truth diagrams for some non-classical and modal logics.Can Başkent - 2024 - Journal of Applied Non-Classical Logics 34 (4):527-560.
    Volume 34, Issue 4, December 2024, Page 527-560.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  71
    On knowledge and obligation.Can Başķent, Loes Olde Loohuis & Rohit Parikh - 2012 - Episteme 9 (2):171-188.
    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.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  13.  51
    A History Based Logic for Dynamic Preference Updates.Can Başkent & Guy McCusker - 2020 - Journal of Logic, Language and Information 29 (3):275-305.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  70
    A Yabloesque paradox in epistemic game theory.Can Başkent - 2018 - Synthese 195 (1):441-464.
    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 constructs a paraconsistent model satisfying the paradoxical statement.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  20
    Perspectives on Interrogative Models of Inquiry: Developments in Inquiry and Questions.Can Başkent (ed.) - 2015 - Cham, Switzerland: Springer.
    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-known example of a dynamic epistemic procedure. In an interrogative inquiry, the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  33
    Towards Paraconsistent Inquiry.Can Baskent - 2016 - Australasian Journal of Logic 13 (2):21-40.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  49
    Rohit Parikh on Logic, Language and Society.Ramaswamy Ramanujam, Lawrence Moss & Can Başkent (eds.) - 2017 - Cham, Switzerland: Springer Verlag.
    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 in the realm of ideas, offering (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark