This volume develops a theory of meaning and a semantics for both mathematical and empirical sentences inspired to Chomsky’s internalism, namely to a view of semantics as the study of the relations of language not with external reality but with internal, or mental, reality. In the first part a theoretical notion of justification for a sentence A is defined, by induction on the complexity of A; intuitively, justifications are conceived as cognitive states of a particular kind. The main source of (...) inspiration for this part is Heyting’s explanation of the intuitionistic meaning of logical constants. In the second part the theory is applied to the solution of several foundational problems in the theory of meaning and epistemology, such as Frege’s puzzle, Mates’ puzzle about synonymy, the paradox of analysis, Kripke’s puzzle about belief, the de re/de dicto distinction, the specific/non-specific distinction, Gettier’s problems, the paradox of knowability, and the characterization of truth. On a more general philosophical level, throughout the book the author develops a tight critique of the neo-verificationism of Dummett, Prawitz and Martin-Löf, and defends a mentalist interpretation of intuitionism. (shrink)

In his paper “Explaining Deductive Inference” Prawitz states what he calls «a fundamental problem of logic and the philosophy of logic»: the problem of explaining «Why do certain inferences have the epistemic power to confer evidence on the conclusion when applied to premisses for which there is evidence already?». In this paper I suggest a way of articulating, and partly modifying, the intuitionistic answer to this problem in such a way as to both answer Prawitz’s problem and satisfy a requirement (...) I argue to be crucial for any epistemic theory of the meaning of the logical constants: the requirement that evidence is epistemically transparent. (shrink)

I will be concerned with the following question: are there compelling arguments for postulating a distinction between the truth of a statement and the recognition of its truth, when truth is conceived along the lines of a suitable generalization of the intuitionistic idea that it should be characterized as the existence of a proof? I will argue that the distinction is not necessary within the conceptual framework of intuitionism by replying to two arguments to the contrary, one based on the (...) paradox of inference, the other on considerations concerning the content of a statement. (shrink)

Suppose we want to take seriously the neoverificationist idea that an intuitionistic theory of meaning can be generalized in such a way as to be applicable not only to mathematical but also to empirical sentences. The paper explores some consequences of this attitude and takes some steps towards the realization of this program. The general idea is to develop a meaning theory, and consequently a formal semantics, based on the idea that knowing the meaning of a sentence is tantamount to (...) having a criterion for establishing what is a justification for it. Section 1 motivates a requirement of epistemic transparency imposed onto justifications conceived as mental states. In Section 2, the formal notion of justification for an atomic formula is defined, in terms of the notion of cognitive state. In Section 3, the definition is extended to logically complex formulas. In Section 4, the notion of truth-ground is introduced and is used to give a definition of logical validity. (shrink)

In section 1 we argue that the adoption of a tenseless notion of truth entails a realistic view of propositions and provability. This view, in turn, opens the way to the intelligibility of theclassical meaning of the logical constants, and consequently is incompatible with the antirealism of orthodox intuitionism. In section 2 we show how what we call the potential intuitionistic meaning of the logical constants can be defined, on the one hand, by means of the notion of atemporal provability (...) and, on the other, by means of the operator K of epistemic logic. Intuitionistic logic, as reconstructed within this perspective, turns out to be a part of epistemic logic, so that it loses its traditional foundational role, antithetic to that of classical logic. In section 3 we uphold the view that certain consequences of the adoption of atemporal notion of truth, despite their apparent oddity, are quite acceptable from an antirealist point of view. (shrink)

Suppose we are prepared to conceive the meaning of a sentence as a classification criterion which enables us to establish whether something is or is not a justification to believe that sentence. Which properties of the intuitive notion of justification are, from this point of view, essential for believing a sentence? And how might a theoretical notion of justification for a sentence be defined? In Sections 2-5 some properties are suggested as essential, in particular Intentionality (a justification is always a (...) justification for a sentence), Defeasibility (a justification for a sentence A can cease to be a justification for A as new information is received), and Epistemic transparency (a justification for A is not a justification for A unless it is recognized as such by an idealized knowing subject). In Section 6 a sketch of definition is proposed, according to which a justification for a sentence A is a cognitive state in which the subject has at his disposal a certain amount of information, and the hypothesis that A is the best explanation of that information. Section 7 shows how the notion defined escapes a crucial objection to defeasible justifications recently stated by P. Casalegno. (shrink)

The articles of this volume address only some aspects of Nozick's philosophy: his conception of argument, knowledge, rationality, and identity. In examining Nozick's approach to these topics, one has to take issue, ultimately, with his peculiar conception of philosophy whose manifesto appears at the outset of Philosophical Explanations and is echoed in the introduction to philosophical method of Invariances . To transform philosophy into a science or build an impeccable deductive system was not Nozick's dream. He thought of philosophy as (...) aiming at explanation rather than proof. The goal in pursuing philosophy is not to establish one view, but to elaborate theories that can make us understand some phenomena better. (shrink)

In two often neglected passages of the Critique of Pure Reason, Kant submits that the Critique is a 'treatise' or a 'doctrine of method'. These passages are puzzling because the Critique is only cursorily concerned with identifying adequate procedures of argument for philosophy. In this book, Gabriele Gava argues that these passages point out that the Critique is the doctrine of method of metaphysics. Doctrines of method have the task of showing that a given science is indeed a science (...) because it possesses 'architectonic unity' – which happens when it realizes the 'idea' of a science. According to Gava's novel approach, the Critique establishes that metaphysics is capable of this unity, and his reading of the Critique from this perspective not only illuminates the central role of the Transcendental Doctrine of Method within it, but also clarifies the relationship between the different parts of the work. (shrink)

In this chapter, I investigate a problem for Kant’s claim that metaphysics can reach the status of science. The problem arises when one considers Kant’s account of the “architectonic unity” of metaphysics in the Architectonic of Pure Reason. Attaining architectonic unity is a condition for becoming a science for any body of cognitions that purports to be such. This is achieved when the cognitions belonging to a science are systematically organized according to the “idea of reason” which lies at the (...) basis of that science. However, Kant suggests that nobody can ever legitimately claim to have matched the idea of the philosopher, where this appears to imply that nobody can justifiably claim that she has fully grasped the idea of metaphysics. This generates a problem. I suggest that when Kant claims that the idea of the philosopher must remain an ideal or an archetype, he has a particular conception of philosophy in mind, that is, philosophy as a doctrine of wisdom. According to this understanding, philosophy must provide an example of how one can become virtuous. However, this is only a partial solution to our problem, for reasons that will be illustrated. (shrink)

The central theme of this important book is that we are paying the price of an arrogance that refuses to recognize mystery. The author invites the reader to enter into the argument that he holds with himself on a great number of problems. Written in the early 1950s, Marcel's discussion of these topics are remarkably contemporary, e.g.: * Our crisis is a metaphysical, not merely social, one. * What a man is depends partly on what he thinks he is, and (...) a materialistic philosophy turns men into things. * Can a man be free except in a free country? * Stoicism is no longer a workable philosophy because today pressure can be put on the mind as well as on the body. * Technical progress is not evil in itself, but a technique is a means that, regarded as an end, can become either an idol or an excuse for self-idolatry. State control of scientific research, leading to a concentration on new means of destruction, is a calamity. * Fanaticism is an opinion that refuses to argue, and so the fanatic is an enemy of truth. * The kind of unification that science is bringing about today is really an ironing out of differences, but the only valuable kind of unity is one that implies a respect for differences. * We must beware of thinking in terms of great numbers and so blinding ourselves to the reality of individual suffering. Our philosophical approach to being is made possible only by our practical approach to our neighbor. * We must encourage the spirit of fraternity and distrust the kind of egalitarianism that is based on envy and resentment. * No man however humble should feel that he cannot spread the light among his friends. No easy solution is offered, but the author conveys his own faith that ultimately love and intelligence will triumph. (shrink)

Carnap’s seminal ‘Empiricism, Semantics and Ontology’ makes important use of the notion of a framework and the related distinction between internal and external questions. But what exactly is a framework? And what role does the internal/external distinction play in Carnap’s metaontology? In an influential series of papers, Matti Eklund has recently defended a bracingly straightforward interpretation: A Carnapian framework, Eklund says, is just a natural language. To ask an internal question, then, is just to ask a question in, say, English. (...) To try to ask an external question is to try, absurdly, to ask a question in no language at all. Finding that so trivial an I/e distinction can’t help to explain Carnap’s deflationary metaontology, Eklund is led to attribute to Carnap a view he calls ontological pluralism. In this paper, I show that Eklund misreads Carnap, and I argue that this misreading obscures fundamental features of Carnap’s philosophy. I then defend an account of frameworks as what Carnap called semantical systems, and I place this account in the context of Carnap’s philosophical program of explication. Finally, I discuss the role that frameworks and the I/e distinction play in ESO, showing that ESO provides no reason to attribute the doctrine of ontological pluralism to Carnap. (shrink)

The history of Pythagoreanism is littered with different and incompatible interpretations. This observation directs this book towards a fundamentally historiographical rather than philological approach, setting out to reconstruct the way in which the tradition established Pythagoreanism s image.".

Five hundred years after his death, Niccolò Machiavelli still draws an astonishing range of contradictory characterizations. Was he a friend of tyrants? An ardent republican loyal to Florence’s free institutions? The father of political realism? A revolutionary populist? A calculating rationalist? A Renaissance humanist? A prophet of Italian unification? A theorist of mixed government? A forerunner to authoritarianism? The master of the dark arts of intrigue? This book provides a vivid and engaging introduction to Machiavelli’s life and works that sheds (...) new light on his originality and relevance. Gabriele Pedullà—a leading Italian expert and acclaimed writer—offers fresh readings of the Florentine thinker’s most famous writings, The Prince and the Discourses on Livy, as well as lesser-known texts. A new and often surprising Machiavelli emerges: one closer to his time but also better suited to inform our own. Pedullà’s portrait of Machiavelli highlights his close attention to social and emotional bonds, staunch opposition to oligarchy, keen awareness of the economic side of power dynamics, and strong preference for history over philosophy as a guide for leaders. This book recovers the excitement Machiavelli roused in his first readers for a twenty-first-century audience, capturing his capacity to provoke, both then and now, with unconventional ideas and startling insights. (shrink)

This paper takes a close look at the thought that mereological relations on material objects mirror, and are mirrored by, parallel mereological relations on their exact locations. This hypothesis is made more precise by means of a battery of principles from which more substantive consequences are derived. Mereological harmony turns out to entail, for example, that atomistic space is an inhospitable environment for material gunk or that Whiteheadian space is not a hospitable environment for unextended material atoms.

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)

This volume of essays brings together leading commentators from both sides of the Atlantic to provide an introduction to Badiou's work through critical studies ...

This chapter analyzes two short texts in which Peirce sketches out an anti-skeptical argument inspired by Kant’s refutation of idealism. The chapter will first consider why Peirce found Kant’s argument interesting and promising, given that it is often regarded as problematic and unsuccessful. It will then briefly reconstruct Kant’s refutation, highlighting its most problematic passages. Moreover, since Peirce’s own version of the argument relies on Kant’s views regarding the temporal structure of consciousness, the chapter will explain how Peirce tackles this (...) issue in “The Law of Mind.” Finally, the chapter considers Peirce’s own anti-skeptical argument and examines whether and how it can be seen as appropriating Kant’s strategy. (shrink)

The volume deals with the history of logic, the question of the nature of logic, the relation of logic and mathematics, modal or alternative logics (many-valued, relevant, paraconsistent logics) and their relations, including translatability, to classical logic in the Fregean and Russellian sense, and, more generally, the aim or aims of philosophy of logic and mathematics. Also explored are several problems concerning the concept of definition, non-designating terms, the interdependence of quantifiers, and the idea of an assertion sign. The contributions (...) concerned with Wittgenstein's investigations into the philosophy of logic and mathematics pursue issues relating to logical necessity, the undeniability of the law of the excluded middle, and the source of self-evidence, often characterized in the literature as the "rule-following considerations". Additionally, they examine Wittgenstein's attitudes towards the very idea of set-theory as a possible foundation for arithmetic. The volume also includes a number of contributions on specific issues concerning Wittgenstein's views on moral and religious judgements. (shrink)

O objetivo deste trabalho é investigar a natureza ontológica e epistemológica do conceito de informação, focalizando inicialmente a Filosofia e Ética da Informação (EI), propostas por Floridi (1999; 2002; 2004; 2011; 2016), cujo fundamento teórico servirá de suporte para reflexões acerca da inteligência artificial generativa (IAGen), mais especificamente, o ChatGPT. O conceito de informação será abordado a partir de três vertentes na perspectiva filosófico-interdisciplinar: (1) realismo informacional, (2) ecologia informacional e (3) semântica informacional, segundo Gonzalez, Nascimento & Haselager (2004). A (...) partir dessa abordagem, direcionamos nosso estudo para propostas de Floridi (2004), indicando os seus possíveis problemas. Procuraremos entender a Filosofia da Informação, a partir da perspectiva da Ética da Informação (EI), analisando como a EI pode contribuir para reflexões acerca do uso de IA generativa. Problematizamos a EI a fim de construir uma ponte com a Ética Intercultural da Informação (EII) proposta por Capurro (2010). (shrink)

The goal of this paper is to provide an account of the role played by logic in the context of what Husserl names the “crisis of European sciences.” Presupposing the analyses offered in the Krisis, I look at Formale und Transzendentale Logik to demonstrate that the crisis of logic stems from the deviation of its original meaning as a “theory of science” and from its restriction to a mere “theoretical technique.” Through a comparison between Aristotelian syllogistic and modern logic, I (...) show why the modern discovery of the purely formal dimension of knowledge which makes possible such a mathematical technization is a positive achievement that hinders at the same time the disclosure of the truly philosophical nature of logic. The correct appraisal of this ambiguous phenomenon will explain why the rise of modern logic represents a decisive challenge for the success of Husserl’s late phenomenological project. (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 Kant’s Critique of Pure Reason and the Method of Metaphysics (CUP 2023), I argue that the first Critique is not only a ‘propaedeutic’ to metaphysics, but actually already establishes parts of metaphysics. These parts belong to what Kant calls transcendental philosophy. Additionally, I also provide an account of Kant’s critique of dogmatism and Wolff as its main defender. In this paper, I take up Luigi Filieri’s and Davide Dalla Rosa’s invitation to further develop my characterization of transcendental philosophy and (...) I respond to Michael Walschots’s objections against my interpretation of Kant’s critique of Wolff’s dogmatism. (shrink)

Tagging is the phenomenon in which regions of a picture, map, or diagram are annotated with words or other symbols, to provide descriptive information about a depicted object. The interpretive principles that govern tagged images are not well understood, due in part to the difficulty of integrating pictorial and linguistic semantic rules. Rather than directly combining these rules, I propose to use the framework of perspectival feature maps as an intermediary representation of content, in which the outputs of pictorial and (...) linguistic interpretation may be assimilated. The result is a simple and compositional semantics for tagged images. (shrink)