The purpose of this paper is to provide a new system of logic for existence and essence, in which the traditional distinctions between essential and accidental properties, abstract and concrete objects, and actually existent and possibly existent objects are described and related in a suitable way. In order to accomplish this task, a primitive relation of essential identity between different objects is introduced and connected to a first order existence property and a first order abstractness property. The basic idea is (...) that possibly existent objects are completely determinate and that essentially identical objects are just different individuations of the same individual essence. Accordingly, essential properties are defined as properties that are invariant with respect to this kind of identity, while abstract objects are determined by being characterized by essential properties only. Once such ideas are implemented, a number of classical intuitions about objects, their essence, and their way of existence can be consistently interpreted. (shrink)

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half covers topics in structural proof theory, including the Gödel-Gentzen translation of classical into intuitionistic logic, natural deduction and the normalization theorems, the sequent calculus, including cut-elimination and mid-sequent theorems, and various applications of these (...) results. The second half examines ordinal proof theory, specifically Gentzen's consistency proof for first-order Peano Arithmetic. The theory of ordinal notations and other elements of ordinal theory are developed from scratch, and no knowledge of set theory is presumed. The proof methods needed to establish proof-theoretic results, especially proof by induction, are introduced in stages throughout the text. Mancosu, Galvan, and Zach's introduction will provide a solid foundation for those looking to understand this central area of mathematical logic and the philosophy of mathematics. (shrink)

In recent years numerous attempts have been made by analytic philosophers to naturalize various different domains of philosophical inquiry. All of these attempts have had the common goal of rendering these areas of philosophy amenable to empirical methods, with the intention of securing for them the supposedly objective status and broad intellectual appeal currently associated with such approaches. This volume brings together internationally recognised analytic philosophers, including Alvin Plantinga, Peter van Inwagen and Robert Audi, to question the project of naturalism. (...) The articles investigate what it means to naturalize a domain of philosophical inquiry and look at how this applies to the various sub-disciplines of philosophy including epistemology, metaphysics and the philosophy of the mind. The issue of whether naturalism is desirable is raised and the contributors take seriously the possibility that excellent analytic philosophy can be undertaken without naturalization. Controversial and thought-provoking, Analytic Philosophy Without Naturalism examines interesting and contentious methodological issues in analytic philosophy and explores the connections between philosophy and science. (shrink)

The aim of this essay is twofold. First, it outlines the concept of ontological frame. Secondly, two models are distinguished on this structure. The first one is connected to Kant’s concept of possible object and the second one relates to Leibniz’s. Leibniz maintains that the source of possibility is the mere logical consistency of the notions involved, so that possibility coincides with analytical possibility. Kant, instead, argues that consistency is only a necessary component of possibility. According to Kant, something is (...) possible if there is a cause capable of bringing it into existence; to this end consistency alone is not sufficient. Thus, while the Leibnizian notion of consistency is at the root of the concept of analytical possibility, the Kantian notion of possibility is the source of real possibility. This difference plays an important role in the discussion of Gödel’s ontological proof, which can be formally interpreted on the ontological frame of the pure perfections. While this proof, under some emendation condition, is conclusive in the context of Leibniz’s ontological model, it is not so within the Kantian one. This issue will be the subject of the second part of the present essay. (shrink)

In recent years numerous attempts have been made by analytic philosophers to _naturalize _various different domains of philosophical inquiry. All of these attempts have had the common goal of rendering these areas of philosophy amenable to empirical methods, with the intention of securing for them the supposedly objective status and broad intellectual appeal currently associated with such approaches. This volume brings together internationally recognised analytic philosophers, including Alvin Plantinga, Peter van Inwagen and Robert Audi, to question the project of naturalism. (...) The articles investigate what it means to _naturalize_ a domain of philosophical inquiry and look at how this applies to the various sub-disciplines of philosophy including epistemology, metaphysics and the philosophy of the mind. The issue of whether naturalism is desirable is raised and the contributors take seriously the possibility that excellent analytic philosophy can be undertaken without naturalization. Controversial and thought-provoking, _Analytic Philosophy Without Naturalism_ examines interesting and contentious methodological issues in analytic philosophy and explores the connections between philosophy and science. (shrink)

In this article I defend a form of classical possibilism with an actualist foundation. As a matter of fact, I believe that this position is more in keeping with the classical metaphysical tradition. According to this form of possibilism, I construe possible objects as possible non-existing objects of an existing producing power. Consequently, they are nothing vis-à -vis the modality of their own actual being, although they do exist with regard to the modality of the producing power’s being. The actualist (...) requirement prescribed by the Frege-Quinean criterion of the quantification domain is thus fulfilled; indeed, really possible objects are not actual objects, but their possibility is actual. (shrink)

The paper studies two formal schemes related to -completeness.LetS be a suitable formal theory containing primitive recursive arithmetic and letT be a formal extension ofS. Denoted by (a), (b) and (c), respectively, are the following three propositions (where (x) is a formula with the only free variable x): (a) (for anyn) ( T (n)), (b) T x Pr T (–(x)–) and (c) T x(x) (the notational conventions are those of Smoryski [3]). The aim of this paper is to examine the (...) meaning of the schemes which result from the formalizations, over the base theoryS, of the implications (b) (c) and (a) (b), where ranges over all formulae. The analysis yields two results overS : 1. the schema corresponding to (b) (c) is equivalent to ¬Cons T and 2. the schema corresponding to (a) (b) is not consistent with 1-CON T. The former result follows from a simple adaptation of the -incompleteness proof; the second is new and is based on a particular application of the diagonalization lemma. (shrink)

In this essay, we will try to provide a formal analysis of practical inference, attentive to the various phases in which it is articulated, and being so capable of explaining both the logical conclusiveness of the inference and the probabilistic nature of its conclusion. An innovative purpose of this article is to show how the final deliberation leading to action—the ultimate practical judgment—takes place according to a logic consistent with the use of Bayes’ theorem. This is why we refer to (...) Bayesian practical inference in the title of this essay. (shrink)

Cet ouvrage offre une introduction accessible à la théorie de la démonstration : il donne les détails des preuves et comporte de nombreux exemples et exercices pour faciliter la compréhension des lecteurs. Il est également conçu pour servir d’aide à la lecture des articles fondateurs de Gerhard Gentzen. L’ouvrage introduit également aux trois principaux formalismes en usage : l’approche axiomatique des preuves, la déduction naturelle et le calcul des séquents. Il donne une démonstration claire et détaillée des résultats fondamentaux du (...) domaine : traduction de l’arithmétique classique vers l’arithmétique intuitionniste, élimination des coupures, théorème de normalisation et conduit ensuite pas à pas le lecteur vers l’exposé de la célèbre preuve de cohérence de Gentzen pour l’arithmétique de Peano du premier ordre. Il comble ainsi une importante lacune éditoriale en présentant à la fois la théorie structurelle et la théorie ordinale de la démonstration. (shrink)

Published in honor of Sergio Galvan, this collection concentrates on the application of logical and mathematical methods for the study of central issues in formal philosophy. The volume is subdivided into four sections, dedicated to logic and philosophy of logic, philosophy of mathematics, philosophy of science, metaphysics and philosophy of religion. The contributions adress, from a logical point of view, some of the main topics in these areas. The first two sections include formal treatments of: truth and paradoxes; (...) definitions by abstraction; the status of abstract objects, such as mathematical objects and universal concepts; and the structure of explicit knowledge. The last two sections include papers on classical problems in philosophy of science, such as the status of subjective probability, the notion of verisimilitude, the notion of approximation, and the theory of mind and mental causation, and specific issues in metaphysics and philosophy of religion, such as the ontology of species, actions, and intelligible worlds, and the logic of religious belonging. (shrink)

One 1120 pages volume, with 4000 entries covering - Western philosophy: authors, schools, concepts and terminology; - religions, cultural anthropology, eastern philosophies; - Psychology and psychoanalysis; - linguistics and semiotics; - sociology and political theory.

The 'Enciclopedia Filosofica' is an encyclopaedia of philosophical topics promoted by the Centre for Philosophical Studies of Gallarate and published, in its third and last edition in 2006, by the Bompiani publishing house in Milan. The first edition of the 'Enciclopedia Filosofica' was promoted by the Centre for Philosophical Studies of Gallarate in the 1950s, seeing the light in 1957-58. A second edition, published by the Sansoni publishing house in Florence, was published in 1968-69 and reprinted in 1979. The third (...) and last edition, published by Bompiani in 2006, is intended to cover the whole of philosophical knowledge and related disciplines with over ten thousand entries edited by about a thousand academics, both Italian and non-Italian, and distributed in twelve volumes for a total of 12,496 pages. (shrink)

Background: In recent decades, the amount of research on social and emotional learning programs in schools has increased significantly, showing a great number of positive student outcomes, including greater ability to perceive, understand and manage emotions, better attitudes about self and others, less aggressive and/or disruptive behavior, higher levels of psychological well-being and improvement in academic performance among others. The purpose of this research was the design and implementation of the OKAPI emotional education program. A multidimensional program based on cooperative (...) learning methodology. Methods: 86 students of Primary Education, from 3rd to 5th grade (45 students in the experimental unit and 41 in the control group). Results: The implementation of the OKAPI has a positive impact in academic achievement. Conclusion: This program shows the convenience of incorporating programs that can be integrated into the school life and can be applied by the teaching staff using both social emotional learning and school climate approaches. (shrink)

Accidie, depression, and dejection seem to be psychological phenomena that are best characterized as cases in which an agent has no motivation to pursue what he or she judges to be good or valuable. The phenomena thus seem to present a challenge to any view that draws a close connection between motivation and evaluation. ‘Accidie, Evaluation, and Motivation’ aims to show that the phenomena are actually best explained by a theory that postulates a conceptual connection between motivation and evaluation.

The COVID‐ 19 pandemic is a critical test for the already overburdened and mostly underfunded public healthcare systems of Latin America. In a region that suffers from severe inequalities, public healthcare systems are the only source of medical care for a large sector of the population who work in the informal economy or are unemployed. State‐run hospitals and clinics are already overstressed by continuous demand for treatment of vector‐borne diseases and community‐acquired infections as well as high rates of non‐communicable diseases. (...) Ideological misconceptions and denial among Latin America’s political leaders prevented timely preparations for the pandemic and added to chronic governance problems. As ethical expertise in Latin America focuses on research ethics, few hospitals in the region have functioning clinical ethics committees or clinical ethics policy, forcing healthcare personnel to make excruciating treatment decisions in an environment dominated by material scarcity and public distrust. This essay examines the emergence of COVID‐19 in Latin America and the serious challenge that it poses for Latin America's public healthcare systems. (shrink)

The prehistory of science and technology studies -- The Kuhnian revolution -- Questioning functionalism in the sociology of science -- Stratification and discrimination -- The strong programme and the sociology of knowledge -- The social construction of scientific and technical realities -- Feminist epistemologies of science -- Actor-network theory -- Two questions concerning technology -- Studying laboratories -- Controversies -- Standardization and objectivity -- Rhetoric and discourse -- The unnaturalness of science and technology -- The public understanding of science -- (...) Expertise and public participation -- Political economies of knowledge. (shrink)

'We desire all and only those things we conceive to be good; we avoid what we conceive to be bad.' This slogan was once the standard view of the relationship between desire or motivation and rational evaluation. Many critics have rejected this scholastic formula as either trivial or wrong. It appears to be trivial if we just define the good as 'what we want', and wrong if we consider apparent conflicts between what we seem to want and what we seem (...) to think is good. In Appearances of the Good, Sergio Tenenbaum argues that the old slogan is both significant and right, even in cases of apparent conflict between our desires and our evaluative judgements. Maintaining that the good is the formal end of practical inquiry in much the same way as truth is the formal end of theoretical inquiry, he provides a fully unified account of motivation and evaluation. (shrink)

An effective method to increase the number of potential cadaveric organ donors is to make people donors by default with the option to opt out. This non-coercive public policy tool to influence people’s choices is often justified on the basis of the as-judged-by-themselves principle: people are nudged into choosing what they themselves truly want. We review three often hypothesized reasons for why defaults work and argue that the as-judged-by-themselves principle may hold only in two of these cases. We specify further (...) conditions for when the principle can hold in these cases and show that whether those conditions are met is often unclear. We recommend ways to expand nationwide surveys to identify the actual reasons for why defaults work and discuss mandated choice policy as a viable solution to many arising conundrums. (shrink)

A implementação de tecnologias móveis de informação e comunicação no suporte à Saúde Mental tem atraído a atenção das autoridades. Com a ascensão das Inteligências Artificiais, esse movimento pode ser impulsionado de maneira exponencial. Nesse cenário, esta revisão tem como objetivos verificar a aplicabilidade das Inteligências Artificiais (IAs) na Saúde Mental e analisar os aspectos que favorecem a relação entre IAs e usuários. Para tanto, realizou-se uma revisão sistemática nas bases de dados PubMed e Biblioteca Virtual em Saúde, no período (...) de 25 de maio a 23 de junho de 2023. Selecionamos os 100 primeiros artigos mais relevantes com as palavras-chave: “Inteligência Artificial”, “Saúde Mental”, “Chatbots”, “Psicoterapia”, “Psicologia” e suas equivalentes em inglês. Os critérios de inclusão foram: acesso aberto, publicação a partir de 2018, em português ou inglês e menção à atuação de IAs no âmbito da Saúde Mental. Para reduzir o risco de viés, excluímos os estudos que não mensuraram o impacto das intervenções por meio de métodos experimentais ou quase-experimentais. Para a síntese dos dados, delimitaram-se alguns pontos específicos de análise, como “Resultado da intervenção”, “Aspectos que favorecem a relação”, entre outros. Atenderam aos critérios de inclusão 24 estudos, dos quais 17 apresentaram resultados positivos em suas intervenções. O uso de IAs na Saúde Mental possui grande potencial de expansão e os resultados obtidos neste trabalho podem guiar a implementação dessas práticas e futuras pesquisas na área. (shrink)

Rational Powers in Action presents a conception of instrumental rationality as governing actions that are extended in time with indeterminate ends. Tenenbaum argues that previous philosophical theories in this area, in focusing on momentary snapshots of the mind of idealized agents, miss central aspects of human rationality.

Recent research on algebraic models of _quasi-Nelson logic_ has brought new attention to a number of classes of algebras which result from enriching (subreducts of) Heyting algebras with a special modal operator, known in the literature as a _nucleus_. Among these various algebraic structures, for which we employ the umbrella term _intuitionistic modal algebras_, some have been studied since at least the 1970s, usually within the framework of topology and sheaf theory. Others may seem more exotic, for their primitive operations (...) arise from algebraic terms of the intuitionistic modal language which have not been previously considered. We shall for instance investigate the variety of _weak implicative semilattices_, whose members are (non-necessarily distributive) meet semilattices endowed with a nucleus and an implication operation which is not a relative pseudo-complement but satisfies the postulates of Celani and Jansana’s strict implication. For each of these new classes of algebras we establish a representation and a topological duality which generalize the known ones for Heyting algebras enriched with a nucleus. (shrink)

In this paper we advance a new solution to Quinn’s puzzle of the self-torturer. The solution falls directly out of an application of the principle of instrumental reasoning to what we call “vague projects”, i.e., projects whose completion does not occur at any particular or definite point or moment. The resulting treatment of the puzzle extends our understanding of instrumental rationality to projects and ends that cannot be accommodated by orthodox theories of rational choice.

Two Lagrangians L and L′ are equivalent if the equations of motion derived from them have the same set of solutions. In that case, a matrix Λ may be defined which has the property that the trace of any analytic function of Λ is a constant of the motion. We extend this trace theorem to the case of classical field theory and discuss some of the implications for quantum theory and for procedures for finding equivalent Lagrangians.

Though it is held that some models in science have explanatory value, there is no conclusive agreement on what provides them with this value. One common view is that models have explanatory value vis-à-vis some target systems because they are developed using an abstraction process. Though I think this is correct, I believe it is not the whole picture. In this paper, I argue that, in addition to the well-known process of abstraction understood as an omission of features or information, (...) there is also a family of abstraction processes that involve aggregation of features or information and that these processes play an important role in endowing the models they are used to build with explanatory value. After offering a taxonomy of abstraction processes involving aggregation, I show by considering in detail several models drawn from different sciences that the abstraction processes involving aggregation that are used to build these models are responsible for their having explanatory value. (shrink)