Logic brings elementary logic out of the academic darkness into the light of day. Paul Tomassi makes logic fully accessible for anyone trying to come to grips with the complexities of this challenging subject. This book is written in a patient and user-friendly way which makes both the nature and value of formal logic crystal clear. This textbook proceeds from a frank, informal introduction to fundamental logical notions to a system of formal logic rooted in the best of (...) our natural deductive reasoning in daily life. The book includes plenty of exercise to put the students' reading to test, summay boxes of key points, a glossary and many illustrations. This book will be useful to any student who needs a patient and comprehensible introduction to what otherwise can be a daunting subject. (shrink)

Bringing elementary logic out of the academic darkness into the light of day, Paul Tomassi makes logic fully accessible for anyone attempting to come to grips with the complexities of this challenging subject. Including student-friendly exercises, illustrations, summaries and a glossary of terms, _Logic_ introduces and explains: * The Theory of Validity * The Language of Propositional Logic * Proof-Theory for Propositional Logic * Formal Semantics for Propositional Logic including the Truth-Tree Method * The Language of Quantificational Logic (...) including the Theory of Descriptions. _Logic _is an ideal textbook for any logic student: perfect for revision, staying on top of coursework or for anyone wanting to learn about the subject. Related downloadable software for Macs and PCs is available for this title at www.logic.routledge.com. (shrink)

Wittgenstein's later rejection of the externalist Tractarian picture of logic according to which all rationally analysable discourse is properly understood as truth-functional rules out any conception of logic as the study of universal features of discourse. Given later references to 'the logic of our language', some conception of logic appears to survive even on Wittgenstein's later view. However, given his rejection of any conception of philosophical theory as explanatory or hypothetical, Wittgenstein seems to be forced into descriptivism. Despite these constraints, (...) I attempt to show that a valuable account of logic consistent with Wittgenstein's critique can be identified. That possibility raises the question: can any conception of formal logic as valuable modulo natural language survive Wittgenstein's later change of heart? Taking Wittgenstein's rejection of Tractarian conceptions seriously, logic is relativised to language-games in general and, perhaps, localised to particular language-games. Looking at logic in this way opens up the possibility of uncovering inferential structures distinct from those which form the traditional logical-epistemological dichotomy. Here I outline a formal logical framework consistent with all of the foregoing points in terms of which analogues of inferential structures (traditional and non-traditional) can be constructed. Taking third-person ascriptions of psychological predicates as a testcase, I try to show that the formal framework (a system of formal dialogue) has a flexibility which augurs well for future logical investigations into linguistic practices without presupposing knowledge of the kinds of inferential structures which such investigations might reveal. Hence, my claim that the system in question represents logic after (the later) Wittgenstein. (shrink)

Available from UMI in association with The British Library. Requires signed TDF. ;The thesis focusses on the question of the coherence of the notion of a "criterion" which has enjoyed considerable currency in the contemporary Philosophy of Language and Mind. The text is divided into three parts, each of which deals with a particular aspect of the notion of a criterion, or of theories of criteria. Part One consists of Chapters 1, 2 and 3 and explores the question of the (...) origins of the notion and of theories concerning it. Wittgenstein's later work is widely recognized as the notion's point of origin and for that reason I examine Wittgenstein's use of the term "criterion" and the philosophy of language which is the proper context of the notion as employed by that author. I then present my own account of the significance of the notion to Wittgenstein, and the role of the notion in his later thought. Part Two consists of Chapters 4 and 5 which examine the place of the notion in the contemporary Philosophy of Language and offer a critical account of much recent work in that field. Finally, in Part Three, I concentrate on the question of the coherence of the notion. The sixth Chapter deals mainly with epistemological issues of relevance but also involves some formal work together with some discussion of the ramifications of the notion, correctly understood, in the Philosophy of Mind. Chapter Seven suggests a formal, logical framework in which criterial reasoning patterns can be usefully mapped and also attempts to demonstrate an inherent flexibility of format which might allow for contrastive comparisons with other modes of reasoning. (shrink)

In the first instance, the paper proposes a response to W.V.O. Quine's infamous attack on the analytic-synthetic distinction which attempts to carve out a core notion of analyticity by strictly delimiting the extension of that concept. The resulting position -- epistemic conservatism -- provides a platform for a significant epistemic challenge to essentialist positions of the kind proposed by Saul Kripke and Hilary Putnam: under exactly which kinds of circumstance are we warranted in asserting that we have grasped the truth (...) of an identity-statement of the requisite kind? In the absence of a clear and complete response to that epistemic challenge, the paper concludes that the Kripke-Putnam case remains not proven. (shrink)

Wittgenstein's later rejection of the externalist Tractarian picture of logic according to which all rationally analysable discourse is properly understood as truth-functional rules out any conception of logic as the study of universal features of discourse. Given later references to 'the logic of our language', some conception of logic appears to survive even on Wittgenstein's later view. However, given his rejection of any conception of philosophical theory as explanatory or hypothetical, Wittgenstein seems to be forced into descriptivism. Despite these constraints, (...) I attempt to show that a valuable account of logic consistent with Wittgenstein's critique can be identified. That possibility raises the question: can any conception of formal logic as valuable modulo natural language survive Wittgenstein's later change of heart? Taking Wittgenstein's rejection of Tractarian conceptions seriously, logic is relativised to language-games in general and, perhaps, localised to particular language-games. Looking at logic in this way opens up the possibility of uncovering inferential structures distinct from those which form the traditional logical-epistemological dichotomy. Here I outline a formal logical framework consistent with all of the foregoing points in terms of which analogues of inferential structures (traditional and non-traditional) can be constructed. Taking third-person ascriptions of psychological predicates as a testcase, I try to show that the formal framework (a system of formal dialogue) has a flexibility which augurs well for future logical investigations into linguistic practices without presupposing knowledge of the kinds of inferential structures which such investigations might reveal. Hence, my claim that the system in question represents logic after (the later) Wittgenstein. (shrink)

Current understanding of the nature of language owes much to two authors: Noam Chomsky and the later Wittgenstein. What is interesting is that the conceptions of language proposed by each appear to conflict. The key question is: what is it to understand a language? In these terms, the internalist/individualist view of linguistic understanding which Chomsky has consistently advocated throughout his career appears to flatly contradict the later Wittgenstein's externalist account of linguistic understanding . In short, the relation between these two (...) conceptions is not well-understood. 2 The aim of this paper is to establish some rapprochement along the following lines: philosophy of language may be the richer for what it can learn from empirical linguistics but that area of philosophy remains the context within which empirical linguistics derives its significance. (shrink)

In a recent paper on Truth, Knowability and Neutrality Timothy Kenyon sets out to defend the coherence of a putative anti-realist truth-predicate, superassertibility, due to Wright (1992, 1999), against a number of Wright’s critics. By his own admission, the success of Kenyon’s defensive strategies turns out to hinge upon a realist conception of absolute warrant which conflicts with the anti-realist character of the original proposal, based, as it was, on a notion of defeasible warrant. Kenyon’s potential success in resisting Wright’s (...) critics brings a pyrrhic victory: either way, realism wins. Here I argue that the link between superassertibility and defeasible warrant can be restored in a way which clarifies the consistency of the pair, provided that the notion of inference to superassertibility is properly understood in logical terms. As one might expect, the requisite notion is not classical in character. As one might not expect, the notion cannot be properly construed in intuitionist terms either. Hence, I propose an alternative logical framework which, I believe, is at least formally adequate to the representation of superassertibility on the basis of defeasible warrant. The price to be paid for rejecting the ‘third way’ proposed here in favour of either of the two more traditional logical options is precisely that indicated by Kenyon’s discussion. (shrink)

Noam Chomsky and Frances Egan argue that David Marr’s computational theory of vision is not intentional, claiming that the formal scientific theory does not include description of visual content. They also argue that the theory is internalist in the sense of not describing things physically external to the perceiver. They argue that these claims hold for computational theories of vision in general. Beyond theories of vision, they argue that representational content does not figure as a topic within formal computational theories (...) in cognitive science. I demonstrate that Chomsky’s and Egan’s claims about Marr’s theory are false. Marr’s computational theory contains a mathematical theory of visual content, based on empirical psychophysical evidence. It also contains mathematical descriptions of distal physical surfaces and objects, and of their optic projection to the perceiver. Much computational research on vision contains these types of intentional and externalist components within the formal, mathematical, theories. Chomsky’s and Egan’s claims demonstrate inadequate study and understanding of Marr’s work and other research in this area. Computational theories of vision, by containing empirically based mathematical theories of visual content, to this extent present naturalizations of semantics. (shrink)

This edition includes a new introduction by Peter J. Gomes that reflects on the impact of this book in the years since it was written.

We are witnessing increasing use of the Internet, particular social media, to criticize (perceived or actual) moral failings and misdemeanors. This phenomenon of so-called ‘online public shaming’ could provide a powerful tool for reinforcing valuable social norms. But it also threatens unwarranted and severe punishments meted out by online mobs. This paper analyses the dangers associated with the informal enforcement of norms, drawing on Locke, but also highlights its promise, drawing on recent discussions of social norms. We then consider two (...) crucial conditions that online public shaming must meet in order to be justifiable: proportionality and accountability. We argue that these requirements are in fact frequently violated, rendering most cases of online public shaming unjustified. While the use of online public shaming against others’ vices has some apparent virtues, it is currently rarely justified, given its own vices. (shrink)

Reasons and reasoning were central to the work of Paul Grice, one of the most influential and admired philosophers of the late twentieth century. In the John Locke Lectures that Grice delivered in Oxford at the end of the 1970s, he set out his fundamental thoughts about these topics; Aspects of Reason is the long-awaited publication of those lectures. This immensely rich work, powerfully evocative of the mind of its author, will refresh and illuminate discussions in many areas of (...) contemporary philosophy. (shrink)

© 2006 Konrad Lorenz Institute for Evolution and Cognition Research.

This is a collection in translation of essays by Paul Ricoeur which presents a comprehensive view of his philosophical hermeneutics, its relation to the views of his predecessors in the tradition and its consequences for the social sciences. The volume has three parts. The studies in the first part examine the history of hermeneutics, its central themes and the outstanding issues it has to confront. In Part II, Ricoeur's own current, constructive position is developed. A concept of the text (...) is formulated as the implications of the theory are pursued into the domains of sociology, psychoanalysis and history. Many of the essays appear here in English for the first time; the editor's introduction brings out their background in Ricoeur's thought and the continuity of his concerns. The volume will be of great importance for those interested in hermeneutics and Ricoeur's contribution to it, and will demonstrate how much his approach offers to a number of disciplines. (shrink)

The ethical issues raised by cybersecurity practices and technologies are of critical importance. However, there is disagreement about what is the best ethical framework for understanding those issues. In this paper we seek to address this shortcoming through the introduction of a principlist ethical framework for cybersecurity that builds on existing work in adjacent fields of applied ethics, bioethics, and AI ethics. By redeploying the AI4People framework, we develop a domain-relevant specification of five ethical principles in cybersecurity: beneficence, non-maleficence, autonomy, (...) justice, and explicability. We then illustrate the advantages of this principlist framework by examining the ethical issues raised by four common cybersecurity contexts: penetration testing, distributed denial of service attacks (DDoS), ransomware, and system administration. These case analyses demonstrate the utility of this principlist framework as a basis for understanding cybersecurity ethics and for cultivating the ethical expertise and ethical sensitivity of cybersecurity professionals and other stakeholders. (shrink)

In this chapter a new problem about rule-following is outlined, one that is distinct both from Kripke’s and Wright’s versions of the problem. This new problem cannot be correctly responsed to, as Kripke’s can, by invoking Wright’s Intentional Account of rule-following. The upshot might be called, following Kant, an antinomy of pure reason: we both must — and cannot — make sense of someone’s following a rule. The chapter explores various ways out of this antinomy without here endorsing any of (...) them. (shrink)

Foreword William Schweiker Paul Tillich, one of the great Protestant theologians of the twentieth century, addresses in Morality and Beyond a basic problem ...

In this study of space and power and knowledge in France from the 1830s through the 1930s, Rabinow uses the tools of anthropology, philosophy, and cultural criticism to examine how social environment was perceived and described. Ranging from epidemiology to the layout of colonial cities, he shows how modernity was revealed in urban planning, architecture, health and welfare administration, and social legislation.

Paul Thom's book presents Kilwardby's science of logic as a body of demonstrative knowledge about inferences and their validity, about the semantics of non-modal and modal propositions, and about the logic of genus and species. This science is thoroughly intensional. It grounds the logic of inference on "that in virtue of which" the inference holds. It bases the truth conditions of propositions on relations between conceptual entities. It explains the logic of genus and species through the notion of essence. (...) Thom interprets this science as a formal logic of intensions with its own proof theory and semantics. This comprehensive reconstruction of Kilwardby's logic shows the medieval master to be one of the most interesting logicians of the thirteenth century. (shrink)

After two weeks in La Barca, a small dirt-lined Mexican town known for its delicious tacos and endemic salmonellosis, it seemed I was serving a prison sentence rather than my sixth-semester surgery rotation. It was almost 11:00 on another insufferably humid day and I was in the operating room. I struggled to maintain my steady contorted position as I held the patient’s abdominal cavity open with surgical retractors for the chief surgeon and the resident. I had been plagued with a (...) wonderful bout of gastroenteritis since my arrival in La Barca, so my knees buckled and my attention peaked with every wave of abdominal false alarms. My peripheral vision had been obliterated thanks to the …. (shrink)

De milieuproblematiek staat pas sinds kort op de agenda als een fenomeen dat de mensheid bedreigt. Toch blijkt het negentiende-eeuwse gedachtegoed van Karl Marx verrassende inzichten te bieden om deze actuele problemen te duiden. Marx laat zien dat het menselijk ingrijpen in de natuur leidt tot zelfvervreemding: de mens ondermijnt zijn bestaan als een wezen dat zelf deel uitmaakt van de natuur. Deze zelfvervreemding cumuleert in de kapitalistische samenleving. Marx lezend zien we dat de milieuproblematiek geen historische vergissing is, maar (...) fundamenteel samenhangt met de mens als redelijk wezen. Onze beheersingsrede heeft geleid tot de vervreemding van de natuur. Toch geeft dezelfde rede die de mens de vrijheid biedt zich boven het ecologische evenwicht te verheffen, hem de mogelijkheid zich te verzoenen met de natuur. Marx verwijst naar dit dubbele gezicht van de rede als hij stelt dat het 'rijk van de vrijheid' in de schoot van het kapitalisme wordt geboren. In dit boek onderzoekt Paul Cobben welke aanzetten de huidige samenleving biedt om vorm te geven aan de verzoening met de natuur. Paul Cobben is emeritus hoogleraar geschiedenis van de moderne filosofie aan Tilburg University. Momenteel is hij gastonderzoeker aan de Vrije Universiteit Amsterdam en redacteur van de serie 'Critical Studies in German Idealism'. Van zijn hand verscheen o.a. 'Value in Capitalist Society. Rethinking Marx's Criticism of Capitalism' (2015)."-- Publisher information. (shrink)

The Renaissance was a period of great intellectual change and innovation as philosophers rediscovered the philosophy of classical antiquity and passed it on to the modern age. Renaissance philosophy is distinct both from the medieval scholasticism, based on revelation and authority, and from philosophers of the seventeenth and eighteenth centuries who transformed it into new philosophical systems. Despite the importance of the Renaissance to the development of philosophy over time, it has remained largely understudied by historians of philosophy and professional (...) philosophers. This anthology aims to correct this by providing scholars and students of philosophy with representative translations of the most important philosophers of the Renaissance. Its purpose is to help readers appreciate philosophy in the Renaissance and its importance in the history of philosophy. The anthology includes translations from philosophers from the thirteenth to the seventeenth centuries, and it ranges from works on moral and political philosophy, to metaphysics, epistemology, and natural philosophy, thereby providing historians and students of philosophy with a sense for the nature, breadth, and complexity of philosophy in the Renaissance. Each translation is accompanied by an introduction by a historian of Renaissance philosophy, as well as select secondary sources, in order to encourage further study. (shrink)

Paul Helm investigates what religious faith is and what makes it reasonable.

We sometimes strive to achieve difficult goals when our evidence suggests that success is unlikely – not just because it will require strength of will, but because we are targets of prejudice and discrimination or because success will require unusual ability. Optimism about one’s prospects can be useful for persevering in these cases. That said, excessive optimism can be dangerous; when our evidence is unfavourable, we should be at most agnostic about whether we will succeed. This paper explores the nature (...) and rational significance of agnostic practical commitments. Most importantly, the rationality of striving against the odds can depend on investing in a plan for failure: a plan B. I aim to make headway on an account of what backup plans are, how they are related to primary plans, and whether the standard norms of plan rationality apply to our agnostic commitments. (shrink)

One dimension of the controversy over whether evaluative properties are presented in perceptual content has general roots in the debate over whether perceptual content, in general, is rich or austere. I argue that we need to recognise a level of rich non-sensory perceptual content, drawing on experiences of chicken sexing and speech perception, to capture what our experience is like and our epistemic entitlements. In both cases (and many others), we are not conscious of the precise perceptual cues that are (...) the basis for discriminations and, thus, the characterisation of the phenomenal content of such experiences must go beyond sensory properties. Nevertheless, this point is arguably insufficient to establish the perception of evaluative properties. Their representation requires the subject to respond in certain ways. I discuss how this should go for the case of pain and then, in outline, for moral properties. (shrink)

This paper introduces constitutivism about practical reason, which is the view that we can justify certain normative claims by showing that agents become committed to these claims simply in virtue of acting. According to this view, action has a certain structural feature – a constitutive aim, principle, or standard – that both constitutes events as actions and generates a standard of assessment for action. We can use this standard of assessment to derive normative claims. In short, the authority of certain (...) normative claims arises from the bare fact that we are agents. This essay explains the constitutivst strategy, surveys the extant attempts to generate constitutivist theories, and considers the problems and prospects for the theory. (shrink)

The relationship between abstract formal procedures and the activities of actual physical systems has proved to be surprisingly subtle and controversial, and there are a number of competing accounts of when a physical system can be properly said to implement a mathematical formalism and hence perform a computation. I defend an account wherein computational descriptions of physical systems are high-level normative interpretations motivated by our pragmatic concerns. Furthermore, the criteria of utility and success vary according to our diverse purposes and (...) pragmatic goals. Hence there is no independent or uniform fact to the matter, and I advance the ‘anti-realist’ conclusion that computational descriptions of physical systems are not founded upon deep ontological distinctions, but rather upon interest-relative human conventions. Hence physical computation is a ‘conventional’ rather than a ‘natural’ kind. (shrink)

Freud claimed that the concept of drive is "at once the most important and the most obscure element of psychological research." It is hard to think of a better proof of Freud's claim than the work of Nietzsche, which provides ample support for the idea that the drive concept is both tremendously important and terribly obscure. Although Nietzsche's accounts of agency and value everywhere appeal to drives, the concept has not been adequately explicated. I remedy this situation by providing an (...) account of drives. I argue that Nietzschean drives are dispositions that generate evaluative orientations, in part by affecting perceptual saliences. In addition, I show that drive psychology has important implications for contemporary accounts of reflective agency. Contemporary philosophers often endorse a claim that has its origins in Locke and Kant: self-conscious agents are capable of reflecting on and thereby achieving a distance from their motives; therefore, these motives do not determine what the agent will do. Nietzsche's drive psychology shows that the inference in the preceding sentence is illegitimate. The drive psychology articulates a way in which motives can determine the agent's action by influencing the course of the agent's reflective deliberations. An agent who reflects on a motive and decides whether to act on it may, all the while, be surreptitiously guided by the very motive upon which he is reflecting. I show how this point complicates traditional models of the role of reflection in agency. (shrink)

[Significantly updated in Chapter 6 of Awareness and the Substructure of Knowledge] In order for a reason to justify an action or attitude it must be one that is possessed by an agent. Knowledge-centric views of possession ground our possession of reasons, at least partially, either in our knowledge of them or in our being in a position to know them. On virtually all accounts, knowing P is some kind of non-accidental true belief that P. This entails that knowing P (...) is a kind of non-accidental true representation that P. I outline a novel theory of the epistemic requirement on possession in terms of this more general state of non-accidental true representation. It is just as well placed to explain the motivations behind knowledge-centric views of possession, and it is also better placed to explain the extent of the reasons we possess in certain cases of deductive belief-updates and cases involving environmental luck. I conclude with three reflections. First, I indicate how my arguments generate a dilemma for Errol Lord’s view that possessing reasons is just a matter of being in a position to manifest one’s knowledge how to use them. Second, I explain how my view can simultaneously manage cases of environmental luck without falling prey to lottery cases. Finally, I sketch the direction for a further range of counterexamples to knowledge-centric theories of possession. (shrink)