Methodological naturalism and epistemic internalism

Epistemic naturalism holds that the results or methodologies from the cognitive sciences are relevant to epistemology, and some have maintained that scientific methods are more compatible with externalist theories of justification than with internalist theories. But practically all discussions about naturalized epistemology are framed exclusively in terms of cognitive psychology, which is only one of the cognitive sciences. The question addressed in this essay is whether a commitment to naturalism really does favor externalism over internalism, and we offer reasons for thinking that naturalism in epistemology is compatible with both internalist and externalist conceptions of justification. We also argue that there are some distinctively internalist aims that are currently being studied scientifically and these notions, and others, should be studied by scientific methods. This essay is dedicated to Deborah Mayo, who has long advocated using error statistical techniques to analyze and resolve epistemological puzzles in the philosophy of science. This essay follows the same spirit by advocating that computational concepts and techniques be applied within the heart of traditional, analytic epistemology.     

Motor programming in apraxia of speech

Apraxia of Speech (AOS) is an impairment of motor programming. However, the exact nature of this deficit remains unclear. The present study examined motor programming in AOS in the context of a recent two-stage model [Klapp, S. T. (1995). Motor response programming during simple and choice reaction time: The role of practice. Journal of Experimental Psychology: Human Perception and Performance, 21, 1015–1027; Klapp, S. T. (2003). Reaction time analysis of two types of motor preparation for speech articulation: Action as a sequence of chunks. Journal of Motor Behavior, 35, 135–150] that proposes a preprogramming stage (INT) and a process that assigns serial order to multiple programs in a sequence (SEQ). The main hypothesis was that AOS involves a process-specific deficit in the INT (preprogramming) stage of processing, rather than in the on-line serial ordering (SEQ) and initiation of movement. In addition, we tested the hypothesis that AOS involves a central (i.e., modality-general) motor programming deficit. We used a reaction time paradigm that provides two dependent measures: study time (the amount of time for participants to ready a motor response; INT), and reaction time (time to initiate movement; SEQ). Two experiments were conducted to examine INT and SEQ in AOS: Experiment 1 involved finger movements, Experiment 2 involved speech movements analogous to the finger movements. Results showed longer preprogramming time for patients with AOS but normal sequencing and initiation times, relative to controls. Together, the findings are consistent with the hypothesis of a process-specific, but central (modality-independent) deficit in AOS; alternative explanations are also discussed.     

Change detection evokes a Simon-like effect

The present experiment studied choice response context effects on the programming of response sequences using behavioural and electrophysiological methods. Participants were asked to produce responses differing in sequence length (1-key vs. 3-key responses) with either their left or right hand in a choice reaction time (RT) task. The choice response context was manipulated by a blocked or mixed execution of 1-key and 3-key responses. A sequence length effect on RT was observed in the blocked but not in the mixed condition. The time course of the lateralized readiness potential indicates a motoric locus of the sequence length effect, suggesting that the response hand is activated before the entire motor program is established.     

Pragmatic Reflexivity in Self-defeating and Self-justifying Expressions

Self-defeating and self-justifying expressions are reflexive insofar as they pertain to themselves. However, the reflexivity involved is often pragmatic, i.e., does not entirely depend upon the logical properties of what is expressed but also upon the expressive act. In this paper I present a general account of pragmatic reflexivity and apply it to some familiar self-defeating and self-justifying expressions in epistemology. This application indicates some important, if often neglected features of the epistemological issues involved. The account I defend suggests that epistemology is particularly sensitive to pragmatic reflexivity since what epistemologists do, i.e., inquire, theorize, and defend theories, is also the subject of the inquiry and resultant theories.

The Relevance of a Relevantly Assertable Disjunction for Material Implication

In this paper Grice’s requirements for assertability are imposed on the disjunction of Classical Logic. Defining material implication in terms of negation and disjunction supplemented by assertability conditions, results in the disappearance of the most important paradoxes of material implication. The resulting consequence relation displays a very strong resemblance to Schurz’s conclusion-relevant consequence relation.     

The logic, intentionality, and phenomenology of emotion

My concern in this paper is with the intentionality of emotions. Desires and cognitions are the traditional paradigm cases of intentional attitudes, and one very direct approach to the question of the intentionality of emotions is to treat it as sui generis—as on a par with the intentionality of desires and cognitions but in no way reducible to it. A more common approach seeks to reduce the intentionality of emotions to the intentionality of familiar intentional attitudes like desires and cognitions. In this paper, I argue for the sui generis approach.

Multi-Modal CTL: Completeness,Complexity, and an Application

We define a multi-modal version of Computation Tree Logic (ctl) by extending the language with path quantifiers E ^δ and A ^δ where δ denotes one of finitely many dimensions, interpreted over Kripke structures with one total relation for each dimension. As expected, the logic is axiomatised by taking a copy of a ctl axiomatisation for each dimension. Completeness is proved by employing the completeness result for ctl to obtain a model along each dimension in turn. We also show that the logic is decidable and that its satisfiability problem is no harder than the corresponding problem for ctl. We then demonstrate how Normative Systems can be conceived as a natural interpretation of such a multi-dimensional ctl logic. Presented by Jacek Malinowski     

Counting distinctions: on the conceptual foundations of Shannon’s information theory

Categorical logic has shown that modern logic is essentially the logic of subsets (or “subobjects”). In “subset logic,” predicates are modeled as subsets of a universe and a predicate applies to an individual if the individual is in the subset. Partitions are dual to subsets so there is a dual logic of partitions where a “distinction” [an ordered pair of distinct elements (u, u′) from the universe U] is dual to an “element”. A predicate modeled by a partition π on U would apply to a distinction if the pair of elements was distinguished by the partition π, i.e., if u and u′ were in different blocks of π. Subset logic leads to finite probability theory by taking the (Laplacian) probability as the normalized size of each subset-event of a finite universe. The analogous step in the logic of partitions is to assign to a partition the number of distinctions made by a partition normalized by the total number of ordered |U|² pairs from the finite universe. That yields a notion of “logical entropy” for partitions and a “logical information theory.” The logical theory directly counts the (normalized) number of distinctions in a partition while Shannon’s theory gives the average number of binary partitions needed to make those same distinctions. Thus the logical theory is seen as providing a conceptual underpinning for Shannon’s theory based on the logical notion of “distinctions.” This paper is dedicated to the memory of Gian-Carlo Rota—mathematician, philosopher, mentor, and friend.     

Wittgenstein and logic

In his Tractatus Logico-Philosophicus Ludwig Wittgenstein (1889–1951) presents the concept of order in terms of a notational iteration that is completely logical but not part of logic. Logic for him is not the foundation of mathematical concepts but rather a purely formal way of reflecting the world that at the minimum adds absolutely no content. Order for him is not based on the concepts of logic but is instead revealed through an ideal notational series. He states that logic is “transcendental”. As such it requires an ideal that his philosophical method eventually forces him to reject. I argue that Wittgenstein’s philosophy is more dialectical than transcendental.     

Propositional Plausible Logic: Introduction and Implementation

Plausible Logic allows defeasible deduction with arbitrary propositions, and yet when sufficiently simplified it is very similar to the Defeasible Logics of Billington and Nute. This paper presents Plausible Logic, explains some of the ideas behind the definitions, applies Plausible Logic to an example, and proves a coherence result which indicates that Plausible Logic is well behaved. We also report the first complete implementation of propositional Plausible Logic. The implementation has a web interface which makes it available to researchers and students everywhere. The implementation is evaluated experimentally, and is shown to be capable of handling tens of thousands of rules and sufficiently many disjunctions for realistic problems.