There is an urgent need in philosophy of mathematics for new approaches which pay closer attention to mathematical practice. This book will blaze the trail: it offers philosophical analyses of important characteristics of contemporary mathematics and of many aspects of mathematical activity which escape purely formal logical treatment.

Aristotle's theory of truth, which has been the most influential account of the concept of truth from Antiquity onwards, spans several areas of philosophy: philosophy of language, logic, ontology and epistemology. In this 2004 book, Paolo Crivelli discusses all the main aspects of Aristotle's views on truth and falsehood. He analyses in detail the main relevant passages, addresses some well-known problems of Aristotelian semantics, and assesses Aristotle's theory from the point of view of modern analytic philosophy. In the process (...) he discusses most of the literature on Aristotle's semantic theory to have appeared in the last two centuries. His book vindicates and clarifies the often repeated claim that Aristotle's is a correspondence theory of truth. It will be of interest to a wide range of readers working in both ancient philosophy and modern philosophy of language. (shrink)

Neuroeconomics, neuromarketing, neuroaesthetics, and neurotheology are just a few of the novel disciplines that have been inspired by a combination of ancient knowledge along with recent discoveries about how the human brain works.This fascinating and thought provoking new book critically questions our love affair with brain imaging.

Some philosophers argue that false speech and false belief are impossible. In the Sophist, Plato addresses this 'falsehood paradox', which purports to prove that one can neither say nor believe falsehoods. In this book Paolo Crivelli closely examines the whole dialogue and shows how Plato's brilliant solution to the paradox is radically different from those put forward by modern philosophers. He surveys and critically discusses the vast range of literature which has developed around the Sophist over the past fifty (...) years, and provides original solutions to several problems that are so far unsolved. His book will be important for all who are interested in the Sophist and in ancient ontology and philosophy of language more generally. (shrink)

Knowing is an activity through which agents and world produce themselves. This is often expressed by the enactive claim that agents bring forth a world. I analyse this idea for different modes of agent–environment engagement: interactional, transactional, and constitutional. Something is produced in each case. Bringing forth a world is not only an epistemic but an ontological claim. Acts in their fine structure result from a process of fact production, or f/acts. F/acts co-emerge with their 'preconditions', e.g. intentions, affordances, across (...) the subject/object divide. F/acts define their inner temporality and affectivity, comprising both event and experience. A plurality of worlds is admitted in this enactive view, without entailing antirealism. We cannot bring forth just any world. World resistance organizes action and experience. I touch on the implications for objectivity and free will and discuss the primordiality of activity, community, and relationality. From a notion of groundlessness in early enactive work, I suggest that a participatory universe is better conceived as a meshwork of groundless grounds. (shrink)

Anti-realist epistemic conceptions of truth imply what is called the knowability principle: All truths are possibly known. The principle can be formalized in a bimodal propositional logic, with an alethic modality ${\diamondsuit}$ and an epistemic modality ${\mathcal{K}}$, by the axiom scheme ${A \supset \diamondsuit \mathcal{K} A}$. The use of classical logic and minimal assumptions about the two modalities lead to the paradoxical conclusion that all truths are known, ${A \supset \mathcal{K} A}$. A Gentzen-style reconstruction of the Church–Fitch paradox is presented (...) following a labelled approach to sequent calculi. First, a cut-free system for classical bimodal logic is introduced as the logical basis for the Church–Fitch paradox and the relationships between ${\mathcal {K}}$ and ${\diamondsuit}$ are taken into account. Afterwards, by exploiting the structural properties of the system, in particular cut elimination, the semantic frame conditions that correspond to KP are determined and added in the form of a block of nonlogical inference rules. Within this new system for classical and intuitionistic “knowability logic”, it is possible to give a satisfactory cut-free reconstruction of the Church–Fitch derivation and to confirm that OP is only classically derivable, but neither intuitionistically derivable nor intuitionistically admissible. Finally, it is shown that in classical knowability logic, the Church–Fitch derivation is nothing else but a fallacy and does not represent a real threat for anti-realism. (shrink)

Part one: the act of speaking -- The speaker as performing artist -- The absolute performative -- The repetition of anthropogenesis -- Part two: toward a critic of interiority -- Second-degree sensualism: a physiognomic project -- In praise of reification -- Part three: from the beginning and right now -- Natural history -- The multitude and the principle of individuation -- Appendix: Wittgenstein and the question of atheism.

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.

That words express a conceptual content is uncontroversial. This does not entail that their content should break down neatly into a grammatical part, relevant for language and to be analyzed in linguistic terms, and a conceptual part, relevant for cognition and to be analyzed in psychological terms. Various types of empirical evidence are reviewed, showing that the conceptual content of words cannot be isolated from their linguistic properties, because it is affected and shaped by them. The view of words as (...) labels or containers for a non-linguistic conceptual content stems from a naive disregard of the complex and structured nature of lexical knowledge. On the contrary, knowledge of language is shown not just to organize and categorize conceptual content in a way not reducible to non-linguistic cognition, but also to affect its scope, as the range of verbalized concepts is both limited by abstract templates and expanded by productive word formation. This suggests that lexical knowledge is a distinctively linguistic dimension of conceptualization, and that words do not so much label or package concepts, as provide an inner form for conceptual knowledge. (shrink)

Numerosity perception is a key ability for human and non-human species, probably mediated by dedicated brain mechanisms. Electrophysiological studies revealed the existence of both early and mid-latency components of the Electrophysiological (EEG) signal sensitive to numerosity changes. However, it is still unknown whether these components respond to physical or perceived variation in numerical attributes. We here tackled this point by recording electrophysiological signal while participants performed a numerosity adaptation task, a robust psychophysical method yielding changes in perceived numerosity judgments despite (...) physical numerosity invariance. Behavioral measures confirmed that the test stimulus was consistently underestimated when presented after a high numerous adaptor while perceived as veridical when presented after a neutral adaptor. Congruently, EEG results revealed a potential at around 200 ms (P2p) which was reduced when the test stimulus was presented after the high numerous adaptor. This result was much prominent over the left posterior cluster of electrodes and correlated significantly with the amount of adaptation. No earlier modulations were retrievable when changes in numerosity were illusory while both early and mid-latency modulations occurred for physical changes. Taken together, our results reveal that mid-latency P2p mainly reflects perceived changes in numerical attributes, while earlier components are likely to be bounded to the physical characteristics of the stimuli. These results suggest that short-term plastic mechanisms induced by numerosity adaptation may involve a relatively late processing stage of the visual hierarchy likely engaging cortical areas beyond the primary visual cortex. Furthermore, these results also indicate mid-latency electrophysiological correlates as a signature of the internal representation of numerical information. (shrink)

La struttura a livelli modella il tutto e le sue parti con grande generalità. Lo dimostrano le argomentazioni teoriche (4.3), (4.4) e (4.5), e lo comprova la casistica che è stata aggiunta. Una tale struttura non presenta affatto i problemi a), b) e c) che sono tipici della struttura ad albero. Essa corregge inoltre deviazioni concettuali che sono diffuse nel settore informatico. L’immediatezza deviazioni concettuali che sono diffuse nel settore informatico. L’immediatezza visiva, infine, ne facilita la diffusione sul piano professionale (...) e tecnico.Per concludere, ritengo che la struttura a livelli possa fornire un contributo anche alle ricerche di ontologia e in particolare possa favorire i tentativi di unificazione condotti sia sul piano teorico, sia su quello applicativo [Uschold 1996]. Le difficoltà ed i limiti che la teoria degli insiemi oppone ad un formalismo generale (ad esempio quando riduce la casistica della relazione concetto di livello possiede una valenza estremamente ampia e ciò lo predispone per gli auspicati sviluppi ontologici. (shrink)

No chance of seeing her for another fortnight and it is 11 days since I saw her. Went solitary walk felt miserable but to some extent staved it off by reflecting on |$\langle$|Continuum Problem|$\rangle$|1The occasion for this review article on the life and accomplishments of Frank Ramsey is the publication in the last eight years of three important books: a biography of Frank Ramsey by his sister, Margaret Paul, a book by Steven Methven on aspects of Ramsey’s philosophy, and the (...) recent biography of Ramsey written by Cheryl Misak. In a companion piece [Mancosu, 2020] I discuss Ramsey’s contacts with logicians in continental Europe and publish previously unpublished letters from Ramsey to Abraham Fraenkel and to Heinrich Behmann.1. INTRODUCTIONFrank Plumpton Ramsey (1903–1930) will be well known to the readers of this journal. His contributions to philosophy, mathematics, and economics have left a lasting legacy. In mathematical logic and philosophy of mathematics, Ramsey’s solution to the paradoxes by means of a simple theory of types [1926a] and Ramsey’s theorem in combinatorics (both finite and infinite [1930]) are among Ramsey’s most celebrated contributions. Ramsey is a key presence in accounts of Wittgenstein’s, Russell’s, and Moore’s lives and work. It is well known that it was Ramsey who translated the Tractatus into English and wrote what is still considered a very insightful review [1923] of the Tractatus. Wittgenstein mentioned the importance of his conversations with Ramsey in 1929 in Cambridge as having influenced his transition to the views presented in the Philosophical Investigations. Ramsey also contributed, in 1924, to the second edition of Principia Mathematica (see [Linsky, 2011]). While Ramsey’s friendship with Moore does not have an analogous concrete precipitate as the work on the Tractatus or Principia Mathematica, it is evident from the correspondence and other documents that Ramsey’s work in philosophy (truth, propositions, universals, etc.) influenced Moore. Of course, the direction of influence goes also the other way around. Wittgenstein, Russell, and Moore, among others, were essential in shaping Ramsey’s approach to philosophy. (shrink)

In the Dreams of a Spirit-Seer, Elucidated by Dreams of Metaphysics (1766), Kant remarks that Stahl, with his admission of immaterial forces for the explanation of organisms, was “closer to the truth than Hoffmann and Boerhaave, to name but a few,” although the latter adopted a “more philosophical method.” This puzzling statement is very significant for the understanding of Kant’s reception of animism, as it documents Kant’s reaction to the issues raised by the Leibniz-Stahl controversy and his striking preference for (...) Stahl’s nonmechanistic account of organisms. Kant agrees with Stahl that organisms suggest the existence of immaterial thinking beings, but at the same time, the example of this speculative hypothesis leads him to question the explanatory power of metaphysical hypotheses in natural philosophy in general, as well as the possibility of empirically distinguishing among different hypotheses, such as monadology, materialism, and hylozoism. After the analysis of Kant’s skeptical conclusions in the Dreams of a Spirit-Seer, I discuss how this earlier connection of medicine, life sciences, and metaphysics leaves traces in Kant’s later work, by analyzing Kant’s discussion of Samuel Sömmering’s claim that matter “can be animated” in On the Organ of the Soul (1796) and the preliminary drafts for this essay. (shrink)

From November 5 to November 22, 2019, the University of Milan hosts an exhibition in which philosophy and its problems are staged in playful and interactive forms. Like any catalog, this volume also intends to document the objects and themes proposed to the visitor. But it also has a more ambitious goal: to imagine and design the spaces of that Museum of Philosophy which, we are sure, will be created here in Milan, starting from the experience of this exhibition--Translated, via (...) Google, from page 2 of cover. (shrink)

Il pensiero politico di Augusto Del Noce si caratterizza per una complessa interpretazione della modernità. Essa non rappresenta per lui il luogo del necessario processo verso la meta finale e perfetta dell’immanenza, che trova nelle religioni secolari del totalitarismo e nel nichilismo scientista delle società opulente la sua più significativa rappresentazione. La modernità come tale va per lui contestata nel suo significato assiologico perché la sua problematizzazione è la condizione filosofica e politica per immaginarne un esito che permetta invece di (...) recuperare il valore della persona umana come luogo dell’apertura alla trascendenza e come prima pietra dell’edificio sociale. Senza questa prospettiva le promesse di emancipazione delle teorie politiche legate ad una idea di progresso ineluttabile ma circoscritto entro visioni materialistiche ed atee sono destinate al fallimento, come è stato tragicamente testimoniato dalla storia. Diversa è stata l’ermeneutica della modernità offerta da Del Noce, che contro la rivoluzione intesa come tentativo di sostituire la religione nell’opera di liberazione dell’uomo dall’alienazione, vede invece nel risorgimento una categoria ancora feconda di possibilità di libertà per l’uomo dell’epoca della secolarizzazione. Di fronte ai dilemmi delle odierne società liberaldemocratiche, la visione personalistica, che fa dell’uomo un essere dotato di un principio di dignità infinito, rimane il retaggio di quelle figure della nostra tradizione ottocentesca che, lungi dall’avere esaurito sue potenzialità, offre per lui ancora delle risorse per la salvezza di ciò rimane di più prezioso dell’umanesimo europeo. (shrink)

v. 1 Critica dell'interpretazione neo-kantiana.