The Constitution as an Axiomatic System

The Constitution is considered as an informal axiomatic system. The strategy proposed by the authors rests on the following propositions: (1) axioms are considered as contextual definitions of those concepts by means of which they are formulated; and (2) the main requirement for this type of system is internal consistency. The first proposition is necessary for considering the Constitution as an informal axiomatic system, while the second is sufficient, because the approach proposed, apart from consistency, must certainly consider the requirements for formal axiomatic systems, such as independence and completeness. The authors argue that the Constitution can be compared to axiomatic constructions in modern science in the sense that is given in the research on the logic and methodology of deductive sciences. This analogy is appropriate to the extent to which constitutional provisions are interpreted as the basic elements of the legal system, just as in the formal sciences axioms are regarded as basic principles that define the main features of the formal system. This means that the Constitution itself is seen as coherent, consistent discourse that contextually defines the meaning of the basic terms of the legal system.     

What Can Causal Claims Mean?

How can Hume account for the meaning of causal claims? The causal realist, I argue, is, on Hume's view, saying something nonsensical. I argue that both realist and agnostic interpretations of Hume are inconsistent with his view of language and intentionality. But what then accounts for this illusion of meaning? And even when we use causal terms in accordance with Hume’s definitions, we seem merely to be making disguised self-reports. I argue that Hume’s view is not as implausible as it sounds by exploring his conception of language.     

Frege on the generality of logical laws

Frege claims that the laws of logic are characterized by their “generality,” but it is hard to see how this could identify a special feature of those laws. I argue that we must understand this talk of generality in normative terms, but that what Frege says provides a normative demarcation of the logical laws only once we connect it with his thinking about truth and science. He means to be identifying the laws of logic as those that appear in every one of the scientific systems whose construction is the ultimate aim of science, and in which all truths have a place. Though an account of logic in terms of scientific systems might seem hopelessly antiquated, I argue that it is not: A basically Fregean account of the nature of logic still looks quite promising.     

The Venn-MacColl Dispute in Nature

During 1881, the British logicians John Venn and Hugh MacColl engaged in a brief dispute in Nature about ‘symbolical logic’. The letters to the editor shed interesting light on the early reception of MacColl’s contributions to logic and his position in the logical community of the Victorian era. Drawing on the correspondence between Venn and William Stanley Jevons, this paper analyzes the background and context of these letters, adding to the recent interest in the social dimensions of the development of British algebraic logic in the confusing intermediary period between the 1870s and 1890s.     

Normative Naturalism and Epistemic Relativism

In previous work, I defended Larry Laudan against the criticism that the axiological component of his normative naturalism lacks a naturalistic justification. I argued that this criticism depends on an equivocation over the term ‘naturalism’ and that it begs the question against what we are entitled to include in our concept of nature. In this paper, I generalize that argument and explore its implications for Laudan and other proponents of epistemic naturalism. Here, I argue that a commitment to naturalism in the methods and aims of science inevitably entails a kind of epistemic relativism. However, I argue that this should not be interpreted as a reductio of naturalism, since the admission of contextually based standards and aims of science does not result in quietism when it comes to important questions concerning scientific rationality.     

‘My Future Son is Possibly Alive’. Existential Presupposition and Empty Terms in Abelard's Modal Logic

The aim of this paper is to investigate the problem of existential import in Abelard's modal logic, and to ask whether the system of logical relationships that he proposes for modal propositions maintains its validity when some of the terms included in these propositions are empty. In the following, I first argue that, just as in the case of non-modal propositions, Abelard interprets modal propositions as having existential import, so that it is a necessary condition for the truth of propositions like ‘It is possible for my son to be alive’ or ‘it is necessary that all men are animals’ that their subjects’ referents exist. Then, I present the schemata of inferences that Abelard proposes to describe the logical behaviour of de rebus modal propositions. I argue that these systems of relations are valid only as long as all the terms contained in the formulas have an existing referent. I also claim that Abelard was aware of this difficulty (at least in the Logica Ingredientibus), and, accordingly, he explicitly decided to restrict the validity of his modal system to propositions that do not contain empty terms.     

MICHAEL POLANYI ON ART AND RELIGION: SOME CRITICAL REFLECTIONS ON MEANING

This paper is a critique of the theory of meaning in art and religion that Michael Polanyi developed in his last work entitled Meaning. After giving a brief summary of Polanyi's theory of art, I raise two serious difficulties, not with the theory itself, but with the claims Polanyi makes about the relation of meaning in art to science and religion. Regarding the first difficulty, I argue that Polanyi betrays an earlier insight when in Meaning he attempts to dissociate meaning in art from meaning in science; instead I argue that both science and art are aesthetic enterprises. Regarding the second, I argue that Polanyi's account of religion is an aesthetic reduction, that meaning in religion, at least in the Western tradition, is not so much an aesthetic as it is an existential matter.     

Reduction,externalism and immanence in Husserl and Heidegger

This paper argues that the Husserl–Heidegger relationship is systematically misunderstood when framed in terms of a distinction between internalism and externalism. Both philosophers, it is argued, employ the phenomenological reduction to immanence as a fundamental methodological instrument. After first outlining the assumptions regarding inner and outer and the individual and the social from which recent epistemological interpretations of phenomenology begin, I turn to the question of Husserl’s internalism. I argue that Husserl can only be understood as an internalist on the assumption that immanence equates with internal. This, however, is not the case as can be seen once the reduction is understood not as setting aside the existence of the world, but rather a reflection on its meaning. Turning to Heidegger, I argue that his commitment to a form of the phenomenological reduction precludes him from being either a semantic or a social externalist. The place of authenticity and the first person perspective in his work derive from his phenomenological commitments, which can be seen in his accounts of discourse and language and of falling (Verfallen). I then go on to briefly outline a more plausible basis for understanding the difference between Husserl’s and Heidegger’s phenomenologies in terms of their respective emphases on logic and on poetics.     

Husserl's Logical Grammar

Lecture notes from Husserl's logic lectures published during the last 20 years offer a much better insight into his doctrine of the forms of meaning than does the fourth Logical Investigation or any other work published during Husserl's lifetime. This paper provides a detailed reconstruction, based on all the sources now available, of Husserl's system of logical grammar. After having explained the notion of meaning that Husserl assumes in his later logic lectures as well as the notion of form of meaning as it features in ‘doctrine of the forms of meaning’, I present a system of rules that describes all the various forms of meaning that Husserl singles out in his lectures.     

Closing the gap? Some questions for neurophenomenology

In his 1996 paper “Neurophenomenology: A methodological remedy for the hard problem,” Francisco Varela called for a union of Husserlian phenomenology and cognitive science. Varela's call hasn't gone unanswered, and recent years have seen the development of a small but growing literature intent on exploring the interface between phenomenology and cognitive science. But despite these developments, there is still some obscurity about what exactly neurophenomenology is. What are neurophenomenologists trying to do, and how are they trying to do it? To what extent is neurophenomenology a distinctive and unified research programme? In this paper I attempt to shed some light on these questions.     

Against the Politics of Postmodern Philosophy of Science

This paper discusses the tenets of the politics of postmodern philosophy of science. At issue are Rouse’s version of naturalism and his reading of Quine’s distinction between the indeterminacy of translation and the underdetermination of theories by empirical evidence. I argue that the postmodern approach to science’s research practices as patterns of interaction within the world is not in line with the naturalistic account Rouse aims at. I focus also on Rouse’s readings of Heidegger’s existential conception of science and Kuhn’s concept of normal science. Finally, a strategy of defending science’s cognitive distinctiveness in terms of hermeneutic philosophy is suggested as an alternative to the postmodern philosophy of science.     

Harmony and Autonomy in Classical Logic

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.     

Phillips and Eternal Life: A Response to Haldane

This paper responds to John Haldane's recent criticisms of D. Z. Phillips’ treatment of the Christian belief in eternal life. I argue that Haldane's attempt to show that Phillips only partially elucidates, and hence misrepresents, this belief is unsuccessful, the biblical and theological passages cited by Haldane being amenable to elucidation in terms of which Phillips would have approved. Haldane makes three points to support his main claim, and I argue that none of these has significant force against Phillips’ position unless we presuppose the truth of some realist account of meaning, which Phillips would, of course, reject.     

Aristotle's Prior Analytics and Boole's Laws of Thought

Prior Analytics by the Greek philosopher Aristotle (384?–?322 BCE) and Laws of Thought by the English mathematician George Boole (1815?–?1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle's system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss many other historically and philosophically important aspects of Boole's book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole's contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology.

… using mathematical methods … has led to more knowledge about logic in one century than had been obtained from the death of Aristotle up to … when Boole's masterpiece was published.     

Pursuing Peirce

Charles S. Peirce, polymath, philosopher, logician, lived a life of often wild extremes and, when he died in 1914, had earned a vile reputation as a debauched genius. Yet he created a unified, profound and brilliant work, both published and unpublished, a fact difficult to explain. In my 1993 biography, I proposed three hypotheses to account for his Jekyll-Hyde character: his obsession with the puzzle of meaning, two neurological pathologies, trigeminal neuralgia and left-handedness, and the powerful influence of his father. After publication, further research has led me to propose two additional hypotheses to explain his extraordinary life: manic-depressive illness and mystical experience, the last greatly influencing the development of his doctrine of semeiotic, of which his logic of science is a part.     

Psychological laws and non-monotonic logic

In this essay I enter into a recently published debate between Stephen Schiffer and Jerry Fodor concerning whether adequate sense can be made of the ceteris paribus conditions in special science laws, much of their focus being on the case of putative psychological laws. Schiffer argues that adequate sense cannot be made of ceteris paribus clauses, while Fodor attempts to overcome Schiffer's arguments, in defense of special science laws. More recently, Peter Mott has attempted to show that Fodor's response to Schiffer fails, and furthermore that further study shows that the logical framework in which Schiffer and Fodor address their issue is susceptible to inconsistency.In this essay I argue that adequate sense can be made of ceteris paribus conditions. Against Mott, I argue that recent work in the model theory of non-monotonic logic indicates how his problem involving logical inconsistencies can be overcome. Against Schiffer, I argue that the claims that he makes against ceteris paribus clauses would lead to a fatal skepticism concerning indefinitely many of the claims we make about the world (and indeed that his claims would be destructive of the view of the special sciences that Schiffer himself presents in his paper), and that the semantical considerations from non-monotonic logic that I present provide a suitable framework for dealing with his complaints. Thus I come out on the whole on Fodor's side of this debate, although for my own reasons, as I argue against much of Fodor's own argumentation.     

Hume's Foundational Project in the Treatise

In the Introduction to the Treatise Hume very enthusiastically announces his project to provide a secure and solid foundation for the sciences by grounding them on his science of man. And Hume indicates in the Abstract that he carries out this project in the Treatise. But most interpreters do not believe that Hume's project comes to fruition. In this paper, I offer a general reading of what I call Hume's ‘foundational project’ in the Treatise, but I focus especially on Book 1. I argue that in Book 1 much of Hume's logic is put in the service of the other sciences, in particular, mathematics and natural philosophy. I concentrate on Hume's negative thesis that many of the ideas central to the sciences are ideas that we cannot form. For Hume, this negative thesis has implications for the sciences, as many of the texts I discuss make evident. I consider and criticize different proposals for understanding these implications: the Criterion of Meaning and the ‘Inconceivability Principle’. I introduce what I call Hume's ‘No Reason to Believe’ Principle, which I argue captures more adequately the link Hume envisions between his logic, in particular his examination of ideas, and the other sciences.