According to the implicit commitment thesis, once accepting a mathematical formal system S, one is implicitly committed to additional resources not immediately available in S. Traditionally, this thesis has been understood as entailing that, in accepting S, we are bound to accept reflection principles for S and therefore claims in the language of S that are not derivable in S itself. It has recently become clear, however, that such reading of the implicit commitment thesis cannot be compatible with well-established positions (...) in the foundations of mathematics which consider a specific theory S as self-justifying and doubt the legitimacy of any principle that is not derivable in S: examples are Tait’s finitism and the role played in it by Primitive Recursive Arithmetic, Isaacson’s thesis and Peano Arithmetic, Nelson’s ultrafinitism and sub-exponential arithmetical systems. This casts doubts on the very adequacy of the implicit commitment thesis for arithmetical theories. In the paper we show that such foundational standpoints are nonetheless compatible with the implicit commitment thesis. We also show that they can even be compatible with genuine soundness extensions of S with suitable form of reflection. The analysis we propose is as follows: when accepting a system S, we are bound to accept a fixed set of principles extending S and expressing minimal soundness requirements for S, such as the fact that the non-logical axioms of S are true. We call this invariant component the semantic core of implicit commitment. But there is also a variable component of implicit commitment that crucially depends on the justification given for our acceptance of S in which, for instance, may or may not appear reflection principles for S. We claim that the proposed framework regulates in a natural and uniform way our acceptance of different arithmetical theories. (shrink)

This paper is dedicated to extending and adapting to modal logic the approach of fractional semantics to classical logic. This is a multi-valued semantics governed by pure proof-theoretic considerations, whose truth-values are the rational numbers in the closed interval $[0,1]$. Focusing on the modal logic K, the proposed methodology relies on three key components: bilateral sequent calculus, invertibility of the logical rules, and stability (proof-invariance). We show that our semantic analysis of K affords an informational refinement with respect to the (...) standard Kripkean semantics (a new proof of Dugundji’s theorem is a case in point) and it raises the prospect of a proof-theoretic semantics for modal logic. (shrink)

This article presents a new semantics for classical propositional logic. We begin by maximally extending the space of sequent proofs so as to admit proofs for any logical formula; then, we extract the new semantics by focusing on the axiomatic structure of proofs. In particular, the interpretation of a formula is given by the ratio between the number of identity axioms out of the total number of axioms occurring in any of its proofs. The outcome is an informational refinement of (...) traditional Boolean semantics, obtained by breaking the symmetry between tautologies and contradictions. (shrink)

Arrow’s information paradox features the most radical kind of information asymmetry by diagnosing an inherent conflict between two parties inclined to exchange information. In this paper, we argue that this paradox is more richly textured than generally supposed by current economic discussion on it and that its meaning encroaches on philosophy. In particular, we uncovers the ‘epistemic’ and more genuine version of the paradox, which looms on our cognitive lives like a sort of tax on curiosity. Finally, we sketch the (...) relation between Arrow’s information paradox and the notion of zero-knowledge proofs in cryptography: roughly speaking, zero-knowledge proofs are protocols that enable a prover to convince a verifier that a statement is true, without conveying any additional information. (shrink)

According to David Lewis, the predicate ‘knows’ is context-sensitive in the sense that its truth conditions vary across conversational contexts, which stretch or compress the domain of error possibilities to be eliminated by the subject’s evidence. Our concern in this paper is to thematize, assess, and overcome within a neo-Lewisian contextualist project two important mismatches between our use of ‘know’ in ordinary life and the use of ‘know’ by ‘Lewisian’ ordinary speakers. The first mismatch is that Lewisian contextualism still overgenerates (...) the error possibilities which cannot be ignored in a given context, since it is oblivious to the distinction between ‘invented’ and ‘discovered’ possibilities. The second mismatch is a full-scale one: an adequate account of knowledge attribution is not exhausted by the subject’s negative capacity of pruning branches off the tree of counterpossibilities. We therefore introduce a new vector of value, which explains how ‘know’ comes in degrees: the satisfaction of ‘know better’ is made to depend on the capacity of imagining possibilities connected in a relevant way with the subject’s beliefs. (shrink)

Abductive reasoning involves finding the missing premise of an “unsaturated” deductive inference, thereby selecting a possible _explanans_ for a conclusion based on a set of previously accepted premises. In this paper, we explore abductive reasoning from a structural proof-theory perspective. We present a hybrid sequent calculus for classical propositional logic that uses sequents and antisequents to define a procedure for identifying the set of analytic hypotheses that a rational agent would be expected to select as _explanans_ when presented with an (...) abductive problem. Specifically, we show that this set may not include the deductively minimal hypothesis due to the presence of redundant information. We also establish that the set of all analytic hypotheses exhausts all possible solutions to the given problem. Finally, we propose a deductive criterion for differentiating between the best _explanans_ candidates and other hypotheses. (shrink)

In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic \(\mathbf{K}\), whose values lie in the closed interval \([0,1]\) of rational numbers [14]. In this paper, after clarifying our conception of bilateralism – dubbed “soft bilateralism” – we generalize the fractional method to encompass extensions and weakenings of \(\mathbf{K}\). Specifically, we introduce well-behaved hypersequent calculi for the deontic logic \(\mathbf{D}\) and the non-normal modal logics (...) \(\mathbf{E}\) and \(\mathbf{M}\) and thoroughly investigate their structural properties. (shrink)

In this paper, we show by a proof-theoretical argument that in a logic without structural rules, that is in noncommutative linear logic with exponentials, every formula A for which exchange rules (and weakening and contraction as well) are admissible is provably equivalent to ?A. This property shows that the expressive power of "noncommutative exponentials" is much more important than that of "commutative exponentials".

In this paper, we show by a proof-theoretical argument that in a logic without structural rules, that is in noncommutative linear logic with exponentials, every formula A for which exchange rules are admissible is provably equivalent to?A. This property shows that the expressive power of "noncommutative exponentials" is much more important than that of "commutative exponentials".

In this paper we will discuss the first order multiplicative intuitionistic fragment of linear logic, MILL1, and its applications to linguistics. We give an embedding translation from formulas in the Lambek Calculus to formulas in MILL1 and show this translation is sound and complete. We then exploit the extra power of the first order fragment to give an account of a number of linguistic phenomena which have no satisfactory treatment in the Lambek Calculus.

This book contains more than 15 essays that explore issues in truth, existence, and explanation. It features cutting-edge research in the philosophy of mathematics and logic. Renowned philosophers, mathematicians, and younger scholars provide an insightful contribution to the lively debate in this interdisciplinary field of inquiry. The essays look at realism vs. anti-realism as well as inflationary vs. deflationary theories of truth. The contributors also consider mathematical fictionalism, structuralism, the nature and role of axioms, constructive existence, and generality. In addition, (...) coverage also looks at the explanatory role of mathematics and the philosophical relevance of mathematical explanation. The book will appeal to a broad mathematical and philosophical audience. It contains work from FilMat, the Italian Network for the Philosophy of Mathematics. These papers collected here were also presented at their second international conference, held at the University of Chieti-Pescara, May 2016. (shrink)

The very fact that the Gödel sentence $$\mathcal {G}$$ is independent of Peano Arithmetic fuels controversy over our access to the truth of $$\mathcal {G}$$. In particular, does the truth of $$\mathcal {G}$$ $$ ) precede the truth of its numerical instances $$\varphi $$, $$\varphi $$, $$\varphi, \ldots $$, as the so-called standard argument induces one to believe? This paper offers a shift in perspective on this old problem. We start by reassessing Michael Dummett’s 1963 argument which seems to speak (...) in favour of the priority of the truth of the numerical instances of $$\mathcal {G}$$ over the truth of $$\mathcal {G}$$ itself. In opposition to some recent criticisms of Dummett’s argument, we argue that the latter is not reducible to the standard one. We then point out its prototypical nature in the sense individuated by Jacques Herbrand. This shift in perspective brings us to the claim that the controversy over the priority between $$\mathcal {G}$$ and its numerical instances endures only because the problem is ultimately ill-posed. An encompassing moral about the epistemological mechanism of prototype proofs is also drawn. (shrink)

The aim of this paper is to argue that logic can play an important role in the “toolbox” of molecular biology. We show how biochemical pathways, i.e., transitions from a molecular aggregate to another molecular aggregate, can be viewed as deductive processes. In particular, our logical approach to molecular biology — developed in the form of a natural deduction system — is centered on the notion of Curry-Howard isomorphism, a cornerstone in nineteenth-century proof-theory.

Some real life processes, including molecular ones, are context-sensitive, in the sense that their outcome depends on side conditions that are most of the times difficult, or impossible, to express fully in advance. In this paper, we survey and discuss a logical account of context-sensitiveness in molecular processes, based on a kind of non-classical logic. This account also allows us to revisit the relationship between logic and philosophy of science (and philosophy of biology, in particular).

An important part of the Unified Medical Language System (UMLS) is its Semantic Network, consisting of 134 Semantic Types connected to each other by edges formed by one or more of 54 distinct Relation Types. This Network is however for many purposes overcomplex, and various groups have thus made attempts at simplification. Here we take this work further by simplifying the relations which involve the three Semantic Types – Diagnostic Procedure, Laboratory Procedure and Therapeutic or Preventive Procedure. We define operators (...) which can be used to generate terms instantiating types from this selected set when applied to terms designating certain other Semantic Types, including almost all the terms specifying clinical tasks. Usage of such operators thus provides a useful and economical way of specifying clinical tasks. The operators allow us to define a mapping between those types within the UMLS which do not represent clinical tasks and those which do. This mapping then provides a basis for an ontology of clinical tasks that can be used in the formulation of computer-interpretable clinical guideline models. (shrink)

Outcomes research in healthcare has been a topic much addressed in recent years. Efforts in this direction have been supplemented by work in the areas of guidelines for clinical practice and computer-interpretable workflow and careflow models.In what follows we present the outlines of a framework for understanding the relations between organizations, guidelines, individual patients and patient-related functions. The derived framework provides a means to extract the knowledge contained in the guideline text at different granularities, in ways that can help us (...) to assign tasks within the healthcare organization and to assess clinical performance in realizing the guideline. It does this in a way that preserves the flexibility of the organization in the adoption of the guidelines. (shrink)

This paper focuses on extant approaches to counteract the consumption of fake news online. Proponents of structural approaches suggest that our proneness to consuming fake news could only be reduced by reshaping the architecture of online environments. Proponents of educational approaches suggest that fake news consumers should be empowered to improve their epistemic agency. In this paper, we address a question that is relevant to this debate: namely, whether fake news consumers commit mistakes for which they can be criticized and (...) that they could easily avoid by reforming their doxastic conduct. Proponents of structural approaches, like R. Rini and B. Millar, have defended in different ways a negative answer to this question. In this paper, we criticize their views and suggest that individual users could improve on their epistemic practice by widening their information diet. (shrink)

According to Hartry Field, the mathematical Platonist is hostage of a dilemma. Faced with the request of explaining the mathematicians’ reliability, one option could be to maintain that the mathematicians are reliably responsive to a realm populated with mathematical entities; alternatively, one might try to contend that the mathematical realm conceptually depends on, and for this reason is reliably reflected by, the mathematicians’ (best) opinions; however, both alternatives are actually unavailable to the Platonist: the first one because it is in (...) tension with the idea that mathematical entities are causally ineffective, the second one because it is in tension with the suggestion that mathematical entities are mind-independent. John Divers and Alexander Miller have tried to reject the conclusion of this argument—according to which Platonism is inconsistent with a satisfactory epistemology for arithmetic—by redescribing the second horn of the dilemma in light of Crispin Wright’s notion of judgment-dependent truth; in particular they have contended that once arithmetical truth is conceived in this way the Platonist can have a substantial epistemology which does not conflict with the idea that the mathematical entities exist mind-independently. In this paper I analyze Wright’s notion of judgment-dependent truth, and reject Divers and Miller’s argument for the conclusion that arithmetical truth can be so characterized. In the final part, I address the worry that my argument generalizes very quickly to the conclusion that no area of discourse could be characterized as judgment-dependent. As against this conclusion, I indicate under what conditions—notably not satisfied in Divers and Miller’s case, but possibly satisfied in others—a discourse’s judgment-dependency can be successfully vindicated. (shrink)

This chapter introduces a novel account of fake news and explains how it differs from other definitions on the market. The account locates the fakeness of an alleged news report in two main aspects related to its production, namely that its creators do not think to have sufficient evidence in favor of what they divulge and they fail to display the appropriate attitude towards the truth of the information they share. A key feature of our analysis is that it does (...) not require that fake news must be circulated with the intention to deceive one’s audience. In this way, our account overcomes a potential limitation of the current philosophical discussion about fake news, which appears to individuate the main problem with this phenomenon in the fact that fake news consumers are misled and misinformed. In contrast, the proposed analysis shows that an additional (and perhaps equally fundamental) problem uncovered by the spread of fake news is a widespread pathological relationship with information, one on which we consume information not to satisfy our interest in the truth but to strengthen our social identities and quench our hunger for social recognition. (shrink)

The book sets out to analyse the notion of a priori justification and of a priori knowledge.

Come pensavano il tempo i Greci di eta arcaica, prima che Platone ed Aristotele ne formulassero una definizione? Nei miti, il tempo della natura, ciclico e rassicurante, non era messo a confronto con quello umano, imprevedibile anche se inesorabilmente determinato. Il ritmo scandito dal sole non era sovrapponibile a quelle della vita umana, l'avvicendarsi delle stagioni non misurava la durata della stirpe. Solo in eta sapienziale (VII-V secolo a.C.) si comincio a pensare il tempo in modo onnicomprensivo e si avverti (...) l'esigenza di misurarne il flusso. In quell'epoca, Eraclito tratteggio una concezione del tempo assolutamente innovativa, capace di ribaltare le visione del mondo trasmessa dai miti. Penso al tempo delle stagioni in analogia con quello interiore e vide nell'inesauribile creativita dell'anima umana lo specchio dell'infinita potenzialita della natura. La concezione offerta da Eraclito, avversata dai filosofi di eta classica e misconosciuta dalla scienza, trasmette ancora oggi, a chi legge con attenzione i frammenti rimasti della sua opera, un fiducioso messaggio di speranza nella capacita umana di vivere creativamente il tempo. (shrink)

This article provides the first extensive study of Emanuel Swedenborg’s (1688–1772) views on Africans and slavery. Although significant scholarship has been devoted to Swedenborg’s influence on the British abolitionist movement in the 1780s-1790s, comparably little has been written on the ideas and context which inspired this influence in the first place. This article explores Swedenborg’s ties to networks and debates about African evangelization, colonization, and slavery during the neglected period of the Swedish Age of Liberty (1719–1772). It shows that Swedenborg (...) was the first Swede to condemn slavery, as early as 1741, explains why he regarded slavery as a divine punishment in the afterlife for European missionaries, and why he presented sub-Saharan Africans as superior, in contrast to the dominant dismissive views of Linnaeus, Bäck, Kant, or Buffon. Like most Lutherans of his time, Swedenborg did not advocate the abolition of slavery, yet within a generation his provocative views about African superiority and spiritual emancipation were used by his followers to articulate their abolitionist agenda. Swedenborg’s millenarian doctrines more broadly re-harnessed biblical traditions about Africa and tropes about the bon sauvage, in a counter-example to narratives about the trope’s decline in the second half of the eighteenth century. (shrink)

It is generally argued that if the wave-function in the de Broglie–Bohm theory is a physical field, it must be a field in configuration space. Nevertheless, it is possible to interpret the wave-function as a multi-field in three-dimensional space. This approach hasn’t received the attention yet it really deserves. The aim of this paper is threefold: first, we show that the wave-function is naturally and straightforwardly construed as a multi-field; second, we show why this interpretation is superior to other interpretations (...) discussed in the literature; third, we clarify common misconceptions. (shrink)

Predictivists use the no miracle argument to argue that “novel” predictions are decisive evidence for theories, while mere accommodation of “old” data cannot confirm to a significant degree. But deductivists claim that since confirmation is a logical theory-data relationship, predicted data cannot confirm more than merely deduced data, and cite historical cases in which known data confirmed theories quite strongly. On the other hand, the advantage of prediction over accommodation is needed by scientific realists to resist Laudan’s criticisms of the (...) no miracle argument. So, if the deductivists are right, the most powerful argument for realism collapses. There seems to be an inescapable contradiction between these prima facie plausible arguments of predictivists and deductivists; but this puzzle can be solved by understanding what exactly counts as novelty, if novel predictions must support the no miracle argument, i.e., if they must be explainable only by the truth of theories. Taking my cues from the use-novelty tradition, I argue that (1) the predicted data must not be used essentially in building the theory or choosing the auxiliary assumptions. This is possible if the theory and its auxiliary assumptions are plausible independently of the predicted data, and I analyze the consequences of this requirement in terms of best explanation of diverse bodies of data. Moreover, the predicted data must be (2) a priori improbable, and (3) heterogeneous to the essentially used data. My proposed notion of novelty, therefore, is not historical, but functional. Hence, deductivists are right that confirmation is independent of time and of historical contingencies such as if the theorist knew a datum, used it, or intended to accommodate it. Predictivists, however, are right that not all consequences confirm equally, and confirmation is not purely a logical theory-data relation, as it crucially involves background epistemic conditions and the notion of best explanation. Conditions (1)–(3) make the difference between prediction and accommodation, and account for the confirming power of theoretical virtues such as non ad-hocness, non-fudging, non-overfitting, independence and consilience. I thus show that functional novelty (a) avoids the deductivist objections to predictivism, (b) is a gradual notion, in accordance with the common intuition that confirmation comes in degrees, and (c) supports the no miracle argument, so vindicating scientific realism. (shrink)

Machine generated contents note: I. METAPHYSICS -- 1. How Do Realism, Materialism, and Dialectics Fare in Contemporary Science? -- 2. New Dialogues between Hylas and Philonous -- 3. Energy: Between Physics and Metaphysics -- 4. The Revival of Causality -- 5. Emergence and the Mind -- 6 SCIENTIFIC REALISM -- 6. The Status of Concepts -- 7. Popper's Unworldly World 3 --II. METHODOLOGY AND PHILOSOPHY OF SCIENCE -- 8. On Method in the Philosophy of Science -- 9. Induction in Science (...) -- 10. The GST Challenge to the Classical Philosophies of Science -- 11. The Power and Limits of Reduction -- 12. Thinking in Metaphors --III. PHILOSOPHY OF MATHEMATICS -- 13. Moderate Mathematical Fictionism -- 14. The Gap between Mathematics and Reality -- 15. Two Faces and Three Masks of Probability --IV. PHILOSOPHY OF PHYSICS -- 16. Physical Relativity and Philosophy -- 17. Hidden Variables, Separability, and Realism -- 18. Schrodinger's Cat Is Dead --V. PHILOSOPHY OF PSYCHOLOGY -- 19. From Mindless Neuroscience and Brainless Psychology to Neuropsychology -- 20. Explaining Creativity -- VI. PHILOSOPHY OF SOCIAL SCIENCE -- 21. Analytic Philosophy of Society and Social Science: -- The Systemic Approach as an Alternative to Holism and Individualism -- 22. Rational Choice Theory: A Critical Look at Its Foundations -- 23. Realism and Antirealism in Social Science --VII. PHILOSOPHY OF TECHNOLOGY -- 24. The Nature of Applied Science and Technology -- 25. The Technology-Science-Philosophy Triangle in Its Social Context -- 26. The Technologies in Philosophy --VIII. MORAL PHILOSOPHY -- 27. A New Look at Moral Realism -- 28. Rights Imply Duties --IX. SOCIAL AND POLITICAL PHILOSOPHY -- 29. Morality Is the Basis of Legal and Political Legitimacy -- 30. Technoholodemocracy: An Alternative to -- Capitalism and Socialism -- Bibliography -- Index of Names -- Index of Subjects. (shrink)

This fascinating exploration of the great discoveries of history's most important mathematicians seeks an answer to the eternal question: Does mathematics hold the key to understanding the mysteries of the physical world?

Most social scientists and philosophers claim that sociology and philosophy are disjoint fields of inquiry. Some have wondered how to trace the precise boundary between them. Mario Bunge argues that the two fields are so entangled with one another that no demarcation is possible or, indeed, desirable. In fact, sociological research has demonstrably philosophical pre-suppositions. In turn, some findings of sociology are bound to correct or enrich the philosophical theories that deal with the world, our knowledge of it, or (...) the ways of acting upon it. While Bunge's thesis would hardly have shocked Mill, Marx, Durkheim, or Weber, it is alien to the current sociological mainstream and dominant philosophical schools. Bunge demonstrates that philosophical problematics arise in social science research. A fertile philosophy of social science unearths critical presuppositions, analyzes key concepts, refines effective research strategies, crafts coherent and realistic syntheses, and identifies important new problems. Bunge examines Marx's and Durkheim's thesis that social facts are as objective as physical facts; the so-called Thomas theorem that refutes the behaviorist thesis that social agents react to social stimuli rather than to the way we perceive them; and Merton's thesis on the ethos of basic science which shows that science and morality are intertwined. He considers selected philosophical problems raised by contemporary social studies and argues forcefully against tolerance of shabby work in academic social science and philosophy alike. (shrink)

There are two possible realist defense strategies against the pessimistic meta-induction and Laudan’s meta-modus tollens: the selective strategy, claiming that discarded theories are partially true, and the discontinuity strategy, denying that pessimism about past theories can be extended to current ones. A radical version of discontinuity realism is proposed by Gerald Doppelt: rather than discriminating between true and false components within theories, he holds that superseded theories cannot be shown to be even partially true, while present best theories are demonstrably (...) completely true. I argue that this position, running counter both the cumulativity of science and fallibilism, is untenable; it cannot account for the success of past theories, nor for the failures of current theories, and rather than shutting the door to the pessimistic historical objections it opens it wide. The best strategy, instead, joins the selective idea there was both some truth and some falsity in discarded theories, like in current ones, with the moderate discontinuity idea that the truth rate in present best theories is much greater than in past ones. (shrink)