ABSTRACT Drawing inspiration from Fred Dretske, L. S. Carrier, John A. Barker, and Robert Nozick, we develop a tracking analysis of knowing according to which a true belief constitutes knowledge if and only if it is based on reasons that are sensitive to the fact that makes it true, that is, reasons that wouldn’t obtain if the belief weren’t true. We show that our sensitivity analysis handles numerous Gettier-type cases and lottery problems, blocks pathways leading to skepticism, and validates (...) the epistemic closure thesis that correct inferences from known premises yield knowledge of the conclusions. We discuss the plausible views of Ted Warfield and Branden Fitelson regarding cases of knowledge acquired via inference from false premises, and we show how our sensitivity analysis can account for such cases. We present arguments designed to discredit putative counterexamples to sensitivity analyses recently proffered by Tristan Haze, John Williams and Neil Sinhababu, which involve true statements made by untrustworthy informants and strange clocks that sometimes display the correct time while running backwards. Finally, we show that in virtue of employing the paradox-free subjunctive conditionals codified by Relevance Logic theorists instead of the paradox-laden subjunctive conditionals codified by Robert Stalnaker and David Lewis. (shrink)

In the view of the Marxist philosopher Domenico Losurdo, liberalism is ‘the most dogged enemy of freedom’. This surprising statement runs contrary to the received wisdom among liberal thinkers. Losurdo and other ‘counter-historians’ of liberalism are very effective at exposing the historical atrocities that liberal states have committed, and which have been supported by liberal philosophers – including slavery, racism, genocide, and the subjugation of the working class. But what implications, if any, does this have for contemporary theory? I will (...) argue that there is an important contemporary variation of this ‘counter-history’. Liberalism-in-practice is currently implicated in various forms of environmental degradation and resulting structural violence against disempowered groups. Moreover, divorcing these failings of liberalism-in-practice from liberalism-in-theory is a challenging philosophical endeavour, because even the philosophy of liberalism has difficulties adjusting to environmental issues. The contemporary version of the counter-history thus presents a powerful although not decisive challenge, one worthy of greater discussion. (shrink)

In this article, I shall contend that Rawlsian public reason liberalism (PRL) is in tension with non-anthropocentric environmentalism. I will argue that many reasonable citizens reject non-anthropocentric values, and PRL cannot allow them to be used as the justification for ecological policies. I will analyse attempts to argue that PRL can incorporate non-anthropocentric ideas. I shall consider the view, deployed by theorists such as Derek Bell and Mark A. Michael, that PRL can make a distinction between constitutional essentials and non-essentials, (...) and therefore ecocentric values can be employed when only non-essentials are at stake. I will also consider Simon Hailwood’s argument that PRL can incorporate concern for nature based on its ‘otherness’. I shall conclude that both positions fail to rebut the claim that PRL excludes non-anthropocentric viewpoints. I will consider the question of whether PRL’s exclusion of non-anthropocentric ethics is a problem, and I shall show that appealing to purely anthropocentric arguments leads to a variety of unpalatable conclusions. I will suggest that comprehensive liberalism can include non-anthropocentric concerns, and hence is superior from an environmental perspective. (shrink)

There has been much interest in conspiracy theories (CTs) amongst philosophers in recent years. The aim of this paper will be to apply some of the philosophical research to issues in political theory. I will first provide an overview of some of the philosophical discussions about CTs. While acknowledging that particularism is currently the dominant position in the literature, I will contend that the ‘undue scepticism problem’, a modified version of an argument put forward by Brian Keeley, is an important (...) general objection to many CTs. This in turn leads to some substantial conclusions for liberal political philosophy, as the undue scepticism problem sets up a strong argument against non-liberal alternatives to liberal thought. I shall argue that we are justified in having far more doubt about the reliability of official sources in non-liberal societies, and it is legitimate to be more sceptical about claims designed to bolster non-liberal politics. Moreover, because scepticism is often more warranted in non-liberal societies, this may provide the possibility for the state to be stable, even if it is highly tyrannical or ineffective. These considerations are not intended to be decisive, but raise unresolved questions about the viability of non-liberal politics. (shrink)

Philosophical interest in situated cognition has been focused most intensely on the claim that human cognitive processes extend from the brain into the tools humans use. As we see it, this radical hypothesis is sustained by two kinds of mistakes, the confusion of coupling relations with constitutive relations and an inattention to the mark of the cognitive. Here we wish to draw attention to these mistakes and show just how pervasive they are. That is, for all that the radical philosophers (...) have said, the mind is still in the head. (shrink)

In this paper, I present my solutions to two closely related questions about pleasure. One of these questions is fairly well known. The second question seems to me to be at least as interesting as the first, but it apparently hasn't interested quite so many philosophers.

In a recent very interesting and important challenge to tracking theories of knowledge, Williams & Sinhababu claim to have devised a counter-example to tracking theories of knowledge of a sort that escapes the defense of those theories by Adams & Clarke. In this paper we will explain why this is not true. Tracking theories are not undermined by the example of the backward clock, as interesting as the case is.

Embodied cognition is sweeping the planet. On a non-embodied approach, the sensory system informs the cognitive system and the motor system does the cognitive system’s bidding. There are causal relations between the systems but the sensory and motor systems are not constitutive of cognition. For embodied views, the relation to the sensori-motor system to cognition is constitutive, not just causal. This paper examines some recent empirical evidence used to support the view that cognition is embodied and raises questions about some (...) of the claims being made by supporters. (shrink)

In a recent paper, Tristan Haze offers two examples that, he claims, are counterexamples to Nozick's Theory of Knowledge. Haze claims his examples work against Nozick's theory understood as relativized to belief forming methods M. We believe that they fail to be counterexamples to Nozick's theory. Since he aims the examples at tracking theories generally, we will also explain why they are not counterexamples to Dretske's Conclusive Reasons Theory of Knowledge.

In this article, we will describe higher order thought theories of consciousness. Then we will describe some examples from synesthesia. Finally, we will explain why the latter may be relevant to the former.

This book consists of an edited collection of original essays of the highest academic quality by seasoned experts in their fields of cognitive science. The essays are interdisciplinary, drawing from many of the fields known collectively as “the cognitive sciences.” Topics discussed represent a significant cross-section of the most current and interesting issues in cognitive science. Specific topics include matters regarding machine learning and cognitive architecture, the nature of cognitive content, the relationship of information to cognition, the role of language (...) and communication in cognition, the nature of embodied cognition, selective topics in visual cognition, brain connectivity, computation and simulation, social and technological issues within the cognitive sciences, and significant issues in the history of neuroscience. This book will be of interest to both professional researchers and newer students and graduate students in the fields of cognitive science—including computer science, linguistics, philosophy, psychology and neuroscience. The essays are in English and are designed to be as free as possible of technical jargon and therefore accessible to young scholars and to scholars who are new to the cognitive neurosciences. In addition to several entries by single authors, the book contains several interesting roundtables where researchers contribute answers to a central question presented to those in the focus group on one of the core areas listed above. This exciting approach provides a variety of perspectives from across disciplines on topics of current concern in the cognitive sciences. (shrink)

A semantics is presented for Storrs McCall's separate axiomatizations of Aristotle's accepted and rejected polysyllogisms. The polysyllogisms under discussion are made up of either assertoric or apodeictic propositions. The semantics is given by associating a property with a pair of sets: one set consists of things having the property essentially and the other of things having it accidentally. A completeness proof and a semantic decision procedure are given.

Fred's semantics for McCall's syntactic presentation of Aristotle's assertoric and apodeictic syllogistic is altered to free it from Thom's objections that it is unAristotelian. The altered semantics rejects Baroco-XLL and Bocardo-LXL, which Thom says Aristotle should have accepted. Aristotle's proofs that use ecthesis are formalized by using singular sentences. With one exception the (acceptance) axioms for McCall's system L-X-M are derivable. Formal proofs are shown to be sound.

Tristan Haze claims we have made two mistakes in replying to his two attempted counter-examples to Tracking Theories of Knowledge. Here we respond to his two recent claims that we have made mistakes in our reply. We deny both of his claims.

Fred shows how problems with Slater's restriction of the classical propositional logic can be solved.

Nineteen Prescott Fire Department, Granite Mountain Hot Shot (GMHS) wildland firefighters and supervisors (WFF), perished on the June 2013 Yarnell Hill Fire (YHF) in Arizona. The firefighters left their Safety Zone during forecast, outflow winds, triggering explosive fire behavior in drought-stressed chaparral. Why would an experienced WFF Crew, leave ‘good black’ and travel downslope through a brush-filled chimney, contrary to their training and experience? An organized Serious Accident Investigation Team (SAIT) found, “… no indication of negligence, reckless actions, or violations (...) of policy or protocol.” Despite this, many WFF professionals deemed the catastrophe, “… the final, fatal link, in a long chain of bad decisions with good outcomes.” This paper is a theoretical and realistic examination of plausible, faulty, human decisions with prior good outcomes; internal and external impacts, influencing the GMHS; and two explanations for this catastrophe: Individual Blame Logic and Organizational Function Logic, and proposed preventive mitigations. (shrink)

McCall's system for contingent syllogisms is modified. A semantics for the resulting system is provided.

The paper shows that for any invalid polysyllogism there is a procedure for constructing a model with a domain with exactly three members and an interpretation that assigns non-empty, non-universal subsets of the domain to terms such that the model invalidates the polysyllogism.

Nineteen Prescott Fire Department, Granite Mountain Hot Shot (GMHS) wildland firefighters (WF) perished in Arizona in June 2013 Yarnell Hill Fire, an inexplicable wildland fire disaster. In complex wildland fires, sudden, dynamic changes in human factors and fire conditions can occur, thus mistakes can be unfortunately fatal. Individual and organizational faults regarding the predictable, puzzling, human failures that will result in future WF deaths are addressed. The GMHS were individually, then collectively fixated with abandoning their Safety Zone to reengage, committing (...) themselves at the worst possible time, to relocate to another Safety Zone - a form of collective tunnel vision. Our goal is to provoke meaningful discussion toward improved wildland firefighter safety with practical solutions derived from a long-established wildland firefighter expertise/performance in a fatality-prone profession. Wildfire fatalities are unavoidable, hence these proposals, applied to ongoing training, can significantly contribute to other well-thought-out and validated measures to reduce them. (shrink)

Consequence rleations over sets of "judgments" are defined by using "overdetermined" as well as "underdetermined" valuations. Some of these relations are shown to be categorical. And generalized soundness and completeness results are given for both multiple and single conclusion consequence relations.

One semantic and two syntactic decision procedures are given for determining the validity of Aristotelian assertoric and apodeictic syllogisms. Results are obtained by using the Aristotelian deductions that necessarily have an even number of premises.

Both autonomy and agency play central roles in the emerging enactive vocabulary. Although some treat these concepts as practically synonymous, others have sought to be more explicit about the conditions required for agency over and above autonomy. I attempt to be self-conscious about the role of the observer (or scientist) in such discussions, and emphasise that the concept of agency, in particular, is deeply entwined with the nature of the observer and the framing of the observation. This is probably well (...) known to enactivists, but runs the risk of being badly misunderstood if it is not made explicit. A heightened awareness of the role of the observer in the attribution of agency may allow us to make advances in questions in which progress is hindered by assuming a single split between subject and object. I argue that human experience is characterized by our embedding in webs of meaning arising from our participation in systems of many sorts, and that this richness demands a corresponding lightness of touch with respect to the identification of agentive subjects. (shrink)

A theorem due to Shoesmith and Smiley that axiomatizes two-valued multiple-conclusion logics is extended to partial logics.

In the 17th century, Hobbes stated that we reason by addition and subtraction. Historians of logic note that Hobbes thought of reasoning as “a ‘species of computation’” but point out that “his writing contains in fact no attempt to work out such a project.” Though Leibniz mentions the plus/minus character of the positive and negative copulas, neither he nor Hobbes say anything about a plus/minus character of other common logical words that drive our deductive judgments, words like ‘some’, ‘all’, ‘if’, (...) and ‘and’, each of which actually turns out to have an oppositive, character that allows us, “in our silent reasoning,” to ignore its literal meaning and to reckon with it as one reckons with a plus or a minus operator in elementary algebra or arithmetic. These ‘logical constants’ of natural language figure crucially in our everyday reasoning. Because Hobbes and Leibniz did not identify them as the plus and minus words we reason with, their insight into what goes on in ‘ratiocination’ did not provide a guide for a research program that could develop a +/- logic that actually describes how we reason deductively. I will argue that such a +/- logic provides a way back from modern predicate logic—the logic of quantifiers and bound variables that is now ‘standard logic’—to an Aristotelian term logic of natural language that had been the millennial standard logic. (shrink)

In recent decades, postmodernists and sociologists of science have argued that science is just one of many human activities with social and political aims -- comparable to, say, religion or art. They have questioned the objectivity of science, and whether it has any unique ability to find the truth. Not surprisingly, such claims have evoked a negative response from proponents of the traditional view of science; the debate between the two sides has been called the science wars. In the debate, (...) scientists have made few attempts to meet the postmodern critique on its own grounds, through serious reflection on the everyday practice of science. Yet that is the only way to understand the nature of science and the features that distinguish science from other activities. (shrink)

John Rawls’ A Theory of Justice allows social facts behind his veil-of-ignorance, thereby lessening the veil’s capacity for neutrality and defense of liberal principles. Rawls assumes social facts are discoverable without presupposed political values. But even if value-neutral social science is possible, real-world opinions, defined by political/social world-views, open the veil to bias since social facts from a non-liberal view may bolster non-liberal programmes. Alternatively, depriving those behind the veil of knowledge of social facts strips them of vital information necessary (...) for creating a just, well-organized society. These reservations do not constitute decisive criticisms but point out unresolved tension in Rawls’ original position, and the veil’s status of neutrality is undermined. (shrink)

Counting functions are shown to be complete by using a simpler argument than that used by Pelletier and Martin.

Parry discusses an extension of Aristotle's syllogistic that uses four nontraditional quantifiers. We show that his conjectured decision procedure for validity for the extended syllogistic is correct even if syllogisms have more than two premises. And we axiomatize this extension of the syllogistic.

Aristotle's syllogistic is extended to include denumerably many quantifiers such as 'more than 2/3' and 'exactly 2/3.' Syntactic and semantic decision procedures determine the validity, or invalidity, of syllogisms with any finite number of premises. One of the syntactic procedures uses a natural deduction account of deducibility, which is sound and complete. The semantics for the system is non-classical since sentences may be assigned a value other than true or false. Results about symmetric systems are given. And reasons are given (...) for claiming that syllogistic validity is relevant validity. (shrink)

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 (...) in science. Hence, close observation of the ever-changing reduction relations in the developing sciences, and revision of philosophical positions based on these empirical observations, may, in the long run, be more conducive to an adequate understanding of inter-level relations than a traditional *a priori* approach. (shrink)

Syllogisms with or without negative terms are studied by using Gergonne's ideas. Soundness, completeness, and decidability results are given.

Closure is the epistemological thesis that if S knows that P and knows that P implies Q, then if S infers that Q, S knows that Q. Fred Dretske acknowledges that closure is plausible but contends that it should be rejected because it conflicts with the plausible thesis: Conclusive reasons (CR): S knows that P only if S believes P on the basis of conclusive reasons, i.e., reasons S wouldn‘t have if it weren‘t the case that P. Dretske develops (...) an analysis of knowing that centers on CR, and argues that the requirement undermines skepticism by implying the falsity of closure. We develop a Dretske-style analysis of knowing that incorporates CR, and we argue that this analysis not only accords with closure, but also implies it. In addition, we argue that the analysis accounts for the prima facie plausibility of closure-invoking skeptical arguments, and nonetheless implies that they are fallacious. If our arguments turn out to be sound, the acceptability of Dretske‘s analysis of knowing will be significantly enhanced by the fact that, despite implying closure, it undermines closure-based skepticism. (shrink)

For as long as the Christian church has been working out its understanding of the second person of the Trinity, it has employed analytic philosophical reflection to sharpen theological comprehension. In recent times, there has been a rekindled appreciation for the employment of analytic reflection in the service of theology. Analytic theology has established itself as a way of doing theology that employs analytic philosophical analysis in the project of faith in divinely revealed truths seeking understanding. In this issue, the (...) fresh insights of analytic theology are applied to a theme most central to Christian theology—the Son of God. (shrink)

Chris Hill’s consciousness Content Type Journal Article Pages 1-6 DOI 10.1007/s11098-011-9812-4 Authors Fred Dretske, 212 Selkirk, Durham, NC 27707, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116.

The epistemological situation of a single cell is considered. In chemotaxis, the relation between perception and action is found to be lawful and bidirectional. Consideration of the perception/action relation allows a characterization of the phe- nomenal world of the cell. This phenomenal world is grounded in perceptual distinctions that are relevant to the sustained vi- ability of the cell. Moving up the phylogenetic chain, this lawfulness, and its relation to the phenomenal world of ex- perience, is found to be essentially (...) unchanged in multicellular organisms. Nervous systems add some innovation, in allow- ing distal responses and the non-linear combination of infor- mation, but from cell to human, the differentiation of the phe- nomenal world is found to arise from the lawfulness of the perception/action relation, which in turn reflects the biologi- cal constitution of the organism, and not a pre-given objec- tive world. This recognition suggests that rather than looking within the nervous system for representations of pre-given, ex- ternal, entities, one might do better to explore the fit between the function of the nervous system and the phenomenal, mean- ingful, world encountered by the organism in experience. (shrink)

In “Beat the (Backward) Clock,” we argued that John Williams and Neil Sinhababu’s Backward Clock Case fails to be a counterexample to Robert Nozick’s or Fred Dretske’s Theories of Knowledge. Williams’ reply to our paper, “There’s Nothing to Beat a Backward Clock: A Rejoinder to Adams, Barker and Clarke,” is a further attempt to defend their counterexample against a range of objections. In this paper, we argue that, despite the number and length of footnotes, Williams is still wrong.

Maintaining systems of military plans is critical for military effectiveness, but is also challenging. Plans will become obsolete as the world diverges from the assumptions on which they rest. If too many ad hoc changes are made to intermeshed plans, the ensemble may no longer lead to well-synchronized and coordinated operations, resulting in the system of plans becoming itself incoherent. We describe in what follows an Adaptive Planning process that we are developing on behalf of the Air Force Research Laboratory (...) (Rome) with the goal of addressing problems of these sorts through cyclical collaborative plan review and maintenance. The interactions of world state, blue force status and associated plans are too complex for manual adaptive processes, and computer-aided plan review and maintenance is thus indispensable. We argue that appropriate semantic technology can 1) provide richer representation of plan-related data and semantics, 2) allow for flexible, non-disruptive, agile, scalable, and coordinated changes in plans, and 3) support more intelligent analytical querying of plan-related data. (shrink)