Some philosophers find the following thesis attractive: for every logical constant C there is a set of logical rules of inference R such that a subject knows the meaning of C if and only if she accepts the rules in R. I point out some obvious but, apparently, easily forgotten difficulties concerning this thesis.

Some philosophers find the following thesis attractive: for every logical constant C there is a set of logical rules of inference R such that a subject knows the meaning of C if and only if she accepts the rules in R. I point out some obvious but, apparently, easily forgotten difficulties concerning this thesis.

Alcuni anni or sono, poco dopo l’uscita dell’edizione italiana di Lexical Competence, mi è capitato di pubblicare un breve articolo in cui analizzavo e criticavo certe tesi sostenute da Diego Marconi nel suo libro. L’articolo era seguito, nello stesso numero della rivista, da una risposta di Marconi alla quale non ho mai replicato. La presente nota vuole essere, più che una replica tardiva, una riconsiderazione complessiva di quella discussione. La strategia argomentativa che avevo adottato a...

Let $\langle\mathscr{T},\leq\rangle$ be the usual structure of the degrees of unsolvability and $\langle\mathscr{D},\leq\rangle$ the structure of the T-degrees of partial functions defined in [7]. We prove that every countable distributive lattice with a least element can be isomorphically embedded as an initial segment of $\langle\mathscr{D},\leq\rangle$ : as a corollary, the first order theory of $\langle\mathscr{D},\leq\rangle$ is recursively isomorphic to that of $\langle\mathscr{T},\leq\rangle$ . We also show that $\langle\mathscr{D},\leq\rangle$ and $\langle\mathscr{T},\leq\rangle$ are not elementarily equivalent.

A good reason to have a language containing a truth-predicate is that it makes it possible to formulate 'truthfulness attributions' and that truthfulness attributions are of great help in the transmission of true beliefs, the latter being, of course, a desirable end in itself. I argue that, given a language and a conceptual system more or less like ours, truthfulness attributions cannot be effectively replaced by other kinds of statements.

We propose an analysis ofonly in terms of event semantics. This approach allows a unified treatment of a wide range of cases in whichonly is associated with focused expressions of different categories. Section 1 is devoted to a preliminary discussion of some problems that a good analysis ofonly should solve. In section 2 we concentrate on sentences in which the focused expression is a NP. In section 3 we show how our analysis can be extended to other categories. Finally, section (...) 4 contains some remarks on related topics, such as scalarity and exhaustiveness. (shrink)

Most philosophers who had the opportunity to meet Paolo Casalegno (1952-2009) have been impressed by his sharp acumen, his passion for discussing philosophy and his human and intellectual generosity. I had the chance more than others to appreciate his qualities and benefit from them: we worked in the same university in Milan for many years and we had many occasions to discuss philosophy and other non-philosophical topics. I owe a debt of gratitude to him and, together with (...) class='Hi'>Paolo’s friends and colleagues, I look for opportunities to remember his work and to continue to discuss it. One of them is the conference 'Good Points. Paolo Casalegno’s criticisms of some analytic philosophers' held in Milan in April 2011; the present special issue of dialectica collects the contributions on Paolo’s work presented on this occasion together with the reviews of two books published posthumously. (shrink)

In response to Paul Boghossian's objections in ‘Inferentialism and the epistemology of logic’, this paper defends counterexamples offered by Paolo Casalegno and the author to an inferentialist account of what it is to understand a logical constant, on which Boghossian had relied in his explanation of our entitlement to reason according to basic logical principles. The importance for understanding is stressed of non-inferential aspects of the use of logical constants. Boghossian's criteria for individuating concepts are also queried.

In Crispin Wright's ‘Meaning and Assertibility’, the main point of disagreement with Paolo Casalegno's critique of verificationist semantics in ‘The Problem of Non-conclusiveness’ concerns Wright's diagnosis of one of Casalegno's arguments as depending on an over-estimation of the proper explanatory task of a semantic theory. The present note argues that there is no such dependence.

This essay attempts to clarify the project of explaining the possibility of ‘blind reasoning’—namely, of basic logical inferences to which we are entitled without our having an explicit justification for them. The role played by inferentialism in this project is examined and objections made to inferentialism by Paolo Casalegno and Timothy Williamson are answered. Casalegno proposes a recipe for formulating a counterexample to any proposed constitutive inferential role by imaging a subject who understands the logical constant in (...) question but fails to have the capacity to make the inference in question; Williamson’s recipe turns on imagining an expert who continues to understand the constant in question while having developed sophisticated considerations for refusing to make it. It’s argued that neither recipe succeeds. (shrink)

Italian political thinker Paolo Virno argues that the category of "multitude" is a far better tool to analyze contemporary issues than the Hobbesian concept of "people." Globalization is forcing us to rethink some of the categories—such as "the people"—that traditionally have been associated with the now eroding state. Italian political thinker Paolo Virno argues that the category of "multitude," elaborated by Spinoza and for the most part left fallow since the seventeenth century, is a far better tool to (...) analyze contemporary issues than the Hobbesian concept of "people," favored by classical political philosophy. Hobbes, who detested the notion of multitude, defined it as shunning political unity, resisting authority, and never entering into lasting agreements. "When they rebel against the state," Hobbes wrote, "the citizens are the multitude against the people." But the multitude isn't just a negative notion, it is a rich concept that allows us to examine anew plural experiences and forms of nonrepresentative democracy. Drawing from philosophy of language, political economics, and ethics, Virno shows that being foreign, "not-feeling-at-home-anywhere," is a condition that forces the multitude to place its trust in the intellect. In conclusion, Virno suggests that the metamorphosis of the social systems in the West during the last twenty years is leading to a paradoxical "Communism of the Capital.". (shrink)

The philosophical analysis of mathematical explanations concerns itself with two different, although connected, areas of investigation. The first area addresses the problem of whether mathematics can play an explanatory role in the natural and social sciences. The second deals with the problem of whether mathematical explanations occur within mathematics itself. Accordingly, this entry surveys the contributions to both areas, it shows their relevance to the history of philosophy and science, it articulates their connection, and points to the philosophical pay-offs to (...) be expected by deepening our understanding of the topic. (shrink)

The temporality of intentions and actions in situations of social interaction can sometimes be paradoxical. I argue that in these situations it may sometimes be possible to conceive of individual acts that can, in a strong sense, be intended retroactively. This could happen when the relational patterns in social interaction literally alter the virtual structure of a participant's past corporeal intentions resulting in an odd experience of having intended something all along without knowing it. I propose that this possibility should (...) be interpreted as more than just a narrowly epistemic phenomenon. Examining this claim involves clarifying the enactive perspective on intentionality, which I do here. The enactive approach rejects the model of a causal relation between intention and action for one of an intrinsic qualitative relation between the two as facets of sense-making. I develop this idea and compare it with Merleau-Ponty's Fundierung model of the mutual relation between corporeal and reflexive intentionality to show that co-regulated moves/affections during social interaction may modulate both arcs of this relation, creating the possibility of a re-signification that alters not the actuality but the virtual tendencies that preceded the social act. (shrink)

This paper explores the epistemology of extrapolation from model organisms to humans in molecular medicine. We take into account two common views on the issue, the homology view and the disanalogy view. In response to both interpretations, we argue that the foundational basis of extrapolations cannot simply be provided by homology and that relevant disanalogies can, thanks to the techniques of molecular biology, be experimentally controlled and exploited to allow useful and reliable extrapolations. The case of "humanised mice" in the (...) context of cancer stem cell research provides evidence of how animal models can be construed to approximate bona fide causal analogue models of human diseases. To supplement this view we show how the epistemology of model organisms needs to take into account the engineering side of molecular medicine. Model organisms are often manipulated to create analogies or remove disanalogies with the target system. We maintain that highlighting this feature is fundamental to explain what warrants extrapolation in the search for the molecular causes of disease. (shrink)

A novel theoretical framework for an embodied, non-representational approach to language that extends and deepens enactive theory, bridging the gap between sensorimotor skills and language. -/- Linguistic Bodies offers a fully embodied and fully social treatment of human language without positing mental representations. The authors present the first coherent, overarching theory that connects dynamical explanations of action and perception with language. Arguing from the assumption of a deep continuity between life and mind, they show that this continuity extends to language. (...) Expanding and deepening enactive theory, they offer a constitutive account of language and the co-emergent phenomena of personhood, reflexivity, social normativity, and ideality. Language, they argue, is not something we add to a range of existing cognitive capacities but a new way of being embodied. Each of us is a linguistic body in a community of other linguistic bodies. The book describes three distinct yet entangled kinds of human embodiment, organic, sensorimotor, and intersubjective; it traces the emergence of linguistic sensitivities and introduces the novel concept of linguistic bodies; and it explores the implications of living as linguistic bodies in perpetual becoming, applying the concept of linguistic bodies to questions of language acquisition, parenting, autism, grammar, symbol, narrative, and gesture, and to such ethical concerns as microaggression, institutional speech, and pedagogy. (shrink)

Christ as symbol in Kant¿s religion -- Hegel's conception of God -- The reality of religion in Hegel's idealist metaphysics -- Hegel's version of the ontological argument for the existence of God -- The trinity and the I -- The death of God and recognition of the self -- Beyond subjectivism -- The relevance of Hegel's philosophy of religion today.

Summary This article presents three hitherto unpublished letters by Frank Plumpton Ramsey on the foundations of mathematics with commentary. One of the letters was sent to Abraham Fraenkel and the other two letters to Heinrich Behmann. The transcription of the letters is preceded by an account that details the extent of Ramsey's known contacts with mathematical logicians on the Continent.

The literature on indicative conditionals contains two appealing views. The first is the selectional view: on this view, conditionals operate by selecting a single possibility, which is used to evaluate the consequent. The second is the informational view: on this view, conditionals don’t express propositions, but rather impose constraints on information states of speakers. Both views are supported by strong arguments, but they are incompatible on their standard formulations. Hence it appears that we have to choose between mutually exclusive options. (...) But the options are not exclusive. This paper develops a theory of the semantics and assertability of conditionals that is both selectional and informational. The theory vindicates the signature inferences of both selectional and informational theories, including so-called Conditionals Excluded Middle and principles about the interplay between conditionals and ‘might’. It also predicts some interesting and puzzling facts about the assertion of conditionals. (shrink)

Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic remarks on (...) the significance of the decision problem and of decision procedures more generally. The text of this talk as well as a partial English translation are included. (shrink)