17 found
Sort by:
See also:
Profile: Allard Tamminga (University of Groningen, Utrecht University)
  1. Allard Tamminga (2014). Correspondence Analysis for Strong Three-Valued Logic. Logical Investigations 20:255-268.
    I apply Kooi and Tamminga's (2012) idea of correspondence analysis for many-valued logics to strong three-valued logic (K3). First, I characterize each possible single entry in the truth-table of a unary or a binary truth-functional operator that could be added to K3 by a basic inference scheme. Second, I define a class of natural deduction systems on the basis of these characterizing basic inference schemes and a natural deduction system for K3. Third, I show that each of the resulting natural (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Barteld Kooi & Allard Tamminga (2013). Three-Valued Logics in Modal Logic. Studia Logica 101 (5):1061-1072.
    Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this claim constructively in two steps. First, we define a Translation Manual that converts any propositional formula of any three-valued logic into a modal formula. Second, we show that for every S5-model there is an equivalent three-valued valuation and vice versa. In general, our Translation Manual gives rise to translations that are exponentially longer than their originals. This fact raises the question whether there are (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Allard Tamminga (2013). Deontic Logic for Strategic Games. Erkenntnis 78 (1):183-200.
    We develop a multi-agent deontic action logic to study the logical behaviour of two types of deontic conditionals: (1) conditional obligations, having the form "If group H were to perform action aH, then, in group F's interest, group G ought to perform action aG" and (2) conditional permissions, having the form "If group H were to perform action aH, then, in group F's interest, group G may perform action aG". First, we define a formal language for multi-agent deontic action logic (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  4. Allard Tamminga & Sander Verhaegh (2013). Katz's Revisability Paradox Dissolved. Australasian Journal of Philosophy 91 (4):771-784.
    Quine's holistic empiricist account of scientific inquiry can be characterized by three constitutive principles: *noncontradiction*, *universal revisability* and *pragmatic ordering*. We show that these constitutive principles cannot be regarded as statements within a holistic empiricist's scientific theory of the world. This claim is a corollary of our refutation of Katz's [1998, 2002] argument that holistic empiricism suffers from what he calls the Revisability Paradox. According to Katz, Quine's empiricism is incoherent because its constitutive principles cannot themselves be rationally revised. Using (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Barteld Kooi & Allard Tamminga (2012). Completeness Via Correspondence for Extensions of the Logic of Paradox. Review of Symbolic Logic 5 (4):720-730.
    Taking our inspiration from modal correspondence theory, we present the idea of correspondence analysis for many-valued logics. As a benchmark case, we study truth-functional extensions of the Logic of Paradox (LP). First, we characterize each of the possible truth table entries for unary and binary operators that could be added to LP by an inference scheme. Second, we define a class of natural deduction systems on the basis of these characterizing inference schemes and a natural deduction system for LP. Third, (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  6. Allard Tamminga (2009). In de ban van de metafysica. De identiteitstheorieën van Place, Smart en Armstrong. Tijdschrift Voor Filosofie 71 (3):553-575.
    We investigate the genesis of metaphysical physicalism and its influence on the development of Place's, Smart's, and Armstrong's ideas on the relation between the mental and the physical. We first reconstruct the considerations that led Armstrong and Smart to a 'scientific' world view. We call 'metaphysical physicalism' the comprehensive theory on reality, truth, and meaning which ensued from this world view. Against the background of this metaphysical physicalism we study Armstrong's and Smart's analyses of secondary properties and the genesis of (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Barteld Kooi & Allard Tamminga (2008). Moral Conflicts Between Groups of Agents. Journal of Philosophical Logic 37 (1):1-21.
    Two groups of agents, G1 and G2, face a *moral conflict* if G1 has a moral obligation and G2 has a moral obligation, such that these obligations cannot both be fulfilled. We study moral conflicts using a multi-agent deontic logic devised to represent reasoning about sentences like "In the interest of group F of agents, group G of agents ought to see to it that phi". We provide a formal language and a consequentialist semantics. An illustration of our semantics with (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  8. Jan-Willem Romeijn & Allard Tamminga (2008). *Wetenschapsfilosofie* door Leon Horsten, Igor Douven en Erik Weber. [REVIEW] Algemeen Nederlands Tijdschrift voor Wijsbegeerte 100 (1):80-83.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  9. Allard Tamminga (2005). Introspection and Change in Carnap's Logical Behaviourism. Studies in History and Philosophy of Science Part A 36 (4):650-667.
    In the 1930s, Carnap set out to incorporate psychology into the unity of science, by showing that all cognitively meaningful sentences of psychology can be translated into the language of physics. I will argue that Carnap, relying on his notion of protocol languages, defends a physicalistic philosophy of psychology that shows due appreciation to 'introspection' as a strictly subjective, but reliable way to verify sentences about one’s own mind. Second, I will point out that Carnap’s philosophy of psychology not only (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Allard Tamminga (2004). Expansion and Contraction of Finite States. Studia Logica 76 (3):427-442.
    We present a theory that copes with the dynamics of inconsistent information. A method is set forth to represent possibly inconsistent information by a finite state. Next, finite operations for expansion and contraction of finite states are given. No extra-logical element — a choice function or an ordering over (sets of) sentences — is presupposed in the definition of contraction. Moreover, expansion and contraction are each other's duals. AGM-style characterizations of these operations follow.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  11. Allard Tamminga (2003). A Critical Exposition of Isaac Levi's Epistemology. Logique Et Analyse 183:447-478.
    The branch of philosophical logic which has become known as “belief change” has, in the course of its development, become alienated from its epistemological origins. However, as formal criteria do not suffice to defend a principled choice between competing systems for belief change, we do need to take their epistemological embedding into account. Here, on the basis of a detailed examination of Isaac Levi's epistemology, we argue for a new direction of belief change research and propose to construct systems for (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Allard Tamminga (2003). Het logische behaviorisme van Rudolf Carnap. Tijdschrift Voor Filosofie 65 (3):541 - 565.
    In the 1930s, several members of the Vienna Circle set out to incorporate psychology in the unity of science, by showing that all cognitively significant sentences of psychology can be translated into the language of physics. This epistemological analysis of psychology has become known as logical behaviourism. Carnap was the first logical empiricist to expound this programme in considerable detail. Relying on his particular notion of protocol languages, Carnap develops a view on the philosophy of psychology that not only is (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. Fred Boogerd, Frank Bruggeman, Catholijn Jonker, Huib Looren de Jong, Allard Tamminga, Jan Treur, Hans Westerhoff & Wouter Wijngaards (2002). Inter-Level Relations in Computer Science, Biology, and Psychology. Philosophical Psychology 15 (4):463–471.
    Investigations into inter-level relations in computer science, biology and psychology call for an *empirical* turn in the philosophy of mind. Rather than concentrate on *a priori* discussions of inter-level relations between 'completed' sciences, a case is made for the actual study of the way inter-level relations grow out of the developing sciences. Thus, philosophical inquiries will be made more relevant to the sciences, and, more importantly, philosophical accounts of inter-level relations will be testable by confronting them with what really happens (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  14. Allard Tamminga (2002). Isaac Levi's kenleer: een kritische beschouwing. Algemeen Nederlands Tijdschrift voor Wijsbegeerte 94 (2):124-145.
    Levi, setting out to formalize Peirce's and Dewey's *belief-doubt-belief*-model, took the lead in defining the field of philosophical logic that has become known as *belief change*. First, Levi's theory of knowledge is placed within the context of American pragmatism. A discussion follows of Levi's criteria under which a change of belief must be judged an improvement. In the final section, a critical evaluation of Levi's logical epistemology opens new venues for logical and epistemological inquiry.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  15. Allard Tamminga (2001). Waarheid als limiet van onderzoek: de ontoereikendheid van Charles Sanders Peirce' waarheidsopvatting. Algemeen Nederlands Tijdschrift voor Wijsbegeerte 93 (2):73-92.
    In order to come to grips with Peirce's definition of truth as the ideal limit of inquiry, I give a succinct exposition of Peirce's theory of inquiry and his philosophical logic, paying attention to several types of reasoning and their interrelations. Subsequently, the arguments of a contemporary apologist of Peirce's notion of truth, C.J. Misak, are subjected to a scrutiny and found to be insufficient, as the principle of bivalence is defended improperly and, as a Peircean definition of truth, turns (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  16. Allard Tamminga & Koji Tanaka (1999). A Natural Deduction System for First Degree Entailment. Notre Dame Journal of Formal Logic 40 (2):258-272.
    This paper is concerned with a natural deduction system for First Degree Entailment (FDE). First, we exhibit a brief history of FDE and of combined systems whose underlying idea is used in developing the natural deduction system. Then, after presenting the language and a semantics of FDE, we develop a natural deduction system for FDE. We then prove soundness and completeness of the system with respect to the semantics. The system neatly represents the four-valued semantics for FDE.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  17. Allard Tamminga (1994). Logics of Rejection: Two Systems of Natural Deduction. Logique Et Analyse 146:169-208.
    This paper presents two systems of natural deduction for the rejection of non-tautologies of classical propositional logic. The first system is sound and complete with respect to the body of all non-tautologies, the second system is sound and complete with respect to the body of all contradictions. The second system is a subsystem of the first. Starting with Jan Łukasiewicz's work, we describe the historical development of theories of rejection for classical propositional logic. Subsequently, we present the two systems of (...)
     
    My bibliography  
     
    Export citation