Imperatives cannot be true, but they can be obeyed or binding: `Surrender!' is obeyed if you surrender and is binding if you have a reason to surrender. A pure declarative argument — whose premisses and conclusion are declaratives — is valid exactly if, necessarily, its conclusion is true if the conjunction of its premisses is true; similarly, I suggest, a pure imperative argument — whose premisses and conclusion are imperatives — is obedience-valid (alternatively: bindingness-valid) exactly if, necessarily, its conclusion is (...) obeyed (alternatively: binding) if the conjunction of its premisses is. I argue that there are two kinds of bindingness, and that a vacillation between two corresponding variants of bindingness-validity largely explains conflicting intuitions concerning the validity of some pure imperative arguments. I prove that for each of those two variants of bindingness-validity there is an equivalent variant of obedience-validity. Finally, I address alternative accounts of pure imperative inference. (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much (...) more, I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and reasoning systems, because--unlike pure indicators--they cannot be replaced by coreferential NPs without changing the meaning of the (...) embedding sentence. Therefore, the referent of the quasi-indicator must be represented in such a way that no invalid coreferential claims are entailed. The importance of quasi-indicators is discussed, and it is shown that all four of the above categories of belief reports can be handled by a single representational technique using belief spaces containing intensional entities. Inference rules and belief-revision techniques for the system are also examined. (shrink)

The Unified Foundational Ontology (UFO) was developed over the last two decades by consistently putting together theories from areas such as formal ontology in philosophy, cognitive science, linguistics, and philosophical logics. It comprises a number of micro-theories addressing fundamental conceptual modeling notions, including entity types and relationship types. The aim of this paper is to summarize the current state of UFO, presenting a formalization of the ontology, along with the analysis of a number of cases to illustrate the application of (...) UFO and facilitate its comparison with other foundational ontologies in this special issue. (The cases originate from the First FOUST Workshop – the Foundational Stance, an international forum dedicated to Foundational Ontology research.). (shrink)

Philosophers typically rely on intuitions when providing a semantics for counterfactual conditionals. However, intuitions regarding counterfactual conditionals are notoriously shaky. The aim of this paper is to provide a principled account of the semantics of counterfactual conditionals. This principled account is provided by what I dub the Royal Rule, a deterministic analogue of the Principal Principle relating chance and credence. The Royal Rule says that an ideal doxastic agent’s initial grade of disbelief in a proposition $A$ , given that the (...) counterfactual distance in a given context to the closest $A$ -worlds equals $n$ , and no further information that is not admissible in this context, should equal $n$ . Under the two assumptions that the presuppositions of a given context are admissible in this context, and that the theory of deterministic alethic or metaphysical modality is admissible in any context, it follows that the counterfactual distance distribution in a given context has the structure of a ranking function. The basic conditional logic V is shown to be sound and complete with respect to the resulting rank-theoretic semantics of counterfactuals. (shrink)

It is no exaggeration to say that of the early 20th century German philosophers who claimed to establish a new ontology, former neo-Kantian turned realist Nicolai Hartmann is the only one to have actually followed through. "Ontology: Laying the Foundations" deals with "what is insofar as it is," and its four parts tackle traditional ontological assumptions and prejudices and traditional categories such as substance, thing, individual, whole, object, and phenomenon; a novel redefinition of existence and essence in terms of (...) the ontological factors Dasein and Sosein and their interrelations; an analysis of modes of "givenness" and the ontological embeddedness of cognition in affective transcendent acts; and a discussion of the status of ideal being, including mathematical being, phenomenological essences, logical laws, values, and the interconnections between the ideal and real spheres. Hartmann’s work offers rich resources for those interested in overcoming the human-centeredness of much 20th century philosophy. Hartmann’s work offers rich resources for those interested in overcoming the human-centeredness of much 20th century philosophy. (shrink)

Ontology as a branch of philosophy is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality. ‘Ontology’ is often used by philosophers as a synonym for ‘metaphysics’ (literally: ‘what comes after the Physics’), a term which was used by early students of Aristotle to refer to what Aristotle himself called ‘first philosophy’. The term ‘ontology’ (or ontologia) was itself coined in 1613, independently, by two philosophers, Rudolf Göckel (...) (Goclenius), in his Lexicon philosophicum and Jacob Lorhard (Lorhardus), in his Theatrum philosophicum. The first occurrence in English recorded by the OED appears in Bailey’s dictionary of 1721, which defines ontology as ‘an Account of being in the Abstract’. (shrink)

The dominant school of logic, semantics, and the foundation of mathematics construct its theories within the framework of set theory. There are three strategies by means of which a member of this school might attempt to justify his ontology of sets. One strategy is to show that sets are already included in the naturalistic part of our everyday ontology. If they are, then one may assume that whatever justifies the everyday ontology justifies the ontology of sets. Another strategy is (...) to show that set theory is already part of logic. In this case, the ontology of sets would be justified in the sam way logic is justified. The third strategy is to show that set theory plays some unique role in theoretical work. If it does, then its ontology would be justified pragmatically. In this paper it is shown that none of these strategies is successful. One properly constructs foundations, not within set theory. bit within an intensional logic that takes properties, relations, propositions as basic. (shrink)

This paper presents a new system of logic, LF, that is intended to be used as the foundation of the formalization of science. That is, deductive validity according to LF is to be used as the criterion for assessing what follows from the verdicts, hypotheses, or conjectures of any science. In work currently in progress, we argue for the unique suitability of LF for the formalization of logic, mathematics, syntax, and semantics. The present document specifies the language and (...) rules of LF, lays out some notational conventions, and states some basic technical facts about the system. (shrink)

Reverse mathematics studies which subsystems of second order arithmetic are equivalent to key theorems of ordinary, non-set-theoretic mathematics. The main philosophical application of reverse mathematics proposed thus far is foundational analysis, which explores the limits of different foundations for mathematics in a formally precise manner. This paper gives a detailed account of the motivations and methodology of foundational analysis, which have heretofore been largely left implicit in the practice. It then shows how this account can be fruitfully applied in (...) the evaluation of major foundational approaches by a careful examination of two case studies: a partial realization of Hilbert’s program due to Simpson [1988], and predicativism in the extended form due to Feferman and Schütte. -/- Shore [2010, 2013] proposes that equivalences in reverse mathematics be proved in the same way as inequivalences, namely by considering only omega-models of the systems in question. Shore refers to this approach as computational reverse mathematics. This paper shows that despite some attractive features, computational reverse mathematics is inappropriate for foundational analysis, for two major reasons. Firstly, the computable entailment relation employed in computational reverse mathematics does not preserve justification for the foundational programs above. Secondly, computable entailment is a Pi-1-1 complete relation, and hence employing it commits one to theoretical resources which outstrip those available within any foundational approach that is proof-theoretically weaker than Pi-1-1-CA0. (shrink)

In this paper, by suggesting a formal representation of science based on recent advances in logic-based Artificial Intelligence (AI), we show how three serious concerns around the realisation of traditional scientific realism (the theory/observation distinction, over-determination of theories by data, and theory revision) can be overcome such that traditional realism is given a new guise as ‘naturalised’. We contend that such issues can be dealt with (in the context of scientific realism) by developing a formal representation of science based (...) on the application of the following tools from Knowledge Representation: the family of Description Logics, an enrichment of classical logics via defeasible statements, and an application of the preferential interpretation of the approach to Belief Revision. (shrink)

In the Introduction to the Treatise Hume very enthusiastically announces his project to provide a secure and solid foundation for the sciences by grounding them on his science of man. And Hume indicates in the Abstract that he carries out this project in the Treatise. But most interpreters do not believe that Hume's project comes to fruition. In this paper, I offer a general reading of what I call Hume's ‘foundational project’ in the Treatise, but I focus especially on Book (...) 1. I argue that in Book 1 much of Hume's logic is put in the service of the other sciences, in particular, mathematics and natural philosophy. I concentrate on Hume's negative thesis that many of the ideas central to the sciences are ideas that we cannot form. For Hume, this negative thesis has implications for the sciences, as many of the texts I discuss make evident. I consider and criticize different proposals for understanding these implications: the Criterion of Meaning and the ‘Inconceivability Principle’. I introduce what I call Hume's ‘No Reason to Believe’ Principle, which I argue captures more adequately the link Hume envisions between his logic, in particular his examination of ideas, and the other sciences. (shrink)

Foundational relations play an important role in the ontological foundations of conceptual modeling. Their investigation has been theoretically addressed in philosophical/ontological theories, and empirically offered in foundational ontologies (FOs). FOs are comprehensive theories that model the world as top-level entities and relations. Empirically, for modelers aiming to use foundational relations without an urge for entity types, FOs seem to be complex to comprehend, comply with, and integrate in practice. And since the practice of these relations is critical for conceptual (...) modeling tasks, we present an approach that builds a well-founded entity-type free relations theory within a first-order-logic formalization, besides large complex FOs. The theory contributes to a minimal set of foundational ontological relations (FORT) by importing extant theories (mereotopology and location) and (re-)formalizing other relations (dependence, membership, constitution, and entity-location), while no FO has compromised this set. (shrink)

The paper discusses the manner and extent to which Epicurean ethics can serve as a general philosophy of life, capable of supporting philosophical practice in the form of philosophical counseling. Unlike the modern age academic philosophy, the philosophical practice movement portrays the philosopher as a personal or corporate adviser, one who helps people make sense of their experiences and find optimum solutions within the context of their values and general preferences. Philosophical counseling may rest on almost any school of philosophy, (...) ranging — in the Western tradition from Platonism to the philosophy of language or logic. While any specialist school of philosophy may serve valuable purposes by elucidating specific aspects of one’s experiences and directing future action, the more ‘generalist’ the philosophy used as the basis for counseling is, the broader and more far-reaching its potential impact on the person undergoing counseling. Epicurean ethics is a prime example of a philosophy of life that is suitable for philosophical counseling today. Its closer examination reveals that, contrary to superficial opinion, it is not opposed to Stoicism and may in fact incorporate Stoicism and its antecedent virtues (including many Christian virtues) in a simple yet comprehensive practical system of directions for modern counseling. (shrink)

Free logics aim at freeing logic from existence assumptions by making them explicit, e.g., by adding an existence premisse to the antecedence of the classical axiom-schema of Universal Instantiation. Their historical development was motivated by the problem of empty singular terms, and that one of simple statements containing at least one such singular term: what is the referential status of such singular terms and what truth-value, if any, do such statemants have? Free logics can be classified with regard to (...) their respective answers to these problems. Negative free logics assume that non-existent objects cannot have any properties at all; hence, in particular, they cannot be self-identical or rotate. Positive free logics believe that non-existents can be self-identical according to the Leibnizian concept of identity. Neutral free logics think that statements of self-identity are truth-valueless because of the Fregean principle of compositionality. Since only in negative free logic, but not in positive free logic, two statements of the forms "a = a" and "E!a" are logically equivalent, one also can define only for NFL, but not for PFL, existence by self-identity. (shrink)

The boundless nature of the natural numbers imposes paradoxically a high formal bound to the use of standard artificial computer programs for solving conceptually challenged problems in number theory. In the context of the new cognitive foundations for mathematics' and physics' program immersed in the setting of artificial mathematical intelligence, we proposed a refined numerical system, called the physical numbers, preserving most of the essential intuitions of the natural numbers. Even more, this new numerical structure additionally possesses the property (...) of being a bounded object allowing us to work with quite similar axioms like the classic Peano axioms, but in a finite environment and with an enriched physical dimension. Finally, we present several enlightening examples and we conclude that the physical numbers provide a natural formal setting for approaching classic problems in number theory from a more hybrid perspective, i.e. with a potential participation in the generation of solutions, not only of working mathematicians but also of more sophisticated artificial interactive (mathematical) intelligent agents (within the context of cognitive-computational metamathematics or artificial mathematical intelligence) and more controlled by physically-inspired principles. Finally, this paper addresses a highly new, bottom-up and paradigm-shifting approach to the foundations of physics: One should refine and improve the conceptual formal setting of the language that we use for understanding physical phenomena (e.g. the mathematical grounding concepts and theories) for being able to understand better more subtle and complex physical phenomena. (shrink)

The Universal Balance Index: A Dynamic Equilibrium Governed by Three Foundational Laws and Tolerance Limits -/- Introduction -/- Throughout history, human societies, economies, and the environment have struggled to maintain balance. Decision-making, whether at an individual or collective level, often fluctuates between rationality and emotion, sustainability and exploitation, or fairness and inequality. -/- To address these challenges, the Universal Balance Index (UBI) provides a structured framework for assessing and maintaining equilibrium across various systems. Unlike rigid stability, the UBI follows a (...) dynamic equilibrium model, allowing for natural fluctuations within high and low tolerance limits. When these limits are exceeded, the system becomes unstable, leading to imbalance and potential collapse. -/- A major factor that disturbs balance is the misuse of negative emotions—such as fear, hatred, envy, and panic—which disrupt rational decision-making and lead to conflict, division, and instability. In contrast, positive emotions—such as compassion, trust, empathy, and hope—help stabilize and sustain both individual and collective systems. -/- At the core of the UBI are three foundational laws, which govern all decision-making and behavioral patterns in human and natural systems: -/- 1. The Universal Law of Balance in Nature – All systems must operate within a dynamic equilibrium to sustain stability and prevent collapse. -/- 2. The Universal Feedback Loop Mechanism – Every system receives continuous feedback that allows for self-correction and adaptation to maintain balance within high and low tolerance limits. -/- 3. The Error-Free System – A system guided by 99% correct knowledge and rational decision-making minimizes errors, preventing catastrophic failures and maintaining stability. -/- These three laws define the boundaries of balance, ensuring that individuals, societies, economies, and ecosystems remain self-regulating and resilient within their tolerance limits. -/- The Three Foundational Laws and Their Role in Balance -/- The Universal Balance Index functions based on the three laws that govern all natural and human systems, operating within high and low tolerance limits. -/- 1. The Universal Law of Balance in Nature -/- This law states that all systems—biological, psychological, societal, and environmental—must maintain a state of dynamic equilibrium. -/- Every decision, action, or process must align with the natural balance of the system to prevent instability. -/- When external influences push a system beyond its high or low tolerance limits, correction is required to restore equilibrium. -/- High Tolerance Limit (HTL): A system that grows too fast or operates beyond sustainable capacity will enter a state of overextension, leading to collapse or depletion. Low Tolerance Limit (LTL): A system that lacks movement, adaptation, or growth will stagnate, leading to inefficiency, weakness, and eventual failure. -/- ???? Example: If an economy grows too fast without sustainability, it creates an unstable financial bubble (exceeding HTL). If it stagnates due to lack of investment and innovation, it leads to poverty and crisis (falling below LTL). -/- 2. The Universal Feedback Loop Mechanism -/- Every system operates through a continuous feedback loop—adjusting itself based on the outcomes of previous actions. -/- Positive Feedback: If left unchecked, amplifies deviations beyond high tolerance limits, causing instability. -/- Negative Feedback: Helps regulate changes, maintaining the system within tolerance limits. -/- High Tolerance Limit (HTL): Excessive positive feedback leads to runaway effects, where problems escalate rapidly, causing economic crashes, social unrest, or environmental disasters. Low Tolerance Limit (LTL): If a system ignores feedback or resists adaptation, it becomes rigid, outdated, and nonfunctional. -/- ???? Example: A society that spreads misinformation and black propaganda enters a positive feedback loop of division and chaos, moving toward collapse (exceeding HTL). A society that ignores social justice movements or emerging threats becomes stagnant and regressive, weakening over time (falling below LTL). -/- 3. The Error-Free System: The Role of 99% Correct Knowledge -/- A balanced system operates with minimal errors by relying on verified, rational, and accurate information. -/- False beliefs, speculation, and black propaganda push systems into imbalance by introducing errors and distortions into decision-making. -/- A system operating with 99% correct knowledge remains stable because errors are minimized and self-corrected. -/- High Tolerance Limit (HTL): Excessive reliance on a single source of knowledge without questioning can lead to intellectual rigidity and dogma, limiting progress. Low Tolerance Limit (LTL): A system that is dominated by misinformation, speculation, and emotional manipulation will fall into chaos and collapse. -/- ???? Example: A government that makes economic or environmental policies based on speculation and emotional bias creates long-term instability (falling below LTL). A government that uses scientific data, historical patterns, and logical analysis ensures sustainable, stable decision-making (staying within UBI tolerance limits). -/- The Role of Emotions in Balance and Imbalance -/- The Universal Balance Index is significantly affected by the type of emotions driving decision-making. -/- Negative Emotions That Disrupt Balance -/- Negative emotions, when exploited or uncontrolled, create imbalance and instability. -/- Fear: Leads to panic, irrational decisions, and submission to control. -/- Hatred: Creates division, conflict, and destruction. -/- Envy: Fuels resentment, excessive competition, and social injustice. -/- Anger: Drives violence, impulsivity, and self-destruction. -/- High Tolerance Limit (HTL): If negative emotions are intensified beyond the tolerance limit, they create widespread fear, paranoia, and mass hysteria. Low Tolerance Limit (LTL): If emotions are suppressed entirely, the system loses human connection, empathy, and creativity. -/- Positive Emotions That Restore and Maintain Balance -/- In contrast, positive emotions strengthen balance and resilience in individuals and societies. -/- Compassion: Encourages cooperation and ethical leadership. -/- Trust: Strengthens social contracts, economic stability, and governance. -/- Empathy: Reduces conflict and promotes justice. -/- Hope: Inspires innovation and adaptation. -/- High Tolerance Limit (HTL): If trust and empathy exceed the balance limit, it can lead to blind optimism and exploitation by dishonest individuals. Low Tolerance Limit (LTL): If a society lacks compassion and trust, it becomes divided, inefficient, and vulnerable to corruption. -/- Conclusion -/- The Universal Balance Index (UBI) is a powerful tool for understanding and maintaining stability across all human and natural systems. The three foundational laws—the Universal Law of Balance in Nature, the Universal Feedback Loop Mechanism, and the Error-Free System—ensure that systems remain self-regulating, adaptable, and resilient. -/- However, balance can only be achieved if systems operate within their high and low tolerance limits. When false beliefs, black propaganda, and negative emotions push a system beyond its limits, it enters a state of instability and collapse. Conversely, when a system functions with 99% correct knowledge, positive emotions, and adaptive feedback, it remains stable, progressive, and sustainable. -/- By applying the Universal Balance Index, individuals, societies, and leaders can ensure that progress is sustainable, governance is just, economies are stable, and nature is preserved—all within the limits defined by the universal laws of balance. -/- . (shrink)

Hilbert's axiomatic approach was an optimistic take over on the side of the logical foundations. It was also a response to various restrictive views of mathematics supposedly bounded by the reaches of epistemic elements in mathematics. A complete axiomatization should be able to exclude epistemic or ontic elements from mathematical theorizing, according to Hilbert. This exclusion is not necessarily a logicism in similar form to Frege's or Dedekind's projects. That is, intuition can still have a role in mathematical reasoning. (...) Nevertheless, this role is to be given a structural orientation with the help of explications of the underlying logic of axiomatization. (shrink)

In Feminist Edges of the Qur’an, Aysha Hidayatullah argues that certain Qur’anic verses are incorrigibly male-privileging and are themselves privileged. Hence, egalitarian readings of the Qur’an are unsupported and unsupportable. If, as egalitarians propose, such verses are unjust, then either the Qur’an is not God’s word or God is unjust. By contrast, I argue that no evidence suggests any such verses are incorrigibly male- privileging. Further I indicate egalitarian rereadings for relevant contenders and note that, in any case, no Qur’anic (...) evidence warrants the primacy of such verses. Finally, since controverting egalitarian readings of such verses are available, the logical form of Hidayatullah’s argument merely shows that if they are read to exhibit injustice, those readings cannot be God’s word. Since believers hold that the Qur’an is God’s word, there is no option but to reread them. (shrink)

a review of John Pollock's *Thinking about Acting* with a focus on his aim of describing psychological mechanisms which are humanly feasible.

The Covid-19 pandemic raises the need for an ethical framework addressing unique questions of airborne infectious disease. In particular, are you ethically obliged to wear a face mask? If so, why and when? The Respiratory Ethics Framework (REF) herein derives answers from ethical norms. Always covering coughs and sneezes just in case you might be infectious is an ethical norm. But if you are infectious with an airborne illness, you are probably spreading germs even with every breath and vocalization. Therefore, (...) given that respiratory covering should be done to prevent spreading germs, you should wear a mask if you believe you are infectious because it also provides covering while breathing and vocalizing. REF is grounded in the non-harm principle. Why should we avoid spreading infections to others? Because they can cause bodily physical harm and we should act to prevent causing such harm to others without justifiable reason. Under REF, the magnitude of your obligation to mask is proportional to the magnitude of risk you pose to others by way of airborne germs. This functional relationship is logically modeled and visually mapped with a decision matrix in this essay. (shrink)

How do we ascribe subjective probability? In decision theory, this question is often addressed by representation theorems, going back to Ramsey (1926), which tell us how to define or measure subjective probability by observable preferences. However, standard representation theorems make strong rationality assumptions, in particular expected utility maximization. How do we ascribe subjective probability to agents which do not satisfy these strong rationality assumptions? I present a representation theorem with weak rationality assumptions which can be used to define or measure (...) subjective probability for partly irrational agents. (shrink)

Developments in the realm of formal sciences and math foundations during the twentieth century were marked by important methodological advances. Such new approaches partialy owe their appearance to the abandonment of the previous paradigm. To identify how this transition occured, in this essay we observe some aspects regarding the works of Gödel and Tarski, who, under a certain interpretations, restructure epistemological bases of math's formalisms. It'll be argued that the theoretical variabilities produced in abstract sciences upon weakening previous viewpoints (...) forced to abandon some of the components of hegemonic programs. (shrink)

Literature reviews have traditionally been a simple exercise in reporting the current relevant research, both to provide an overview of the current status of the field, and perhaps to draw attention to controversies. From the perspective of positivist research traditions, it was important to neutrally report all the relevant research, which was assumed to be foundational. In this article, written for the Applied Critical Realism special issue of Journal of Critical Realism, I use my own research to illustrate how a (...) literature review might look if it were non-foundational and guided by the principles of immanent critique. Immanent critique is central to Bhaskar’s philosophical methodology but has not been much applied in critical realist empirical research. Following a brief introduction to immanent critique, its history and relation to other ways of grounding knowledge, an excerpt from a literature review is used as backdrop for an extended discussion about various potential applications, and impl... (shrink)

This is a commentary on the article by Augusto (2022; this issue) on categories and foundation ontology (FO). We agree that the notion of categories of kinds of elements to devise a FO deserves more attention than it has received to date. From a practical point of view sensu developing domain ontologies, however, it probably does not matter much as long as a FO is used and that that one was understood.

Author’s Comments: Economic Foundations for Creative Ageing Policy, Volume I .

This Open Access book addresses the age-old problem of infinite regresses in epistemology. How can we ever come to know something if knowing requires having good reasons, and reasons can only be good if they are backed by good reasons in turn? The problem has puzzled philosophers ever since antiquity, giving rise to what is often called Agrippa's Trilemma. The current volume approaches the old problem in a provocative and thoroughly contemporary way. Taking seriously the idea that good reasons are (...) typically probabilistic in character, it develops and defends a new solution that challenges venerable philosophical intuitions and explains why they were mistakenly held. Key to the new solution is the phenomenon of fading foundations, according to which distant reasons are less important than those that are nearby. The phenomenon takes the sting out of Agrippa's Trilemma; moreover, since the theory that describes it is general and abstract, it is readily applicable outside epistemology, notably to debates on infinite regresses in metaphysics. (shrink)

Several philosophers have proposed Knowledge-Based Decision Theories (KDTs)—theories that require agents to maximize expected utility as yielded by utility and probability functions that depend on the agent’s knowledge. Proponents of KDTs argue that such theories are motivated by Knowledge-Reasons norms that require agents to act only on reasons that they know. However, no formal derivation of KDTs from Knowledge-Reasons norms has been suggested, and it is not clear how such norms justify the particular ways in which KDTs relate knowledge and (...) rational action. In this paper, I suggest a new axiomatic method for justifying KDTs and providing them with stronger normative foundations. I argue that such theories may be derived from constraints on the relation between knowledge and preference, and that these constraints may be evaluated relative to intuitions regarding practical reasoning. To demonstrate this, I offer a representation theorem for a KDT proposed by Hawthorne and Stanley (2008) and briefly evaluate it through its underlying axioms. (shrink)

We examined the relationship between moral foundations, empathic traits, and moral identity using an online survey via Mechanical Turk. In order to determine how moral foundations contribute to empathic traits and moral identity, we performed classical correlation analysis as well as Bayesian correlation analysis, Bayesian ANCOVA, and Bayesian regression analysis. Results showed that individualizing foundations (harm/care, fairness/reciprocity) and binding foundations (ingroup/loyalty, authority/respect, purity/sanctity) had various different relationships with empathic traits. In addition, the individualizing versus binding (...) class='Hi'>foundations showed somewhat reverse relationships with internalization and symbolization of moral identity. This suggests that moral foundations can contribute to further understanding of empathic traits and moral identity and how they relate to moral behavior in reality. We discuss the implications of these results for moral educators when starting to teach students about moral issues. (shrink)

A commonly held view is that a central aim of metaphysics is to give a fundamental account of reality which refers only to the fundamental entities. But a puzzle arises. It is at least a working hypothesis for those pursuing the aim that, first, there must be fundamental entities. But, second, it also seems possible that the world has no foundation, with each entity depending on others. These two claims are inconsistent with the widely held third claim that the fundamental (...) just is the foundational. It is tempting to resolve the puzzle by rejecting the first or second claim, perhaps because it is obscure how the third claim might plausibly be challenged. But I develop a new analysis of fundamentality which challenges the third claim by allowing for an entity to be fundamental without being foundational. The analysis, roughly, is that an entity is fundamental just in case not all facts about it are grounded in facts about other entities. The possibility of fundamentality without foundations not only provides for a novel resolution to the puzzle, but has applications to some live debates: for example, it undermines Jonathan Schaffer's modal argument for priority monism. (shrink)

Prisoners, those who probably engaged in criminal activities, might possess different perceptions and notions of moral foundations than non-prisoners. Thus, assessing such foundations among the population without testing the validity of the measure may produce biased outcomes. To address the potential methodological issue, we examined the validity of the measurement model for moral foundations among prisoners and community members, i.e., non-prisoners. We conducted the measurement invariance test and measurement alignment to test whether the model was consistently valid (...) across the groups. We also employed the differential item functioning test to examine whether item responses were not biased between the different populations. Results demonstrated significant measurement non-invariance and differential item functioning. However, measurement alignment could address the non-invariance issue. Between-group comparisons of moral foundations were consistent with findings from prior research after performing the alignment. (shrink)

The primary aim of this paper is the presentation of a foundation for causal decision theory. This is worth doing because causal decision theory (CDT) is philosophically the most adequate rational decision theory now available. I will not defend that claim here by elaborate comparison of the theory with all its competitors, but by providing the foundation. This puts the theory on an equal footing with competitors for which foundations have already been given. It turns out that it will (...) also produce a reply to the most serious objections made so far against CDT and against the particular version of CDT I will defend. (shrink)

My real position is that logic is a mere sub-branch of rhetoric, but in this paper I only try to show an area of overlap. Certain usages in logical work are metaphorical, and I argue that this has pernicious effects in a discipline assumed strictly literal. Among these pernicious effects are the bizarre and fruitless focus of philosophy of mathematics on the pseudo-problems of foundations and objects. I mostly examine the locution 'logical construction' and a range of associated (...) metaphors. Some sketchy remarks on the history of rhetoric are offered in explanation. (shrink)

We propose as a UCGIS research priority the topic of “Ontological Foundations for Geographic Information.” Under this umbrella we unify several interrelated research subfields, each of which deals with different perspectives on geospatial ontologies and their roles in geographic information science. While each of these subfields could be addressed separately, we believe it is important to address ontological research in a unitary, systematic fashion, embracing conceptual issues concerning what would be required to establish an exhaustive ontology of the geospatial (...) domain, issues relating to the choice of appropriate methods for formalizing ontologies, and considerations regarding the design of ontology-driven information systems. This integrated approach is necessary, because there is a strong dependency between the methods used to specify an ontology, and the conceptual richness, robustness and tractability of the ontology itself. Likewise, information system implementations are needed as testbeds of the usefulness of every aspect of an exhaustive ontology of the geospatial domain. None of the current UCGIS research priorities provides such an integrative perspective, and therefore the topic of “Ontological Foundations for Geographic Information Science” is unique. (shrink)

A Significant percentage of the people outside their country of citizenship or residence who are unable to meet their basic needs on their own, and need international protection, do not fall under the definition set out in the UN Refugee Convention. This has led many - both academic commentators and activists - to call for a new, expanded refugee definition, preferably backed up by a new, binding, international convention. In earlier work I have resisted this call, arguing that there is (...) good reason to pick out a sub-stet of those in need of international aid - a set that largely, if not completely, corresponds to those picked out by the Refugee Convention - for special benefit and protection. However, even if Convention refugees are in some ways special, we are left with the question of what, if anything, is owed to those in need of aid who are not Convention refugees. In this chapter, I set out philosophical foundations for so-called complementary protection, and show how this may and should apply to people in need of international aid who are not Convention refugees. (shrink)

Descriptive semantic theories purport to characterize the meanings of the expressions of languages in whatever complexity they might have. Foundational semantics purports to identify the kind of considerations relevant to establish that a given descriptive semantics accurately characterizes the language used by a given individual or community. Foundational Semantics I presents three contrasting approaches to the foundational matters, and the main considerations relevant to appraise their merits. These approaches contend that we should look at the contents of speakers’ intuitions; at (...) the deep psychology of users and its evolutionary history, as revealed by our best empirical theories; or at the personal‐level rational psychology of those subjects. Foundational Semantics II examines a fourth view, according to which we should look instead at norms enforced among speakers. The two papers aim to determine in addition the extent to which the approaches are really rival, or rather complementary. (shrink)

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

This is the introduction to the Special Issue ‘Foundational Issues in Conceptual Engineering’. The issue contains contributions by James Andow, Delia Belleri, David Chalmers, Catarina Dutilh Novaes, Eugen Fischer, Viktoria Knoll, Edouard Machery and Amie Thomasson. We, the editors, provide a brief introduction to the main topics of the issue and then summarize its contributions.

Responsibility is impossible because there is no responsibility-maker and there needs to be one if people are morally responsible. The two most plausible candidates, psychology and decision, fail. A person is not responsible for an unchosen psychology or a psychology that was chosen when the person is not responsible for the choice. This can be seen in intuitions about instantly-created and manipulated people. This result is further supported by the notion that, in general, the right, the good, and virtue rest (...) on the exercise of a capacity rather than the capacity itself. It is also supported by the notion that negligence is not a responsibility-maker. ​ A person is not responsible for a choice that does not reflect his psychology or that does reflect it when he is not responsible for the psychology. This can be seen by considering intuitions regarding acts that are unconnected or arbitrarily connected to a person’s psychology. It can also be seen intuitions about acts that result from a manipulated psychology. The problem with choice as a foundation can be further seen in that an infinite or self-created person would not be responsible despite these superhuman choice-related features. (shrink)

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

After Parmenides proposed the duality of appearance and reality, details have not been well developed because the assumption was insufficient for logical reasoning. This paper establishes a foundation with an isolated system, which contains all causes and effects within itself. This paper seeks to establish a purely logical philosophy, including reality and phenomena, good and evil, truth and fallacy. Freedom is proposed as the basis for reality. All beings in an isolated system can be classified into two sets: variable phenomena (...) and constant realities. Realities are the only reasons for phenomena, and phenomena are the only results of realities. The sum of certain realities constitutes a reality, and the sum of all realities is good. Good creates most of the phenomenal world. A reality is universalizable; a phenomenon is never universalizable. Good is the only reality which is close to universality and keeps on universalizing. Truth is the simplest knowledge about universal or approximately universal beings. The universality of a reality measures the percentage of phenomena accompanied by this reality. There are two levels of truth: truth about all realities, and truth about the good. (shrink)

Some people -- including the present author -- have proposed and defended alternative restricted causal principles that block Robert Koons’s ’new’ cosmological argument without undermining the intuition that causation is very close to ubiquitous. In "Epistemological Foundations for the Cosmological Argument", Koons argues that any restricted causal principles that are insufficient for the purposes of his cosmological argument cause epistemological collapse into general scepticism. In this paper I argue, against Koons, that there is no reason to suppose that my (...) favourite restricted causal principle precipitates epistemological collapse into general scepticism. If we impose the ’same kinds’ of restrictions on causal epistemological principles and on principles of general causation, then we cannot be vulnerable to the kind of argument that Koons develops. (shrink)

The last few decades have witnessed intense debates in Hume scholarship concerning Hume’s account of causation. At the core of the “old–new Hume” debate is the question of whether causation for Hume is more than mere regularity, in particular, whether Hume countenances necessary connections in mind-independent nature. This chapter assesses this debate against the background of Hume’s “foundational project” in the Treatise. The question of the role and import of Hume’s account of the idea of cause is examined and compared (...) with Hume’s treatment of other ideas. (shrink)

Our senses provide us with information about the world, but what exactly do they tell us? I argue that in order to optimally respond to sensory stimulations, an agent’s doxastic space may have an extra, “imaginary” dimension of possibility; perceptual experiences confer certainty on propositions in this dimension. To some extent, the resulting picture vindicates the old-fashioned empiricist idea that all empirical knowledge is based on a solid foundation of sense-datum propositions, but it avoids most of the problems traditionally associated (...) with that idea. The proposal might also explain why experiences appear to have a non-physical phenomenal character, even if the world is entirely physical. (shrink)

We give a concise presentation of the Univalent Foundations of mathematics outlining the main ideas, followed by a discussion of the UniMath library of formalized mathematics implementing the ideas of the Univalent Foundations (section 1), and the challenges one faces in attempting to design a large-scale library of formalized mathematics (section 2). This leads us to a general discussion about the links between architecture and mathematics where a meeting of minds is revealed between architects and mathematicians (section 3). (...) On the way our odyssey from the foundations to the "horizon" of mathematics will lead us to meet the mathematicians David Hilbert and Nicolas Bourbaki as well as the architect Christopher Alexander. (shrink)

Physical reality is all the reality we have, and so physical theory in the standard sense is all the ontology we need. This, at least, was an assumption taken almost universally for granted by the advocates of exact philosophy for much of the present century. Every event, it was held, is a physical event, and all structure in reality is physical structure. The grip of this assumption has perhaps been gradually weakened in recent years as far as the sciences of (...) mind are concerned. When it comes to the sciences of external reality, however, it continues to hold sway, so that contemporary philosophers B even while devoting vast amounts of attention to the language we use in describing the world of everyday experience B still refuse to see this world as being itself a proper object of theoretical concern. Here, however, we shall argue that the usual conception of physical reality as constituting a unique bedrock of objectivity reflects a rather archaic view as to the nature of physics itself and is in fact incompatible with the development of the discipline since Newton. More specifically, we shall seek to show that the world of qualitative structures, for example of colour and sound, or the commonsense world of coloured and sounding things, can be treated scientifically (ontologically) on its own terms, and that such a treatment can help us better to understand the structures both of physical reality and of cognition. (shrink)

Discussions concerning whether there is a natural right to health care may occur in various forms, resulting in policy recommendations for how to implement any such right in a given society. But health care policies may be judged by international standards including the UN Universal Declaration of Human Rights. The rights enumerated in the UDHR are grounded in traditions of moral theory, a philosophical analysis of which is necessary in order to adjudicate the value of specific policies designed to enshrine (...) rights such as a right to health care. We begin with an overview of the drafting of the UDHR and highlight the primary influence of natural law theory in validating the rights contained therein. We then provide an explication of natural law theory by reference to the writings of Thomas Aquinas, as well as elucidate the complementary “capabilities approach” of Martha Nussbaum. We conclude that a right to health care ought to be guaranteed by the state. (shrink)

Pietro Piovani is a philosopher who is still, unjustly, little known. Here we set out to investigate the absence of foundation as a crossroads in contemporary philosophy and to evaluate the new contribution of Piovani’s reflection. In our study, we analysed mainly the works of the past twenty years and especially Principi di una filosofia della morale (1972) and Oggettivazione etica e assenzialismo(1980). The basic option in Piovani’s thinking is that, given the finite nature of the individual, as the willing (...) who was not self-willed, man no longer needs any foundation. In fact, the contemporary individual is more unfounded than ever, having to constantly base himself on and interact with a reality that is ever changing. Piovani reaches the height of his critical foundation by stating that, forced to stabilise his own instability, man must base his existence on an absence. Here, Piovani, through the "non self-willed willing", eradicates the assumptions of modern thought, and captures the beginning of existence in the experience of limitation and finiteness. Man, who is based on de-ontology, on de-esse, is a sign of a dissatisfaction that asks to be satisfied, of an inadequacy. This study highlights how Piovani’s thinking, having abandoned the perspectives of Western ontology, proposes a new reflection on the positivity of the inadequate where absence is heralded as the greatest energy force of life. Philosophy, therefore, has a future only as negative philosophy. -/- -/- . (shrink)