Bradwardine’s solution to the the logical paradoxes depends on the idea that every sentence signifies many things, and its truth depends on things’ being wholly as it signifies. This idea is underpinned by his claim that a sentence signifies everything that follows from what it signifies. But the idea that signification is closed under entailment appears too strong, just as logical omniscience is unacceptable in the logic of knowledge. What is needed is a more restricted closure principle. A clue can (...) be found in speech act pluralism, whereby indirect speech reports are closed under intersubstitutivity of co-referential terms. The conclusion is that solving the semantic paradoxes does not require revision of logic, thus saving logic from paradox. (shrink)

Models of cultural evolution need to address not only the organizational aspects of human societies, but also the complexity and structure of cultural idea systems that frame their systems of organization. These cultural idea systems determine a framework within which behaviors take place and provide mutually understood meanings for behavior from the perspective of both agent and recipient that are critical for the coherence of human systems of social organization.

The logician's central concern is with the validity of argument. A logical theory ought, therefore, to provide a general criterion of validity. This book sets out to find such a criterion, and to describe the philosophical basis and the formal theory of a logic in which the premises of a valid argument are relevant to its conclusion. The notion of relevance required for this theory is obtained by an analysis of the grounds for asserting a formula in a proof.

In this book, Stephen Read sets out to rescue logic from its undeserved reputation as an inflexible, dogmatic discipline by demonstrating that its technicalities and processes are founded on assumptions which are themselves amenable to philosophical investigation. He examines the fundamental principles of consequence, logical truth and correct inference within the context of logic, and shows that the principles by which we delineate consequences are themselves not guaranteed free from error. Central to the notion of truth is the beguiling issue (...) of paradox. Its philosophical value, Read shows, lies in exposing the invalid assumption on which the paradox is built. Thinking About Logic also discusses logical puzzles which introduce questions relating to language, the world, and their relationship. (shrink)

The first truly introductory text on Lyotard, this book situates Lyotard's interventions in the postmodern debate in the wider context of his rethinking of the politics of representation. Bill Readings examines Lyotard's relationship to structuralism, Marxism and semiotics, and contrasts his work with the literary deconstruction of Paul de Man; he positions Lyotard's work so as to draw out the implications of poststructurlaism's attention to _difference_ in reading. Lyotard's willingness to question the political and examine the relationship between art (...) and politics is shown to undermine the charge that deconstruction abdicates political and social articulation. (shrink)

We approach the physics of \emph{minimal coupling} in general relativity, demonstrating that in certain circumstances this leads to violations of the \emph{strong equivalence principle}, which states that, in general relativity, the dynamical laws of special relativity can be recovered at a point. We then assess the consequences of this result for the \emph{dynamical perspective on relativity}, finding that potential difficulties presented by such apparent violations of the strong equivalence principle can be overcome. Next, we draw upon our discussion of the (...) dynamical perspective in order to make explicit two `miracles' in the foundations of relativity theory. We close by arguing that the above results afford us insights into the nature of special relativity, and its relation to general relativity. (shrink)

There exists a common view that for theories related by a ‘duality’, dual models typically may be taken ab initio to represent the same physical state of affairs, i.e. to correspond to the same possible world. We question this view, by drawing a parallel with the distinction between ‘interpretational’ and ‘motivational’ approaches to symmetries.

Inferentialism claims that expressions are meaningful by virtue of rules governing their use. In particular, logical expressions are autonomous if given meaning by their introduction-rules, rules specifying the grounds for assertion of propositions containing them. If the elimination-rules do no more, and no less, than is justified by the introduction-rules, the rules satisfy what Prawitz, following Lorenzen, called an inversion principle. This connection between rules leads to a general form of elimination-rule, and when the rules have this form, they may (...) be said to exhibit “general-elimination” harmony. Ge-harmony ensures that the meaning of a logical expression is clearly visible in its I-rule, and that the I- and E-rules are coherent, in encapsulating the same meaning. However, it does not ensure that the resulting logical system is normalizable, nor that it satisfies the conservative extension property, nor that it is consistent. Thus harmony should not be identified with any of these notions. (shrink)

Anti-exceptionalism about logic is the doctrine that logic does not require its own epistemology, for its methods are continuous with those of science. Although most recently urged by Williamson, the idea goes back at least to Lakatos, who wanted to adapt Popper's falsicationism and extend it not only to mathematics but to logic as well. But one needs to be careful here to distinguish the empirical from the a posteriori. Lakatos coined the term 'quasi-empirical' `for the counterinstances to putative mathematical (...) and logical theses. Mathematics and logic may both be a posteriori, but it does not follow that they are empirical. Indeed, as Williamson has demonstrated, what counts as empirical knowledge, and the role of experience in acquiring knowledge, are both unclear. Moreover, knowledge, even of necessary truths, is fallible. Nonetheless, logical consequence holds in virtue of the meaning of the logical terms, just as consequence in general holds in virtue of the meanings of the concepts involved; and so logic is both analytic and necessary. In this respect, it is exceptional. But its methodologyand its epistemology are the same as those of mathematics and science in being fallibilist, and counterexamples to seemingly analytic truths are as likely as those in any scientic endeavour. What is needed is a new account of the evidential basis of knowledge, one which is, perhaps surprisingly, found in Aristotle. (shrink)

For Knox, ‘spacetime’ is to be defined functionally, as that which picks out a structure of local inertial frames. Assuming that Knox is motivated to construct this functional definition of spacetime on the grounds that it appears to identify that structure which plays theoperationalrole of spacetime—i.e., that structure which is actually surveyed by physical rods and clocks built from matter fields—we identify in this paper important limitations of her approach: these limitations are based upon the fact that there is a (...) gap between inertial frame structure and that which is operationally significant in the above sense. We present five concrete cases in which these two notions come apart, before considering various ways in which Knox’s spacetime functionalism might be amended in light of these issues. (shrink)

The correspondence theory of truth has experienced something of a revival recently in the form of the Truthmaker Axiom: whatever is true, something makes it true. We consider various postulates which have been proposed to characterize truthmaking, in particular, the Disjunction Thesis (DT), that whatever makes a disjunction true must make one or other disjunct true. In conjunction with certain other assumptions, DT leads to triviality. We show that there are elaborations of truthmaking on which DT holds (which must therefore (...) take steps to avoid the triviality); but that there are more plausible accounts of truthmaking on which DT fails. (shrink)

Logical pluralism is the claim that different accounts of validity can be equally correct. Beall and Restall have recently defended this position. Validity is a matter of truth-preservation over cases, they say: the conclusion should be true in every case in which the premises are true. Each logic specifies a class of cases, but differs over which cases should be considered. I show that this account of logic is incoherent. Validity indeed is truth-preservation, provided this is properly understood. Once understood, (...) there is one true logic, relevance logic. The source of Beall and Restall’s error is a recent habit of using a classical metalanguage to analyse non-classical logics generally, including relevance logic. (shrink)

If one is impressed with Wittgenstein's philosophizing, then it is a deep mistake to think that the terms that he made famous-philosophical terms like 'form of life', 'language-game', 'everyday', 'bedrock'-are the key to his philosophy. On the contrary, they are in the end an obstacle to be overcome. The last temptation of the Wittgensteinian philosopher is to treat these terms as providing a kind of ersatz foundation. They are rather a ladder that takes one... to where one already is, only (...) now undeluded. Provided, that is, that one throws them away, at the first sign that one feels oneself to be securely grounded by-or holding onto-them. (shrink)

In this book, Rupert Read offers the first outline of a resolute reading, following the highly influential New Wittgenstein 'school', of the Philosophical Investigations. He argues that the key to understanding Wittgenstein's later philosophy is to understand its liberatory purport. Read contends that a resolute reading coincides in its fundaments with what, building on ideas in the later Gordon Baker, he calls a liberatory reading. Liberatory philosophy is philosophy that can liberate the user from compulsive patterns of (...) thought, freeing one for possibilities that were previously obscured. Such liberation is our prime goal in philosophy. This book consists in a sequential reading, along these lines, of what Read considers the most important and controversial passages in the Philosophical Investigations 1, 16, 43, 95 & 116 & 122, 130-3, 149-151, 186, 198-201, 217, and 284-6. Read claims that this liberatory conception is simultaneously an ethical conception. The PI should be considered a work of ethics in that its central concern becomes our relation with others. Wittgensteinian liberations challenge widespread assumptions about how we allegedly are independent of and separate from others. Wittgenstein's Liberatory Philosophy will be of interest to scholars and advanced students working on Wittgenstein, and to scholars of the political philosophy of liberation and the ethics of relation. (shrink)

Does the gravitational field described in general relativity possess genuine stress-energy? We answer this question in the affirmative, in a weak sense applicable in a certain class of frames of a certain class of models of the theory, and arguably also in a strong sense, applicable in all frames of all models of the theory. In addition, we argue that one can be a realist about gravitational stress-energy in general relativity even if one is a relationist about spacetime ontology. In (...) each case, our reasoning rests upon a functionalist approach to the definition of physical quantities. (shrink)

We analyse the possibility that string-theoretic dualities present a genuine case of strong underdetermination of theory by evidence. Drawing on the parallel discussion of the hole argument, we assess the possible interpretations of dualities. We conclude that there exist at least two defensible interpretations on which dualities do not present a worrying case of underdetermination per se.

Michael Dummett and Dag Prawitz have argued that a constructivist theory of meaning depends on explicating the meaning of logical constants in terms of the theory of valid inference, imposing a constraint of harmony on acceptable connectives. They argue further that classical logic, in particular, classical negation, breaks these constraints, so that classical negation, if a cogent notion at all, has a meaning going beyond what can be exhibited in its inferential use. I argue that Dummett gives a mistaken elaboration (...) of the notion of harmony, an idea stemming from a remark of Gerhard Gentzen's. The introduction-rules are autonomous if they are taken fully to specify the meaning of the logical constants, and the rules are harmonious if the elimination-rule draws its conclusion from just the grounds stated in the introduction-rule. The key to harmony in classical logic then lies in strengthening the theory of the conditional so that the positive logic contains the full classical theory of the conditional. This is achieved by allowing parametric formulae in the natural deduction proofs, a form of multiple-conclusion logic. (shrink)

Re-reads Marx in light of the contemporary critical interrogation of subjectivity.

I discuss the debate between dynamical versus geometrical approaches to spacetime theories, in the context of both special and general relativity, arguing that the debate takes a substantially different form in the two cases; different versions of the geometrical approach—only some of which are viable—should be distinguished; in general relativity, there is no difference between the most viable version of the geometrical approach and the dynamical approach. In addition, I demonstrate that what have previously been dubbed two ‘miracles’ of general (...) relativity admit of no resolution from within general relativity, on either the dynamical or ‘qualified’ geometrical approaches, modulo some possible hints that the second ‘miracle’ may be resolved by appeal to recent results regarding the ‘geodesic principle’ in GR. (shrink)

Roger Swyneshed, in his treatise on insolubles, dating from the early 1330s, drew three notorious corollaries from his solution. The third states that there is a contradictory pair of propositions both of which are false. This appears to contradict what Whitaker, in his iconoclastic reading of Aristotle’s De Interpretatione, dubbed “The Rule of Contradictory Pairs”, which requires that in every such pair, one must be true and the other false. Whitaker argued that, immediately after defining the notion of a (...) contradictory pair, in which one statement affirms what the other denies of the same thing, Aristotle himself gave counterexamples to the rule. This gives some credence to Swyneshed’s claim that his solution to the logical paradoxes is not contrary to Aristotle’s teaching, as many of Swyneshed’s contemporaries claimed. Insolubles are false, he said, because they falsify themselves; and their contradictories are false because they falsely deny that the insoluble itself is false. Swyneshed’s solution depends crucially on the revision he makes to the acount of truth and falsehood, brought out in his first thesis: that a false proposition can signify as it is, or as Paul of Venice, who took up and developed Swyneshed’s solution some sixty years later, puts it, a false proposition can have a true significate. Swyneshed gave a further counterexample to when he claimed that some insolubles, like future contingents, are neither true nor false. Dialetheism, the contemporary claim that some propositions are both true and false, is wedded to the Rule, and in consequence divorces denial from the assertion of the contradictory negation. Consequently, Swyneshed’s logical heresy is very different from that found in dialetheism. (shrink)

This article examines Michel Foucault’s critical investigation of neoliberalism in the course published as Naissance de la biopolitique: Cours au Collège de France, 1978-1979. Foucault’s lectures are interrogated along two axes. First, examining the way in which neoliberalism can be viewed as a particular production of subjectivity, as a way in which individuals are constituted as subjects of “human capital.” Secondly, Foucault’s analyses is augmented and critically examined in light of other critical work on neoliberalism by Wendy Brown, David Harvey, (...) Christian Laval, Maurizo Lazzarato, and Antonio Negri. Of these various debates and discussions, the paper argues that the discussion of real subsumption in Marx and Negri is most important for understanding the specific politics of neoliberalism. Finally, the paper argues that neoliberalism entails a fundamental reexamination of the tools of critical thought, an examination of how freedom can constitute a form of subjection. (shrink)

First Published in 2004. Routledge is an imprint of Taylor & Francis, an informa company.

Jan Lukasiewicz's treatise on Aristotle's Syllogistic, published in the 1950s, has been very influential in framing contemporary understanding of Aristotle's logical systems. However, Lukasiewicz's interpretation is based on a number of tendentious claims, not least, the claim that the syllogistic was intended to apply only to non-empty terms. I show that this interpretation is not true to Aristotle's text and that a more coherent and faithful interpretation admits empty terms while maintaining all the relations of the traditional square of opposition.

Debates about empathy's role in morality are notoriously complex. On the one hand, proponents of empathy argue that it plays a crucial role in the process of making moral judgments, moral motivation, moral development, and the cultivation of meaningful personal relationships. On the other hand, critics of empathy warn that it is especially susceptible to a number of morally troubling biases and motivational shortcomings. Yet there is little consensus about what empathy is or what it might be good for from (...) a moral point of view. As a result, critics and proponents of empathy alike often wind up talking past each other and debates about empathy's role in morality reach an impasse. This paper proposes a typology of empathy's affective, cognitive, and motivational dimensions and the different forms that empathy can take depending on the nature and degree of prominence of these. It argues that different forms of empathy are well equipped to handle some moral tasks as well as ill‐equipped to handle others. Its aim in doing so is to clarify an otherwise conceptually thorny set of debates and to amplify future research on empathy and its role in the moral life. (shrink)

Ecological Psychology and Enactivism both challenge representationist cognitive science, but the two approaches have only begun to engage in dialogue. Further conceptual clarification is required in which differences are as important as common ground. This paper enters the dialogue by focusing on important differences. After a brief account of the parallel histories of Ecological Psychology and Enactivism, we cover incompatibility between them regarding their theories of sensation and perception. First, we show how and why in ecological theory perception is, crucially, (...) not based on sensation. We elucidate this idea by examining the biological roots of work in the two fields, concentrating on Gibson and Varela and Maturana. We expound an ecological critique of any sensation-based approach to perception by detailing two topics: classic retinal image theories and perception in single-celled organisms. The second main point emphasizes the importance of the idea of organism-environment mutuality and its difference from structural coupling of sensations and motor behavior. We point out how ecological - phenomenological methods of inquiry grow out of mutualism and compare Gibson’s idea of visual kinesthesis to Merleau-Ponty’s idea of the lived body. Third, we conclude that Ecological Psychology and varieties of Enactivism are laying down different paths to pursue related goals. Thus, convergence of Ecological Psychology and Enactivism is not possible given their conflicting assumptions, but cross-fertilization is possible and desirable. (shrink)

"The Politics of Transindividuality" proposes a new understanding of not just the relation of the individual to the collective, but of politics and economics, one that can not only keep pace with existing transformations of capital but ultimately contest them.

Logical inferentialism claims that the meaning of the logical constants should be given, not model-theoretically, but by the rules of inference of a suitable calculus. It has been claimed that certain proof-theoretical systems, most particularly, labelled deductive systems for modal logic, are unsuitable, on the grounds that they are semantically polluted and suffer from an untoward intrusion of semantics into syntax. The charge is shown to be mistaken. It is argued on inferentialist grounds that labelled deductive systems are as syntactically (...) pure as any formal system in which the rules define the meanings of the logical constants. (shrink)

If one is impressed with Wittgenstein's philosophizing, then it is a deep mistake to think that the terms that he made famous-philosophical terms like 'form of life', 'language-game', 'everyday', 'bedrock'-are the key to his philosophy. On the contrary, they are in the end an obstacle to be overcome. The last temptation of the Wittgensteinian philosopher is to treat these terms as providing a kind of ersatz foundation. They are rather a ladder that takes one... to where one already is, only (...) now undeluded. Provided, that is, that one throws them away, at the first sign that one feels oneself to be securely grounded by-or holding onto-them. (shrink)

If one is impressed with Wittgenstein's philosophizing, then it is a deep mistake to think that the terms that he made famous-philosophical terms like 'form of life', 'language-game', 'everyday', 'bedrock'-are the key to his philosophy. On the contrary, they are in the end an obstacle to be overcome. The last temptation of the Wittgensteinian philosopher is to treat these terms as providing a kind of ersatz foundation. They are rather a ladder that takes one... to where one already is, only (...) now undeluded. Provided, that is, that one throws them away, at the first sign that one feels oneself to be securely grounded by-or holding onto-them. (shrink)

Recent business headlines, particularly those related to the collapsed energy-trading giant, Enron and its auditor, Arthur Andersen raise concerns about accountants' ethical reasoning. We propose, and provide evidence from 90 new auditors from Big-Five accounting firms, that a selection-socialization effect exists in the accounting profession that results in hiring accountants with disproportionately higher levels of the Sensing/thinking (ST) cognitive style. This finding is important and relevant because we also find that the ST cognitive style is associated with relatively low levels (...) of ethical reasoning, regardless of gender. This finding implies a need for emphasis on the ethical training of accountants. The results also suggest that accounting firms should consider recruiting accountants with cognitive styles associated with relatively higher levels of ethical reasoning. (shrink)

The idea of proof-theoretic validity originated in the work of Gentzen, when he suggested that the meaning of each logical expression was encapsulated in its introduction-rules. The idea was developed by Prawitz and Dummett, but came under attack by Prior under the soubriquet 'analytic validity'. Logical truths and logical consequences are deemed analytically valid by virtue of following, in a way which the present chapter clarifies, from the meaning of the logical constants. But different logics are based on different rules, (...) confer different meanings and so validate different theorems and consequences, some of which are arguably not true or valid at all. It seems to follow that some analytic statements are in fact false. The moral is that we must be careful what rules we adopt and what meanings we use our rules to determine. (shrink)

The Oxford Calculator Roger Swyneshed put forward three provocative claims in his treatise on insolubles, written in the early 1330s, of which the second states that there is a formally valid inference with true premises and false conclusion. His example deployed the Liar paradox as the conclusion of the inference: ‘The conclusion of this inference is false, so this conclusion is false’. His account of insolubles supported his claim that the conclusion is false, and so the premise, referring to the (...) conclusion, would seem to be true. But what is his account of validity that can allow true premises to lead to a false conclusion? This article considers Roger’s own account, as well as that of Paul of Venice, writing some sixty years later, whose account of the truth and falsehood of insolubles followed Roger’s closely. Paul endorsed Roger’s three claims. But their accounts of validity were different. The question is whether these accounts are coherent and support Paul’s claim in his Logica Magna that he endorsed all the normal rules of inference. (shrink)

I. SUPPOSITION AND SIGNIFICATIONIn an insightful article on the medieval theory of supposition, Elizabeth Karger noted a remarkable development in the characterization of the material mode of supposition between William of Ockham and his contemporaries in the early fourteenth century and Paul of Venice and others at the turn of the fifteenth century.1. E. Karger, “La Supposition Materielle comme Supposition Significative: Paul de Venise, Paul de Pergula,” in A. Maierú, ed., English Logic in Italy in the 14th and 15th Centuries (...) (Naples, 1982), pp. 331–41. For William, material supposition is explicitly ‘non-significative’, while for Paul, every mode of supposition is a kind of signification.2. Paul of Venice, Logica Magna (Tractatus de Suppositionibus), ed. and trans. A. Perreiah (St. Bonaventure, 1971), p. 4: “nam omnis suppositio est significatio.” In particular, we can set these definitions in opposition. (shrink)

Special relativity has been understood by many as vindicating a tenseless conception of time, denying the existence of tensed facts and a fortiori objective temporal passage. The reason for this is straightforward: both passage and the obtaining of tensed facts require a universal knife-edge present moment—yet this structure is not easily reconcilable with the relativity of simultaneity. The above being said, the prospects for tense and passage are sometimes claimed to be improved on moving to cosmological solutions of general relativity. (...) In this paper, we evaluate in detail these arguments, finding that there remain several open questions to be addressed if the introduction of tensed facts into the relativistic context is to be compelling. Moreover, we argue that, even setting aside these issues, objective tense stands and falls in relativity for exactly the same reasons that it does in classical philosophical discussions on the matter. (shrink)

A series of essays on film and philosophy whose authors - philosophers or film studies experts - write on a wide variety of films: classic Hollywood comedies, war films, Eastern European art films, science fiction, showing how film and watching it can not only illuminate philosophy but, in an important sense, be doing philosophy. The book is crowned with an interview with Wittgensteinian philosopher Stanley Cavell, discussing his interests in philosophy and in film and how they can come together.

Historically, a great deal of attention has been addressed to the question of what it would take to test experimentally the metrical structure of spacetime. Arguably, however, consideration of this question has been at the expense of comparable investigations into what it would take to test other structural features of spacetime. In this article, we critique and expand substantially upon an article by Hadley (Hadley in Class Quantum Gravity, 19:4565–4571, 2002), which constitutes one of the best-known paper-length studies of what (...) it would take to test the orientability of spacetime. In so doing, we seek to clarify a number of matters which remain unclear in the wake of Hadley’s article, thereby allowing the literature on this topic to progress. More positively, we also present, compare, and evaluate a number of other potential approaches to testing the orientability of spacetime which have arisen in the recent physics literature. (shrink)

The recovery of Aristotle’s logic during the twelfth century was a great stimulus to medieval thinkers. Among their own theories developed to explain Aristotle’s theories of valid and invalid reasoning was a theory of consequence, of what arguments were valid, and why. By the fourteenth century, two main lines of thought had developed, one at Oxford, the other at Paris. Both schools distinguished formal from material consequence, but in very different ways. In Buridan and his followers in Paris, formal consequence (...) was that preserved under uniform substitution. In Oxford, in contrast, formal consequence included analytic consequences such as ‘If it’s a man, then it’s an animal’. Aristotle’s notion of syllogistic consequence was subsumed under the treatment of formal consequence. Buridan developed a general theory embracing the assertoric syllogism, the modal syllogism and syllogisms with oblique terms. The result was a thoroughly systematic and extensive treatment of logical theory and logical consequence which repays investigation. (shrink)

The surge of interest in Jean-Francois Lyotard's writings has pushed him into the centre of debate on the postmodern.