One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to (...) be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

The paper argues that unlike Ramsey, Frege and Russell lacked the idea of an arbitrary function and this had important consequences for their foundational programs.

It is argued that the goal of Hilbert's program was to prove the model-theoretical consistency of different axiom systems. This Hilbert proposed to do by proving the deductive consistency of the relevant systems. In the extended independence-friendly logic there is a complete proof method for the contradictory negations of independence-friendly sentences, so the existence of a single proposition that is not disprovable from arithmetic axioms can be shown formally in the extended independence-friendly logic. It can also be proved by means (...) of independence-friendly logic that proof-theoretical consistency of a sentence S implies the existence of a model in which S is not false. Hence the consistency of the axioms of arithmetic in the sense of being not-false in a model can be proved. (shrink)

The present volume collects presented at a symposium on The History of Logic held in Helsinki in June 11–13, 2000 hosted by the University of Helsinki, Finland. They bear on issues in the history of logic and foundations of mathematics and are contributions by some of the most renown scholars in the field.

The article presents Erik Stenius' conception of logical constants and compares it with the standard approach.

Hume and Quine argue that human beings do not have access to general knowledge, that is, to general truths . The arguments of these two philosophers are premised on what Jaakko Hintikka has called the atomistic postulate. In the present work, it is shown that Hume and Quine in fact sanction an extreme version of this postulate, according to which even items of particular knowledge are not directly accessible in so far as they are relational. For according to (...) their fully realized systems, human beings do not initially perceive any relations, or similar epistemological elements that can associate or combine terms on which a relational or general knowledge claim may be based. Nor, likewise, do human beings perceive the relations or the associations themselves as separate entities. ;In Chapters 1 and 2, respectively, it is shown precisely why Hume and Quine deny that human beings initially perceive either such associative elements or associations in general. Concomitantly, it is made clear why Hume's and Quine's respective epistemologies preclude human beings from initially apprehending not only general knowledge, but particular relational knowledge as well. But this is not to say that Hume and Quine do not think we can eventually acquire such associative elements and correspondingly, knowledge. Rather, Hume and Quine do provide an account of knowledge, but one that holds all relational and connective elements to be constructed by the human mind. In Hume's case, they are constructed by the imagination. In Quine's case, we are never told quite how this construction occurs, although the evidence suggests that Quine implicitly relies on a faculty similar to Hume's imagination. ;In the final chapter of this thesis, it is argued that both Hume and Quine must be read as philosophers who justify knowledge by reducing its possibility to a psychological faculty of construction, as well as to a few concepts of intuitively grasped relations. By way of conclusion, it is shown that this makes Quine's naturalism the psychological heir to Carnap's Aufbau. (shrink)

Hintikka considers that the “Transcendental Deduction” includes finding the role that concepts in the effort is meant by human activities of acquiring knowledge; and it affirms that the principles governing human activities of knowledge can be objective rules that can become transcendental conditions of experience and no conditions contingent product of nature of human agents involved in the know. In his opinion, intuition as it is used by Kant not be understood in the traditional way, ie as producer of (...) mental images, but rather as that which the mind represents an individual. To support this interpretation refers to the lessons of Kant´s Logics, to individuality space time and the thesis, submitted the winning essay in 1764, characterizing the mathematical method by the use of particular representatives of general concepts. Thus, his exegesis considers the Kantian conceptions of the “Doctrine of Method” not later conceptions, as traditionally interpreted, but prior conceptions to the processing of “Transcendental Aesthetic”. This article reconstructs some of their arguments that eventually will equal the Kantian intuition with the Euclidean ecthesis. (shrink)

Jaakko Hintikka, in a series of talks in Brazil in 2008, defended that IF logic and paraconsistent logic are, in a sense, very similar. Having sketched the proposal of a new paraconsistent system, he maintains that several achievements of IF logic could be reproducible in paraconsistent logic. One of the major difficulties, left as a challenge, would be to formulate some truth conditions for this new paraconsistent first-order language in order to make IF logic and paraconsistent logic more (...) inter-related. My proposal is that this would demand an innovative game-theoretical semantic approach to paraconsistentism, but also that the syntax of the paraconsistent “Logics of Formal Inconsistency” can model the internal logic of Socratic elenchi. I aim to discuss these, and other points posed by Hintikka, as challenges and opportunities for paraconsistentism, paraconsistent logics and IF logics, as well as to raise some criticisms on Hintikka’s view about paraconsistency. (shrink)

L’article qui suit a pour but de présenter un des aspects centraux de la contribution philosophique de Jaakko Hintikka : l’épistémologie formelle. Le thème choisi, le Paradoxe de Moore, permettra d’illustrer le mot d’ordre de la philosophie formelle, celui d’utiliser des outils logiques en vue de la clarification de problèmes philosophiques. Il s’agit également de mettre en évidence la nature pragmatique du discours épistémique, qui transparaît dans les résultats sémantiques de Hintikka et parle en faveur de la (...) logique illocutoire. (shrink)

The paper deals with the main contribution of the Finnish logician Jaakko Hintikka: epistemic logic, in particular the 'static' version of the system based on the formal analysis of the concepts of knowledge and belief. I propose to take a different look at this philosophical logic and to consider it from the opposite point of view of the philosophy of logic. At first, two theories of meaning are described and associated with two competing theories of linguistic competence. In (...) a second step, I draw the conclusion that Hintikka's epistemic logic constitutes a sort of internalisation of meaning, by the introduction of epistemic modal operators into an object language. In this respect, to view meaning as the result of a linguistic competence makes epistemic logic nothing less than a logic of unified meaning and understanding. (shrink)

Jaakko Hintikka proposed treating objectual perception sentences, such as “Alice sees Bob,” as de re propositional perception sentences. Esa Saarinen extended Hintikka’s idea to eventive perception sentences, such as “Alice sees Bob smile.” These approaches, elegant as they may be, are not philosophically neutral, for they presuppose, controversially, that the content of all perceptual experiences is propositional in nature. The aim of this paper is to propose a formal treatment of objectual and eventive perception sentences that builds (...) on Hintikka’s modal approach to propositional attitude ascriptions while avoiding controversial assumptions on the nature of perceptual experiences. Despite being simple and theoretically frugal, our approach is powerful enough to express a variety of interesting philosophical views about propositional, objectual, and eventive perception sentences, thus enabling the study of their inferential relationships. (shrink)

On Jaakko Hintikka’s understanding of Aristotle’s modal thought, Aristotle is committed to a version of the Principle of Plenitude, which is the thesis that no genuine possibility will go unactualized in an infinity of time. If in fact Aristotle endorses the Principle of Plenitude, everything becomes necessary. Despite the strong evidence that Aristotle indeed accepts that Principle of Plenitude, there are key texts in which Aristotle seems to contradict it. On Hintikka’s final word on the matter, Aristotle (...) either endorses the Principle of Plenitude or Aristotle is simply inconsistent. Without challenging Hintikka’s interpretation of the relevant texts, I show how Aristotle may accept a form of the Principle of Plenitude that allows for genuine unactualized possibilities in the world. What allows me to reconcile the seemingly inconsistent data is to show how Aristotle is only committed to a de re version of the Principle of Plenitude. After I lay out my proposal, I show how it opens up new ways in which we might understand Aristotle’s attempt to reject fatalism in his De interpretatione 9. (shrink)

‘Performative’ transcendental arguments exploit the status of a subcategory of self-falsifying propositions in showing that some form of skepticism is unsustainable. The aim of this paper is to examine the relationship between performatively inconsistent propositions and transcendental arguments, and then to compare performative transcendental arguments to modest transcendental arguments that seek only to establish the indispensability of some belief or conceptual framework. Reconceptualizing transcendental arguments as performative helps focus the intended dilemma for the skeptic: performative transcendental arguments directly confront the (...) skeptic with the choice of abandoning either skepticism or some other deep theoretical commitment. Many philosophers, from Aristotle and St. Thomas Aquinas to Jaakko Hintikka, C.I. Lewis, and Bernard Lonergan, have claimed that some skeptical propositions regarding knowledge, reason, and/or morality can be shown to be self-defeating; that is to say, they have claimed that the very upholding of some skeptical position is in some way incompatible with the position being upheld, or with the implied, broader dialectical position of the skeptic in question. Statements or propositions alleged to have this characteristic also sometimes are called ‘self-falsifying,’ ‘self-refuting,’ ‘self-stultifying,’ ‘self-destructive,’ or ‘pointless.’ However, proponents of the strategy of showing skepticism to be self-defeating have not in general adequately distinguished between two types of self-defeating proposition: self-falsifying and self-stultifying. In the first part of this paper I distinguish between self-falsifying and self-stultifying propositions, and introduce the notion of performative self-falsification. In the second part I discuss classical transcendental arguments, ‘modest’ transcendental arguments, and objections to each. In the third part I introduce two types of transcendental argument—each labeled “performative”—corresponding to two types of performatively self-falsifying proposition, and I compare them to modest transcendental arguments. (shrink)

This is a contribution to the idea that some proofs in first-order logic are synthetic. Syntheticity is understood here in its classical geometrical sense. Starting from Jaakko Hintikka’s original idea and Allen Hazen’s insights, this paper develops a method to define the ‘graphical form’ of formulae in monadic and dyadic fraction of first-order logic. Then a synthetic inferential step in Natural Deduction is defined. A proof is defined as synthetic if it includes at least one synthetic inferential step. (...) Finally, it will be shown that the proposed definition is not sensitive to different ways of driving the same conclusion from the same assumptions. (shrink)

Although epistemic possibility figures in several debates, those debates have had relatively little contact with one another. G. E. Moore focused squarely upon analyzing epistemic uses of the phrase, ‘It’s possible that p’, and in doing so he made two fundamental assumptions. First, he assumed that epistemic possibility statements always express the epistemic position of a community, as opposed to that of an individual speaker. Second, he assumed that all epistemic uses of ‘It’s possible that p’ are analyzable in terms (...) of knowledge, not belief. A number of later theorists, including Keith DeRose, provide alternative accounts of epistemic possibility, while retaining Moore’s two assumptions. Neither assumption has been explicitly challenged, but Jaakko Hintikka’s analysis provides a basis for doing so. Drawing upon Hintikka’s analysis, I argue that some epistemic possibility statements express only the speaker’s individual epistemic state, and that contra DeRose, they are not degenerate community statements but a class in their own right. I further argue that some linguistic contexts are belief- rather than knowledge-based, and in such contexts, what is possible for a speaker depends not upon what she knows, but upon what she believes. (shrink)

In the framework of Husserl's phenomenology, intentionality is regarded as the main feature of every act of consciousness. Our consciousness is directed towards objects immanent in it, however in a variety of epistemological functions and operations, such as sensory perception, judgment, cognition, volition, imagination, etc. Husserl uses the technical terms noesis and noema to designate the intentional acts of consciousness and their outcome in the constitution of objects in consciousness. At the same time, the persistence of a hyletic data is (...) emphasized, which as pure sense data escapes the phenomenological reduction and remains as such a residuum in the consciousness. In my lecture I try to work out the clear implication of epistemological referentiality in the phenomenological basic notion of intentionality. Among other things, I rely on the conceptual history of intentionality, i. e. on the earlier theories of intentionality in the Middle Ages and the philosophical revival of this notion in the late 19th century by Franz Brentano. Referentiality defines itself as the referential access of consciousness to objects of sensory perception, judgment, cognition, etc., in which the objects form the final referents. In the phenomenological framework, intentionality refers to the intentional access of consciousness to objects irrespective of their consciousness-immanence or -transcendence. The analogy between intentionality and referentiality is therefore based on the act-character as well as the directionality of consciousness which suggests the characteristic attempt of consciousness to gain intentional-referential access to objects. The directionality of consciousness in every intentional act ultimately marks and confirms the referentiality i. e the referential access of consciousness to the object. Intentionality as intentional-referential access to objects becomes a problem, when the access of consciousness to the object proves to be inadequate. I try to show how this problem of referentiality inevitably arises in Husserl's phenomenology of inner time-consciousness, especially in his conception of a time-object (Zeitobjekt). The consciousness-immanence of a time-object, such as a melody, points to a problem, that the intertwining of the temporality of consciousness and that of time-object necessarily results in various aporias of time, as Paul Ricœur observes and discusses in detail in his seminal work Temps et Récit. Moreover, the residual persistence of hyletic data, that survives all phenomenological reductions, would establish an actual interface between consciousness and reality, as Jaakko Hintikka emphasizes in his essay The phenomenological dimension. The aporicity of time refers to the autonomy of time and, thereby, to the autonomy of time-object in its intentional in-existence in consciousness. The hyletic data as interface between consciousness and reality points to the necessary referential extension of consciousness to objects that are otherwise excluded in the context of phenomenology. From these and similar premises, I would like to demonstrate how the problem of referentiality in Husserl's philosophy of time inevitably presupposes a reversion of referentiality within the prevailing noesis-noema structure that underlies the consciousness-immanence of objects. (shrink)

In this study I discuss G. W. Leibniz's (1646-1716) views on rational decision-making from the standpoint of both God and man. The Divine decision takes place within creation, as God freely chooses the best from an infinite number of possible worlds. While God's choice is based on absolutely certain knowledge, human decisions on practical matters are mostly based on uncertain knowledge. However, in many respects they could be regarded as analogous in more complicated situations. In addition to giving an overview (...) of the divine decision-making and discussing critically the criteria God favours in his choice, I provide an account of Leibniz's views on human deliberation, which includes some new ideas. One of these concerns is the importance of estimating probabilities – in making decisions one estimates both the goodness of the act itself and its consequences as far as the desired good is concerned. Another idea is related to the plurality of goods in complicated decisions and the competition this may provoke. Thirdly, heuristic models are used to sketch situations under deliberation in order to help in making the decision. Combining the views of Marcelo Dascal, Jaakko Hintikka and Simo Knuuttila, I argue that Leibniz applied two kinds of models of rational decision-making to practical controversies, often without explicating the details. The more simple, traditional pair of scales model is best suited to cases in which one has to decide for or against some option, or to distribute goods among parties and strive for a compromise. What may be of more help in more complicated deliberations is the novel vectorial model, which is an instance of the general mathematical doctrine of the calculus of variations. To illustrate this distinction, I discuss some cases in which he apparently applied these models in different kinds of situation. These examples support the view that the models had a systematic value in his theory of practical rationality. (shrink)

Leibniz frequently argued that reasons are to be weighed against each other as in a pair of scales, as Professor Marcelo Dascal has shown in his article "The Balance of Reason." In this kind of weighing it is not necessary to reach demonstrative certainty – one need only judge whether the reasons weigh more on behalf of one or the other option However, a different kind of account about rational decision-making can be found in some of Leibniz's writings. In his (...) article "Was Leibniz's Deity an Akrates?" Professor Jaakko Hintikka has argued that Leibniz developed a new vectorial model for rational decisions which is better suited to complicated decisions, where values are complementary to each other. This model, related closely to his work in metaphysics and the philosophy of mind, is a heuristic device which helps in finding rational combinations - and in an ideal case an optimum - between plural inclinations to the good. I shall argue that Leibniz applies more or less implicitly both of these models in his practical rationality. In simple situations he applied the pair of scales model and in more complicated situations he applied the vectorial model. (shrink)

Cet article a pour but d’étudier les perspectives que l’approche performative de la preuve fournit, afin de répondre à deux questions classiques liées à l’interprétation de l’argument cartésien : Cogito ergo sum. La première question est la suivante : quel type de contrainte logique ou non-logique ergo exprime-t-il dans la formulation de cet argument? La seconde question est celle-ci : quel type d’existence est manifesté par l’argument Cogito, ou Cogito ergo quis est ?

The structural theory of metaphor (STM) uses techniques from possible worlds semantics to generate and interpret metaphors. STM is presented in detail in The Logic of Metaphor: Analogous Parts of Possible Worlds (Steinhart, 2001). STM is based on Kittay’s semantic field theory of metaphor (1987) and ultimately on Black’s interactionist theory (1962, 1979). STM uses an intensional calculus to specify truth-conditions for many grammatical forms of metaphor. The truth-conditional analysis in STM is inspired in part by Miller (1979) and (...) class='Hi'>Hintikka & Sandu (1994). STM is by no means a toy theory. It has been successfully tested on dozens of large texts taken from real authors. Its methods can be applied in very large linguistic databases like WordNet or MindNet. (shrink)

As the title suggests, this paper is something of a leftover – or perhaps a new branch – to my "Meaning in Time: on temporal externalism and Kripkenstein’s skeptical challenge". In that work I essayed to portray my understanding of the sceptical challenge uncovered by Saul Kripke’s reading of Wittgenstein’s later works in a nutshell as to its nature and resolution. Here, my task is to dig a little deeper into the key phrase of the earlier paper, namely the claim (...) that meanings, facts grounding meaning facts, and ascriptions of meaning have an important historical dimension to them. In particular, I explore the ideas that (i) the problem of finitude is fundamentally a logical and not a metaphysical problem and (ii) Devitt's development of Kripke's causal-historical theory of reference implies a natural explanation for how at least the meanings of some terms can have a historical dimension. (shrink)

The notion of credit plays a central role in virtue epistemology and in the literature on moral worth. While virtue epistemologists and ethicists have devoted a significant amount of work to providing an account of creditable success, a unified theory of credit applicable to both epistemology and ethics, as well as a discussion of the general form it should take, are largely missing from the literature. Our goal is to lay out a theory of credit that seems to underlie much (...) of the discussion in virtue epistemology, which we dub the Cake Theory. We argue that given the goals that virtue epistemologists and ethicists who discuss moral worth have, this theory is problematic, for it makes credit depend on the wrong facts. (shrink)

Artikkeli käsittelee Saul Kripken Ludwig Wittgensteinin myöhemmistä töistä koostamaa merkityskeptistä haastetta, erityisesti niin kutsuttua äärellisyyden ongelmaa. Pääargumentti on, että skeptisen haasteen pääasiallinen vastaaja, semanttinen dispositionalismi, ei uusimmistakaan yrityksistä huolimatta ole kyennyt ratkaisemaan äärettömyyden ongelmaa. Ratkaistakseen ongelman dispositionalistin tulisi selittää, kuinka on mahdollista, että äärellinen puhuja voisi omata disposition käyttää jotain termiä äärettömässä määrässä tapauksia määrätyllä tavalla. Monet dispositionalistit esittävät, että ratkaisu löytyy niin kutsutuista ceteris paribus -ehdoista, joita vastaan Martin Kusch on argumentoinut. Jatkan Kuschin kritiikkiä ja osoitan ceteris paribus -strategian (...) keskeiset ongelmat, minkä lisäksi vastaan myös kahteen näistä ehdoista riippumattomaan dispositionalistiseen strategiaan. (shrink)

According to the safety condition, a subject knows that p only if she would believe that p only if p was true. The safety condition has been a very popular necessary condition for knowledge of late. However, it is well documented that the safety condition is trivially satisfied in cases where the subject believes in a necessary truth. This is for the simple reason that a necessary truth is true in all possible worlds, and therefore it is true in all (...) possible worlds where it is believed. But clearly, all beliefs concerning necessary truths do not amount to knowledge. The safety theorists have attempted to deal with the problem caused by necessary truths by restricting the safety condition to purely contingent truths and by globalizing the safety condition to a set of propositions. Both of these solutions are problematic. The principal aim of this paper is to develop a version of the safety condition that is able to deal with cases featuring necessary truths. (shrink)

In order to deal with the problem caused by environmental luck some proponents of robust virtue epistemology have attempted to argue that in virtue of satisfying the ability condition one will satisfy the safety condition. Call this idea the entailment thesis. In this paper it will be argued that the arguments that have been laid down for the entailment thesis entail a wrong kind of safety condition, one that we do not have in mind when we require our beliefs to (...) be safe from error in order for them to be knowledge. (shrink)

The main question of metasemantics, or foundational semantics, is why an expression token has the meaning (semantic value) that it in fact has. In his reading of Ludwig Wittgenstein’s later work, Saul Kripke presented a skeptical challenge that threatened to make the foundational question unanswerable. My first contention in this paper is that the skeptical challenge indeed poses an insoluble paradox, but only for a certain kind of metasemantic theory, against which the challenge effectively works as a reductio ad absurdum (...) argument. My second contention is that as a result of rejecting the theory which entails a paradoxical outcome, we will see that the foundational question essentially involves a temporal dimension. After arguing that the skeptical challenge gives us a strong reason to adopt a historical view of meaning, I shall further argue against certain authors who claim that meanings not only have histories but futures as well, or that the meaning of a word may change retroactively in time as a consequence of counterfactual change in its future use. The major aim of the paper is thus to bring together the arguably interrelated debates about the skeptical challenge and temporal externalism in philosophy of language. (shrink)

According to the extended mind thesis, cognitive processes are not confined to the nervous system but can extend beyond skin and skull to notebooks, iPhones, computers and such. The extended mind thesis is a metaphysical thesis about the material basis of our cognition. As such, whether the thesis is true can have implications for epistemological issues. Carter has recently argued that safety-based theories of knowledge are in tension with the extended mind hypothesis, since the safety condition implies that there is (...) an epistemic difference between subjects who form their beliefs via their biological capacities and between subjects who have extended their cognition. Kelp, on the other hand, has argued that a safety-based theory of knowledge can be correct only if the extended mind thesis is true. While these claims are not logically inconsistent, they do leave the safety theorist in an uncomfortable position. I will argue that safety-based theories of knowledge are not hostage to the truth of the extended mind thesis, and that once the safety condition is properly understood it is not in tension with the extended mind thesis. (shrink)

The aim of this paper is to critically examine the concept of semantic objectivity inherent in Robert Brandom`s works, most importantly Making It Explicit. Concerning Brandom`s theoretical aims, I shall argue that there is some discrepancy between his formal and informal characterisations of the criteria by which his account is to be judged as adequate. After expounding on the discrepancy, I shall propose to reconstruct a mostly implicit line of argument in MIE, highlighted by the more recent developments of Brandom`s (...) work, which I think suffices to smooth it over. (shrink)

Ground offers the hope of vindicating and illuminating an classic philosophical idea: the layered conception, according to which reality is structured by relations of dependence, with physical phenomena on the bottom, upon which chemistry, then biology, and psychology reside. However, ground can only make good on this promise if it is appropriately formally behaved. The paradigm of good formal behavior can be found in the currently dominant grounding orthodoxy, which holds that ground is transitive, antisymmetric, irreflexive, and foundational. However, heretics (...) have recently challenged the orthodoxy. In this paper, I examine ground’s ability to vindicate the layered conception upon various relaxations of the orthodox assumptions. I argue that highly unorthodox views of ground can still vindicate the layered conception and that, in some ways, the heretical views enable ground to better serve as a guide to reality’s layering than do orthodox views of ground. (shrink)

Timothy Williamson famously argued that assertion is constituted either by the knowledge rule or some similar epistemic rule. If true, the proposal has important implications for criticism of assertions. If assertions are analogical to other rule-constituted kinds like games, we can criticize assertions either on external or internal grounds, depending on whether the criticism draws from the necessary norms of assertion or some contingent ones. More recently, authors like Goldberg and MacFarlane have argued against other theories of assertion on the (...) grounds that they cannot explain the possibility of internal criticism for assertions. This paper raises methodological problems with these arguments. The main idea is to show that alternative, non-normative accounts of assertion can also explain the apparent differences in grounds of criticism without assuming that assertion is necessarily governed by some epistemic norm. (shrink)

What was Saul Kripke’s personal stance on the sceptical challenge that he famously attributed to Ludwig Wittgenstein? It will be argued that despite his statements to the contrary, we can, in fact, outline at least a rough sketch of Kripke’s own views on the challenge and its aftermath on the basis of the remarks he left in the text. In summary, Kripke (a) rejected the sceptical solution to the challenge and (b) leaned towards a non-sceptical primitivist solution. If this is (...) correct, it follows that there is a way in which Kripke's view makes his causal-historical picture of reference potentially able to solve the sceptical challenge. (shrink)

A ‘late developer’ argument, common to Psychology and Economic History, can be used to explain cultural innovation. It argues that the 19th century theory of natural selection arose in England and not Germany because of – and not in spite of – England’s scientific backwardness. Measured in terms of institutions, communities, and ideas, the relative retardation of English science was precisely what enabled it to adopt German advances in novel ways.

In the present paper we discuss different issues concerning the Philosophy of India. We examine, in the first place, the current situation of the area in Argentinean universities and, more specifically, in the programme of the Licenciaturas in Philosophy taught in our country. We assess, with this purpose, the programme of the thirty two degrees in Philosophy offered by national private and public universities. In the second place, we provide a brief discussion of the up-to-date specialized bibliography about the dilemma (...) concerning the existence or not of philosophy in India. We consider, thus, the possitions of a few authors who try to deconstruct centenary and rooted conceptions about the absence of philosophy in India. We evaluate, as well, the stances of contemporary specialists in Indian thought who defend the presence of philosophy in classical Indian culture arguing from a sistematic and methodologically honest knowledge of this tradition. Our inquiry tries to show, in such a way, that approaching the (meta)philosophical dilemma regarding the presence or absence of philosophy in India requires and implies a (self-)critical and specialized tradition of research in the area, and that in our country this tradition exists only in an very incipient stage. (shrink)

According to the causal-historical theory of reference, natural kind terms refer in virtue of complicated causal relations the speakers have to their environment. A common objection to the theory is that purely causal relations are insufficient to fix reference in a determinate fashion. The so-called hybrid view holds that what is also needed for successful fixing are true descriptions associated in the mind of the speaker with the referent. The main claim of this paper is that the objection fails: reference (...) fixing of natural kind terms can be purely causal. The main argument draws inspiration from recent theoretical advances made in metaphysics of kinds by Marion Godman, Antonella Mallozzi, and David Papineau. The main claim is that their notion of super-explanatory properties may explain how reference of many kind terms can be fixed purely causally. (shrink)

This is a work in the philosophy of language and metasemantics. Its purpose is to help answer the question about how words acquire their meanings. The work is divided into two parts. The purpose of Part One is to defend the claim that, despite numerous attempts, the so-called Kripkenstein’s sceptical challenge, and especially the problem of finitude, has not been offered a successful straight solution. The purpose of Part Two is to critically examine Robert Brandom’s philosophy, which can be treated (...) as an answer to the sceptical challenge in my interpretation. My main claim is that although Brandom’s so-called normativist approach does provide a principled solution to the sceptical challenge, the proposal faces a host of other problems in the light of which I reject it. -/- What is Kripkenstein’s sceptical challenge? The name 'Kripkenstein' is an abbreviation used in the literature for Saul Kripke’s reading of Ludwig Wittgenstein’s later works, published in 1982. In the long essay, Kripke presents (that Wittgenstein presented) a sceptical challenge that demands an explanation of how any word can have a determinate meaning. The challenge is usually thought to consist of three interrelated problems: (1) the problem of finitude, (2) the problem of error, and (3) the problem of normativity. Following Martin Kusch, I view the problem of finitude as the most important one. According to the problem, briefly, since any actual subject is a finite being, i.e. capable of exhibiting only finite expressions of linguistic signs, it will always be possible to ask whether, in a given context, she is following a rule S1 or rule S2 that corresponds to the meaning of the sign. For example, supposing that the sign in question is '+', it can be asked whether the subject in a given context has followed the addition rule or an alternative quaddition rule, according to which any addition problem exceeding certain arbitrary cardinality results in five. According to the hypothesis, the actual use of '+' by any speaker is compatible with both rules. Since any speaker has only finite dispositions to the mathematical conduct, there will always be some limit after which there is no fact of the matter, according to the sceptic, which rule the subject will have turned out to have followed. Hence, it is indeterminate whether any actual subject has ever calculated according to the addition rule or the quaddition rule. -/- From my view, despite the work of Kripke and Kusch, the problem of finitude has not been taken as seriously as it ought to have been. This in turn has significant consequences for the metasemantic theory concerning the origin and nature of meaning. In particular, I claim that the way how the meaning of words is determined must be understood as temporal in nature. Moreover, I claim that Kripke’s causal-historical account of reference can work as a non-straight solution to the challenge that explains how at least the meanings of some words can be temporally determined. -/- One central aim of Brandom’s philosophy is to give a straight answer to the problem of finitude by providing an answer to the problem of normativity. However, I claim that Brandom’s version of the 'normativity of meaning' hypothesis cannot work as he intends. The key issues are difficult to summarise, but to put it succinctly, the crucial problem concerns Brandom’s ambition to give an answer to a version of Agrippa’s trilemma, or how a chain of justifications can end in anything else than (i) premises that have already been used, (ii) a primitive premise, or an (iii) infinitude of premises. My claim is that Brandom’s resolution to the trilemma is not sound. (shrink)

Studying evidence law as part of naturalized epistemology means using the tools and results of the sciences to evaluate evidence rules based on the accuracy of the verdicts they are likely to produce. In this chapter, we introduce the approach and address skeptical concerns about the value of systematic empirical research for evidence scholarship, focusing, in particular, on worries about the external validity of jury simulation studies. Finally, turning to applications, we consider possible reforms regarding eyewitness identifications and character evidence.

What is it for a picture to depict a scene? The most orthodox philosophical theory of pictorial representation holds that depiction is grounded in resemblance. A picture represents a scene in virtue of being similar to that scene in certain ways. This essay presents evidence against this claim: curvilinear perspective is one common style of depiction in which successful pictorial representation depends as much on a picture's systematic differences with the scene depicted as on the similarities; it cannot be analyzed (...) in terms of similarity alone. The same problem arises for many other kinds of depiction. The essay concludes that depiction in general is not grounded in resemblance but geometrical transformation. (shrink)

Summary of the major innovations of Emil du Bois-Reymond (1818-1896).

In this paper, I try to make sense of some puzzling claims that Peirce makes in the Cambridge conferences lectures. I identify four tasks that a successful interpretation of those claims must accomplish. First, we must provide a plausible reading of the “no belief in science” thesis. Second, we must provide a compelling interpretation of the “no science in vital matters” thesis. Third, we must explain Peirce’s distinction between two forms of holding for true. Fourth, we should be able to (...) solve the conflict with “The fixation of belief.” I start by analysing Christopher Hookway’s reading of Peirce’s claims because he clearly identifies these tasks and offers an interpretation with considerable merits. However, I identify a problem in Hookway’s reading, since he fails to account for a normative dimension of the “no science in vital matters” thesis. Finally, I sketch my attempt to accomplish these four tasks while also avoiding this latter problem. (shrink)

The victims of severe injustice are allowed to employ disruption and violence to seek political change. This article argues for this conclusion from within Rawlsian political liberalism, which, however, has been criticised for allegedly imposing public reason’s suffocating norms of civility on the oppressed. It develops a novel view of the applicability of public reason in non-ideal circumstances – the “no self-sacrifice view” – that focuses on the excessive costs of following public reason when suffering from severe injustice. On this (...) view, those treated in what Rawls describes as less than a reasonably just way are relieved of the duty of public reason and therefore entitled to employ disruption and violence. In contrast, their privileged fellow citizens must still obey public reason’s civility unless they have been authorised by the oppressed to join their fight. This article also starts exploring from within political liberalism the normative principles governing disruptive and violent protest. (shrink)

It is common to distinguish two great families of representation. Symbolic representations include logical and mathematical symbols, words, and complex linguistic expressions. Iconic representations include dials, diagrams, maps, pictures, 3-dimensional models, and depictive gestures. This essay describes and motivates a new way of distinguishing iconic from symbolic representation. It locates the difference not in the signs themselves, nor in the contents they express, but in the semantic rules by which signs are associated with contents. The two kinds of rule have (...) divergent forms, occupying opposite poles on a spectrum of naturalness. Symbolic rules are composed entirely of primitive juxtapositions of sign types with contents, while iconic rules determine contents entirely by uniform natural relations with sign types. This distinction is marked explicitly in the formal semantics of familiar sign systems, both for atomic first-order representations, like words, pixel colors, and dials, and for complex second-order representations, like sentences, diagrams, and pictures. (shrink)

In this paper, I distinguish three general approaches to public trust in science, which I call the individual approach, the semi-social approach, and the social approach, and critically examine their proposed solutions to what I call the problem of harmful distrust. I argue that, despite their differences, the individual and the semi-social approaches see the solution to the problem of harmful distrust as consisting primarily in trying to persuade individual citizens to trust science and that both approaches face two general (...) problems, which I call the problem of overidealizing science and the problem of overburdening citizens. I then argue that in order to avoid these problems we need to embrace a (thoroughly) social approach to public trust in science, which emphasizes the social dimensions of the reception, transmission, and uptake of scientific knowledge in society and the ways in which social forces influence both positively and negatively the trustworthiness of science. (shrink)

I respond to Karin de Boer, Thomas Land, and Claudio La Rocca’s comments on Kant’s Critique of Pure Reason and the Method of Metaphysics (CUP 2023). I first provide a quick outline of some of the main claims I make in the book. I then directly address their criticisms, which I group into three categories. The first group of comments raises doubts concerning my characterization of the central tasks of the critique of pure reason. The second targets the fact that (...) I downplay faculty analysis as an essential characteristic of the critique. The third has to do with my claim that the Critique of Pure Reason aims to show that metaphysics is capable of architectonic unity, where this unity is only achievable when we construe metaphysics according to the worldly concept of philosophy. (shrink)

My two daughters would love to go tobogganing down the hill by themselves, but they are just toddlers and I am an apprehensive parent, so, before letting them do so, I want to ensure that the toboggan won’t go too fast. But how fast will it go? One way to try to answer this question would be to tackle the problem head on. Since my daughters and their toboggan are initially at rest, according to classical mechanics, their final velocity will (...) be determined by the forces they will be subjected to between the moment the toboggan will be released at the top of the hill and the moment it will reach its highest speed. The problem is that, throughout their downhill journey, my daughters and the toboggan will be subjected to an incredibly large number of forces—from the gravitational pull of any massive object in the universe to the weight of the snowflake that is sitting on the tip of one of my youngest daughter’s hairs—so that any attempt to apply the theory directly to the real-world system in all its complexity seems to be doomed to failure. (shrink)

Emil du Bois-Reymond (1818-1896) complicates the historiography of the reception of Darwinism. His presentation of the theory was anti-teleological, a fact that refutes the claim that German Darwinists were Romantic.

A semantics of pictorial representation should provide an account of how pictorial signs are associated with the contents they express. Unlike the familiar semantics of spoken languages, this problem has a distinctively spatial cast for depiction. Pictures themselves are two-dimensional artifacts, and their contents take the form of pictorial spaces, perspectival arrangements of objects and properties in three dimensions. A basic challenge is to explain how pictures are associated with the particular pictorial spaces they express. Inspiration here comes from recent (...) proposals that analyze depiction in terms of geometrical projection. In this essay, I will argue that, for a central class of pictures, the projection-based theory of depiction provides the best explanation for how pictures express pictorial spaces, while rival perceptual and resemblance theories fall short. Since the composition of pictorial space is itself the basis for all other aspects of pictorial content, the proposal provides a natural foundation for further pictorial semantics. (shrink)

Interpretations of Kant’s account of the forms of “taking-to-be-true” (Fürwahrhalten) have generally focused on three such forms: opinion (Meinung), belief (Glaube), and knowledge (Wissen). A second distinction that has received comparatively less attention is that between conviction (Überzeugung) and persuasion (Überredung). Kant appears to use the distinction between the subjective and the objective sufficiency of a taking-to-be-true to characterize all of these forms. However, it is impossible to account for the differences between them by relying on this latter distinction alone. (...) In turn, this makes it difficult to fit all of these forms into a single classification of taking-to-be-true. In this chapter, I propose a new approach to conviction and persuasion that dissolves these problems. Conviction and persuasion are not single forms of taking-to-be-true with distinctive characteristics, yet it is not useful to treat them as “classes” of taking-to-be-true either. Rather, they are “operators” that determine whether a taking-to-be-true is apt or inapt, depending on whether it rests on a correct evaluation of the grounds we have. (shrink)

Este artigo objetiva discutir o tema da autoficção e apresentar a possibilidade de utilizá-lo para a interpretação de obras filosóficas, destacadamente o livro Ecce homo de Friedrich Nietzsche e, secundariamente, Testo junkie de Paul B. Preciado. Para tanto, primeiro, abordarei a relação entre filosofia e literatura no contexto que alguns pensadores contemporâneos têm nomeado cultura literária. Em um segundo momento, traçarei uma breve história da formação da noção de autoficção e da consolidação do termo para demarcar um subgênero literário. Em (...) seguida, apresentarei elementos de Ecce homo que me parecem permitir enquadrá- lo no campo da autoficção. Na última parte, serão retomadas as articulações entre literatura e filosofia, analisando- se brevemente um exemplar de autoficção no pensamento contemporâneo, Testo junkie, para sugerir que a aproximação de tal subgênero contribui para a compreensão tanto do lugar da filosofia na cultura literária quanto aspectos de nosso tempo. (shrink)

L’objectif de cet article est de montrer que le républicanisme d’entreprise développé par Hsieh ne protège pas les travailleurs contre l’ensemble des interférences arbitraires. Comme ils sont fondés uniquement sur la contestation des décisions, les arrangements institutionnels que Hsieh propose n’arrivent pas à saisir l’ensemble des formes que peut prendre la domination. Pour ce faire, nous utiliserons la critique développée par McCormick des institutions républicaines. Pour exploiter cette critique et l’appliquer au contexte d’entreprise, nous aurons besoin de présenter les arguments (...) en faveur du parallèle État-entreprise. Nous verrons ensuite que la critique de McCormick appliquée à l’entreprise nous permet de défendre l’idée selon laquelle il est nécessaire d’aller plus loin que le républicanisme d’entreprise pour réaliser la liberté républicaine. (shrink)