This note is a generalization and improved interpretation of the main result of Karni and Schmeidler. A decision-maker is supposed to possess a preference relation on acts and another preference relation on state-prize lotteries, both of which are assumed to satisfy the von Neumann–Morgenstern axioms. In addition, the two preference relations restricted to a state of nature are assumed to agree. We show that these axioms are necessary and sufficient for the existence of subjective expected utility over acts with state-dependent (...) utility functions and a subjective probability measure. This subjective probability measure is unique when conditioned on the set of states of nature in which not all the prizes are equally desirable. (shrink)

This article investigates the proof theory of the Quantified Argument Calculus as developed and systematically studied by Hanoch Ben-Yami [3, 4]. Ben-Yami makes use of natural deduction, we, however, have chosen a sequent calculus presentation, which allows for the proofs of a multitude of significant meta-theoretic results with minor modifications to the Gentzen’s original framework, i.e., LK. As will be made clear in course of the article LK-Quarc will enjoy cut elimination and its corollaries.

Free logics is a family of first-order logics which came about as a result of examining the existence assumptions of classical logic. What those assumptions are varies, but the central ones are that the domain of interpretation is not empty, every name denotes exactly one object in the domain and the quantifiers have existential import. Free logics usually reject the claim that names need to denote in, and of the systems considered in this paper, the positive free logic concedes that (...) some atomic formulas containing non-denoting names are true, while negative free logic rejects even the latter claim. Inclusive logics, which reject, are likewise considered. These logics have complex and varied axiomatizations and semantics, and the goal of this paper is to present an orderly examination of the various systems and their mutual relations. This is done by first offering a formalization, using sequent calculi which possess all the desired structural properties of a good proof system, including admissibility of contraction and cut, while streamlining free logics in a way no other approach has. We then present a simple and unified system of abstract semantics, which allows for a straightforward demonstration of the meta-theoretical properties, and offers insights into the relationship between different logics. The final part of this paper is dedicated to extending the system with modalities by using a labeled sequent calculus, and here we are again able to map out the different approaches and their mutual relations using the same framework. (shrink)

The Quantified argument calculus (Quarc) has received a lot of attention recently as an interesting system of quantified logic which eschews the use of variables and unrestricted quantification, but nonetheless achieves results similar to the Predicate calculus (PC) by employing quantifiers applied directly to predicates instead. Despite this noted similarity, the issue of the relationship between Quarc and PC has so far not been definitively resolved. We address this question in the present paper, and then expand upon that result. Utilizing (...) recent developments in structural proof theory, we develop a G3-style sequent calculus for Quarc and briefly demonstrate its structural properties. We put these properties to use immediately to construct direct proofs of the meta-theoretical properties of the system. We then incorporate an abstract (and, as we shall see, logical) predicate into the system in a way that preserves all the structural properties. This allows us to identify a system of Quarc which is deductively equivalent to PC, and also yields a constructive method of demonstrating the Craig interpolation theorem (which speaks in favor of the aforementioned predicate being logical). We further generalize this extension to develop a bivalent system of Quarc with defining clauses that still maintains all the desirable properties of a good proof system. (shrink)

Objectives: To evaluate relatives’ attitudes towards informing patients with Alzheimer’s disease about their diagnosis.Setting: A university hospital in Italy.Methods: The closest relatives of each of 71 subjects diagnosed for the first time as having AD were interviewed, using a semistructured questionnaire. Spontaneous requests by relatives not to communicate issues concerning the diagnosis were also recorded.Results: Forty three relatives spontaneously requested that patients not be fully informed. After being interviewed, nobody thought that the patient should be given all the information. Justifications (...) were related to the fear of the onset or worsening of depressive symptoms in the patient.Conclusions: In Italy relatives’ opposition to informing AD patients appears to be common. Knowledge of the relatives’ attitudes may be useful for clinicians but disclosure of diagnosis should be based on the clinical evaluation of the patient and on a prudent evaluation of the relationship between the patient and her/his relative caregiver. (shrink)

Aprender Matemática na escola é deparar-se com um mundo de conceitos que envolvem leitura e compreensão, tanto da linguagem natural como da linguagem matemática. Muitas vezes, os componentes curriculares, a Língua Portuguesa e a Matemática não dialogam. A resolução de problemas parece ser um dos pontos críticos na Matemática escolar. Este artigo aproxima esses componentes de forma a buscar estratégias para uma aprendizagem efetiva.

The article describes and analyzes the basic principles and approaches of using the project methodology in teaching spoken English to students. The analysis has identified the basic provisions of the fundamental principles and approaches on which the process of developing a project methodology for teaching students' conversational speech is based.

The relative rate of success of parliamentary vs. governmental legislative initiative is quite different. The examination of one, resp. two full legislative term, for amendments, resp. bills introduced, shows thatparliamentary legislative initiative by far exceeds «regular» governmental initiative : in a ratio of 3 to 1 for bills, and of 4 to 1 for amendments. But the results are almost inverse : governmental initiative accounts for 76 % of the bills, and for 67 % of the amendments eventually voted. The (...) government succeeds in «pushing through» more than 90 % of its own initiatives, whereas parliamentary initiative hardly obtains an overall 10 % realization score. In an interrogative manner, the conclusion pointsto a few elements that may account for this situation. (shrink)

In the presence of incomplete risk attitudes, choices between noncomparable risky prospects are random. A random choice model advanced by Karni, 2021) includes the hypothesis that choices among noncomparable risky prospects are prompted by signals drawn from personal distributions. This paper introduces a scheme designed to elicit subjects’ assessments of their personal likelihoods of choices among noncomparable risky prospects and describes experiments designed to test the aforementioned hypothesis.

This paper introduces a logic game which can be used to demonstrate the working of Boolean connectives. The simplicity of the system turns out to lead to some interesting meta-theoretical properties, which themselves carry a philosophical import. After introducing the system, we demonstrate an interesting feature of it—that it, while being an accurate model of propositional logic Booleans, does not contain any tautologies nor contradictions. This result allows us to make explicit a limitation of application of propositional logic to those (...) sentences with relatively stable truth values. (shrink)

RESUMO De acordo com Bakhtin, o dialogismo polifônico, um princípio geral para que haja um avanço de conhecimento, é bem representado no romance literário e mais comumente em narrativas, nas quais diferentes “vozes” podem ser expressas. Assim, neste artigo analisamos narrativas baseadas em imagens e construídas por trinta crianças, entre 5 e 8 anos de idade, falantes de francês, narrativas essas produzidas antes e depois de uma conversa sobre as causas dos eventos. As análises tiveram como foco a habilidade das (...) crianças de fazer diferentes vozes serem ouvidas, particularmente as vozes dos personagens, as quais as crianças fizeram ser ouvidas não apenas por meio do discurso direto e indireto, mas também por meio de expressões dos seus estados interiores, como crenças, intenções e sentimentos. Os resultados mostram tanto um desenvolvimento da habilidade das crianças de fazer com que essas vozes sejam ouvidas em suas narrativas, quanto um papel facilitador da troca conversacional em suas expressões. Argumentamos que esses resultados dão suporte para se considerar o lugar central que o diálogo ocupa no panorama geral da abordagem bakhtiniana. (shrink)

On Islamic doctrine, teachings and its practice.

Festschrift for Ē. Ḍī. Pī. Kalansūriya, Sri Lankan philosopher; contributed articles on Buddhist philosophy and Sri Lankan history.

Festschrift for Ē. Ḍī. Pī. Kalansūriya, Sri Lankan philosopher; contributed articles on Buddhist philosophy and Sri Lankan history.

This paper extends the investigations into logical properties of the quantified argument calculus (Quarc) by suggesting a series of proper subsystems which, although retaining the entire vocabulary of Quarc, restrict quantification in such a way as to make the result decidable. The proof of decidability is via a procedure that prunes the infinite branches of a derivation tree in what is a syntactic counterpart of semantic filtration. We demonstrate an application of one of these systems by showing that Aristotle’s assertoric (...) syllogistic is embeddable within, thus also providing another method of showing its decidability. (shrink)

Research suggests that metacognitive monitoring ability does not decline with age. For example, judgments-of-learning accuracy is roughly equivalent between younger and older adults. But few studies have asked whether younger and older adults’ metacognitive ability varies across different types of memory processes. The current study tested the relationship between memory and post-decision confidence ratings at the trial level on item and associative memory recognition tests. As predicted, younger and older adults had similarmetacognitive efficiency, when using meta-d’/d’, a measure derived from (...) Signal Detection Theory, despite a significant age effect favoring younger adults on memory performance. This result is consistent with previous work showing age-equivalent metacognitive efficiency in the memory domain. We also found that metacognitive efficiency was higher for associative memory than for item memory across age groups, even though associative and item recognition memory were statistically equivalent. Higher accuracy on post-test decision confidence ratings for associative recognition relative to item recognition on resolution accuracy itself and when corrected for performance differences are novel findings. Implications for associative metacognition are discussed. (shrink)

Free logics are a family of first-order logics which came about as a result of examining the existence assumptions of classical logic (Hintikka _The Journal of Philosophy_, _56_, 125–137 1959 ; Lambert _Notre Dame Journal of Formal Logic_, _8_, 133–144 1967, 1997, 2001 ). What those assumptions are varies, but the central ones are that (i) the domain of interpretation is not empty, (ii) every name denotes exactly one object in the domain and (iii) the quantifiers have existential import. Free (...) logics reject the claim that names need to denote in (ii). _Positive_ free logic concedes that some atomic formulas containing non-denoting names (including self-identity) are true, _negative_ free logic treats them as uniformly false, and _neutral_ free logic as taking a third value. There has been a renewed interest in analyzing proof theory of free logic in recent years, based on intuitionistic logic in Maffezioli and Orlandelli (_Bulletin of the Section of Logic_, _48_(2), 137–158 2019 ) as well as classical logic in Pavlović and Gratzl (_Journal of Philosophical Logic_, _50_, 117–148 2021 ), there for the positive and negative variants. While the latter streamlines the presentation of free logics and offers a more unified approach to the variants under consideration, it does not cover neutral free logic, since there is some lack of both clear formal intuitions on the semantic status of formulas with empty names, as well as a satisfying account of the conditional in this context. We discuss extending the results to this third major variant of free logics. We present a series of G3 sequent calculi adapted from Fjellstad (_Studia Logica_, _105_(1), 93–119 2017, _Journal of Applied Non-Classical Logics_, _30_(3), 272–289 2020 ), which possess all the desired structural properties of a good proof system, including admissibility of contraction and all versions of the cut rule. At the same time, we maintain the unified approach to free logics and moreover argue that greater clarity of intuitions is achieved once neutral free logic is conceptualized as consisting of two sub-varieties. (shrink)

The topic of this paper is Timothy Williamson’s understanding of the logical form of thought experiments as involving counterfactual conditionals which are true when their antecedent is impossible. At the same time, he sees the ability to handle counterfactuals as grounded in our everyday capacities. The aim of this paper is to drive a wedge, on empirical grounds, between our ordinary capacities and the counterfactuals which require an impossible antecedent.

This is a study of all the recent literature on william james written from a phenomenological perspective with the purpose of showing that william james made fundamental contributions to the phenomenological theory of the intentionality of consciousness, To the phenomenological theory of self-Identity, And to the phenomenological conception of noetic freedom as the basic concept of ethical theory.

Provides an overview of the complex history of the secular tradition of science and its interactions with religions and spiritual traditions.

O ensaio analisa o papel da filosofia na formação do docente do Ensino Médio; parte de Adorno que, enquanto avaliador da prova geral de filosofia nos exames de habilitação para o magistério em ciências nas IES alemãs, destacava o papel formativo da filosofia e como a ênfase no ensino profissional ofuscava a formação intelectual. Após resgatar o potencial histórico da Bildung, o ensaio se volta para os dias de hoje e tenta iluminar a atuação da filosofia na formação docente do (...) ensino médio. Dois grupos de problemas são levantados: o domínio de organizações privadas, cursos noturnos e EaD na formação; a submissão dessas organizações ao mercado. Consequência: o privilégio das competências e o desprestígio da formação. Ao final, o ensaio tenta resgatar o potencial da filosofia na formação desse profissional. (shrink)

According to Walter Benjamin the aura of a work of art lies in its unique existence in a particular place (“here and now”), but certain copies/facsimiles – like those discussed in this paper – seem to challenge this point of view and realize Paul Valéry’s prediction about the possibility to produce everywhere, any time, the “system of sensations” generated by the originals.

We review the early works which were precursors of the Conceptual Density Functional Theory. Starting from Thomas–Fermi approximation and from the exact formulation of Density Functional Theory by Hohenberg and Kohn’s theorem, we will introduce electronegativity and the theory of hard and soft acids and bases. We will also present a general introduction to the Fukui functions, and their relation with nucleophilicity and electrophilicity, with an emphasis towards the importance of these concepts for chemical reactivity.

The Quantified Argument Calculus (Quarc) is a formal logic system, first developed by Hanoch Ben-Yami in (Ben-Yami 2014), and since then extended and applied by several authors. The aim of this paper is to further these contributions by, first, providing a philosophical motivation for the truth-valuational, substitutional approach of (Ben-Yami 2014) and defending it against a common objection, a topic also of interest beyond its specific application to Quarc. Second, we fill the formal lacunae left in the original presentation, which (...) did not incorporate identity systematically into Quarc, and although it proved the soundness of the system did not prove its completeness. (shrink)

In this paper we use proof-theoretic methods, specifically sequent calculi, admissibility of cut within them and the resultant subformula property, to examine a range of philosophically-motivated deontic logics. We show that for all of those logics it is a (meta)theorem that the Special Hume Thesis holds, namely that no purely normative conclusion follows non-trivially from purely descriptive premises (nor vice versa). In addition to its interest on its own, this also illustrates one way in which proof theory sheds light on (...) philosophically substantial questions. (shrink)