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)

This paper rigorously examines the primitive foundations of economic reasoning through an original framework based on symbolic logic. Extending previous work, it formalizes economic conceptions (\(\mathbb{C}\)), symbols (\(s_i\)), and introduces a structured language (\(\mathcal{L_{\mathbb{C}}}\)) to define their formation and interpretation. Organized as a continuous chain of declarations and illustrations, the paper offers a concise, systematic approach to understanding the philosophy of economic reasoning through formal representations.

This paper provides a critical review of the debate over the philosophical foundations of mixed methods research and examines the notion of philosophical foundations. It distinguishes axiology-oriented from ontology-oriented philosophical foundations. It also identifies three different senses of philosophical foundations of mixed methods research. The weak sense of philosophical foundations (e.g., pragmatism) merely allows the possibility of the integration of both quantitative and qualitative methods/data/designs. The moderate sense of philosophical foundations (e.g., transformativism) provide a good reason to use mixed methods (...) in (at least some) social scientific research. The strong sense of philosophical foundations (e.g., dialectical pluralism) justifies a normative thesis that mixed methods research should be encouraged in (at least some) social scientific research. (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)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

It is widely recognized that accurately identifying and classifying competitors is a challenge for many companies and entrepreneurs. Nonetheless, it is a paramount activity which provide valuable insights that affect a wide range of strategic decisions. One of the main challenges in competitor identification lies in the complex nature of the competitive relationships that arise in business envi- ronments. These have been extensively investigate over the years, which lead to a plethora of competition theories and frameworks. Still, the concept of (...) competition remains conceptually complex, as none of these approaches properly formalized their assumptions. In this paper, we address this issue by means of an ontological analysis on the notion of competition in general, and of business competition, in particular, leveraging theories from various fields, including Marketing, Strategic Management, Ecology, Psychology and Cognitive Sciences. Our analysis, the first of its kind in the literature, is grounded on the Unified Foundational Ontology (UFO) and allows us to formally characterize why competition arises, as well as to distinguish between three types of business competitive relationships, namely market-level, firm-level and potential competition. (shrink)

Gila Sher interviewed by Chen Bo: -/- I. Academic Background and Earlier Research: 1. Sher’s early years. 2. Intellectual influence: Kant, Quine, and Tarski. 3. Origin and main Ideas of The Bounds of Logic. 4. Branching quantifiers and IF logic. 5. Preparation for the next step. -/- II. Foundational Holism and a Post-Quinean Model of Knowledge: 1. General characterization of foundational holism. 2. Circularity, infinite regress, and philosophical arguments. 3. Comparing foundational holism and foundherentism. 4. A post-Quinean model of knowledge. (...) 5. Intellect and figuring out. 6. Comparing foundational holism with Quine’s holism. 7. Evaluation of Quine’s Philosophy -/- III. Substantive Theory of Truth and Relevant Issues: 1. Outline of Sher’s substantive theory of truth. 2. Criticism of deflationism and treatment of the Liar. 3. Comparing Sher’s substantive theory of truth with Tarski’s theory of truth. -/- IV. A New Philosophy of Logic and Comparison with Other Theories: 1. Foundational account of logic. 2. Standard of logicality, set theory and logic. 3. Psychologism, Hanna’s and Maddy’s conceptions of logic. 4. Quine’s theses about the revisability of logic. -/- V. Epilogue. (shrink)

This dissertation is a contribution to formal and computational philosophy. -/- In the first part, we show that by exploiting the parallels between large, yet finite lotteries on the one hand and countably infinite lotteries on the other, we gain insights in the foundations of probability theory as well as in epistemology. Case 1: Infinite lotteries. We discuss how the concept of a fair finite lottery can best be extended to denumerably infinite lotteries. The solution boils down to the introduction (...) of infinitesimal probability values, which can be achieved using non-standard analysis. Our solution can be generalized to uncountable sample spaces, giving rise to a Non-Archimedean Probability (NAP) theory. Case 2: Large but finite lotteries. We propose application of the language of relative analysis (a type of non-standard analysis) to formulate a new model for rational belief, called Stratified Belief. This contextualist model seems well-suited to deal with a concept of beliefs based on probabilities ‘sufficiently close to unity’. -/- The second part presents a case study in social epistemology. We model a group of agents who update their opinions by averaging the opinions of other agents. Our main goal is to calculate the probability for an agent to end up in an inconsistent belief state due to updating. To that end, an analytical expression is given and evaluated numerically, both exactly and using statistical sampling. The probability of ending up in an inconsistent belief state turns out to be always smaller than 2%. (shrink)

This is a revised version of the introductory essay in C. Eschenbach, C. Habel and B. Smith (eds.), Topological Foundations of Cognitive Science, Hamburg: Graduiertenkolleg Kognitionswissenschaft, 1994, the text of a talk delivered at the First International Summer Institute in Cognitive Science in Buffalo in July 1994.

I prove that invoking the univalence axiom is equivalent to arguing 'without loss of generality' (WLOG) within Propositional Univalent Foundations (PropUF), the fragment of Univalent Foundations (UF) in which all homotopy types are mere propositions. As a consequence, I argue that practicing mathematicians, in accepting WLOG as a valid form of argument, implicitly accept the univalence axiom and that UF rightly serves as a Foundation for Mathematical Practice. By contrast, ZFC is inconsistent with WLOG as it is applied, and (...) therefore cannot serve as a foundation for practice. (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.

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)

Statistical mechanics is a strange theory. Its aims are debated, its methods are contested, its main claims have never been fully proven, and their very truth is challenged, yet at the same time, it enjoys huge empirical success and gives us the feeling that we understand important phenomena. What is this weird theory, exactly? Statistical mechanics is the name of the ongoing attempt to apply mechanics, together with some auxiliary hypotheses, to explain and predict certain phenomena, above all those described (...) by thermodynamics. This paper shows what parts of this objective can be achieved with mechanics by itself. It thus clarifies what roles remain for the auxiliary assumptions that are needed to achieve the rest of the desiderata. Those auxiliary hypotheses are described in another paper in this journal, Foundations of statistical mechanics: The auxiliary hypotheses. (shrink)

The physical foundations of mathematics in the theory of emergent space-time-matter were considered. It is shown that mathematics, including logic, is a consequence of equation which describes the fundamental field. If the most fundamental level were described not by mathematics, but something else, then instead of mathematics there would be consequences of this something else.

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)

E. Husserl’s reflections in Logical Investigations on “intentional feelings” and “non-intentional feelings” are significant in both his later ethical explorations and M. Scheler’s thought on ethics. Through the incorporation of the views of Husserl and Scheler, we find that the phenomenology of the intentional feeling-acts is not only the foundation of the non-formal ethics of values in Scheler’s phenomenology, but also at least the constitutive foundation of the ethics of Husserl’s first orientation.

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)

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)

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)

Foundations of Relational Realism presents an intuitive interpretation of quantum mechanics, based on a revised decoherent histories interpretation, structured within a category theoretic topological formalism. -/- If there is a central conceptual framework that has reliably borne the weight of modern physics as it ascends into the twenty-first century, it is the framework of quantum mechanics. Because of its enduring stability in experimental application, physics has today reached heights that not only inspire wonder, but arguably exceed the limits of intuitive (...) vision, if not intuitive comprehension. For many physicists and philosophers, however, the currently fashionable tendency toward exotic interpretation of the theoretical formalism is recognized not as a mark of ascent for the tower of physics, but rather an indicator of sway—one that must be dampened rather than encouraged if practical progress is to continue. -/- In this unique two-part volume, designed to be comprehensible to both specialists and non-specialists, the authors chart out a pathway forward by identifying the central deficiency in most interpretations of quantum mechanics: That in its conventional, metrical depiction of extension, inherited from the Enlightenment, objects are characterized as fundamental to relations—i.e., such that relations presuppose objects but objects do not presuppose relations. The authors, by contrast, argue that quantum mechanics exemplifies the fact that physical extensiveness is fundamentally topological rather than metrical, with its proper logico-mathematical framework being category theoretic rather than set theoretic. -/- By this thesis, extensiveness fundamentally entails not only relations of objects, but also relations of relations. Thus, the fundamental quanta of quantum physics are properly defined as units of logico-physical relation rather than merely units of physical relata as is the current convention. Objects are always understood as relata, and likewise relations are always understood objectively. In this way, objects and relations are coherently defined as mutually implicative. The conventional notion of a history as “a story about fundamental objects” is thereby reversed, such that the classical “objects” become the story by which we understand physical systems that are fundamentally histories of quantum events. -/- These are just a few of the novel critical claims explored in this volume—claims whose exemplification in quantum mechanics will, the authors argue, serve more broadly as foundational principles for the philosophy of nature as it evolves through the twenty-first century and beyond. (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)

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)

Statistical mechanics is often taken to be the paradigm of a successful inter-theoretic reduction, which explains the high-level phenomena (primarily those described by thermodynamics) by using the fundamental theories of physics together with some auxiliary hypotheses. In my view, the scope of statistical mechanics is wider since it is the type-identity physicalist account of all the special sciences. But in this chapter, I focus on the more traditional and less controversial domain of this theory, namely, that of explaining the thermodynamic (...) phenomena.What are the fundamental theories that are taken to explain the thermodynamic phenomena? The lively research into the foundations of classical statistical mechanics suggests that using classical mechanics to explain the thermodynamic phenomena is fruitful. Strictly speaking, in contemporary physics, classical mechanics is considered to be false. Since classical mechanics preserves certain explanatory and predictive aspects of the true fundamental theories, it can be successfully applied in certain cases. In other circumstances, classical mechanics has to be replaced by quantum mechanics. In this chapter I ask the following two questions: I) How does quantum statistical mechanics differ from classical statistical mechanics? How are the well-known differences between the two fundamental theories reflected in the statistical mechanical account of high-level phenomena? II) How does quantum statistical mechanics differ from quantum mechanics simpliciter? To make our main points I need to only consider non-relativistic quantum mechanics. Most of the ideas described and addressed in this chapter hold irrespective of the choice of a (so-called) interpretation of quantum mechanics, and so I will mention interpretations only when the differences between them are important to the matter discussed. (shrink)

Legal epistemology has been an area of great philosophical growth since the turn of the century. But recently, a number of philosophers have argued the entire project is misguided, claiming that it relies on an illicit transposition of the norms of individual epistemology to the legal arena. This paper uses these objections as a foil to consider the foundations of legal epistemology, particularly as it applies to the criminal law. The aim is to clarify the fundamental commitments of legal epistemology (...) and suggest a way to vindicate it. (shrink)

While classifications of mental disorders have existed for over one hundred years, it still remains unspecified what terms such as 'mental disorder', 'disease' and 'illness' might actually denote. While ontologies have been called in aid to address this shortfall since the GALEN project of the early 1990s, most attempts thus far have sought to provide a formal description of the structure of some pre-existing terminology or classification, rather than of the corresponding structures and processes on the side of the patient. (...) We here present a view of mental disease that is based on ontological realism and which follows the principles embodied in Basic Formal Ontology and in the application of BFO in the Ontology of General Medical Science. We analyzed statements about what counts as a mental disease provided in the research agenda for the DSM-V, and in Pies' model. The results were used to assess whether the representational units of BFO and OGMS were adequate as foundations for a formal representation of the entities in reality that these statements attempt to describe. We then analyzed the representational units specific to mental disease and provided corresponding definitions. Our key contributions lie in the identification of confusions and conflations in the existing terminology of mental disease and in providing what we believe is a framework for the sort of clear and unambiguous reference to entities on the side of the patient that is needed in order to avoid these confusions in the future. (shrink)

I examine here if Kant’s metaphysics of matter can support any late-modern versions of classical mechanics. I argue that in principle it can, by two different routes. I assess the interpretive costs of each approach, and recommend the most promising strategy: a mass-point approach.

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)

This article argues (against John Hick and Huston Smith) that different religions teach truths that are different even at the most fundamental level. Nevertheless these are genuine axiological truth claims that can be subject to rational evaluation, differentiating well-founded interpretations of a given religion from interpretations that are not well-founded.

A new hypothesis on the basic features characterising the Foundations of Mathematics is suggested. By means of them the entire historical development of Mathematics before the 20th Century is summarised through a table. Also the several programs, launched around the year 1900, on the Foundations of Mathematics are characterised by a corresponding table. The major difficulty that these programs met was to recognize an alternative to the basic feature of the deductive organization of a theory - more precisely, to Hilbert’s (...) main tenet. Ironically, already half a century before the births of these programs the alternative organization has been substantially represented by Lobachevsky's theory on parallel lines. Moreover, although each program’s founder recognised the basic features in a partial way only, all together these programs represented just the four possible foundational approaches. (shrink)

In arguing against the likelihood of consciousness in non-human animals, Descartes advances a slippery slope argument that if thought were attributed to any one animal, it would have to be attributed to all, which is absurd. This paper examines the foundations of Thomas Willis’ comparative neuroanatomy against the background of Descartes’ slippery slope argument against animal consciousness. Inspired by Gassendi’s ideas about the corporeal soul, Thomas Willis distinguished between neural circuitry responsible for reflex behaviour and that responsible for cognitively or (...) consciously mediated behaviour. This afforded Willis a non-arbitrary basis for distinguishing between animals with thought and consciousness and those without, a methodology which retains currency for neuroscience today. (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 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)

Moral reasoning traditionally distinguishes two types of evil: moral and natural. The standard view is that ME is the product of human agency and so includes phenomena such as war, torture and psychological cruelty; that NE is the product of nonhuman agency, and so includes natural disasters such as earthquakes, floods, disease and famine; and finally, that more complex cases are appropriately analysed as a combination of ME and NE. Recently, as a result of developments in autonomous agents in cyberspace, (...) a new class of interesting and important examples of hybrid evil has come to light. In this paper, it is called artificial evil and a case is made for considering it to complement ME and NE to produce a more adequate taxonomy. By isolating the features that have led to the appearance of AE, cyberspace is characterised as a self-contained environment that forms the essential component in any foundation of the emerging field of Computer Ethics. It is argued that this goes some way towards providing a methodological explanation of why cyberspace is central to so many of CE’s concerns; and it is shown how notions of good and evil can be formulated in cyberspace. Of considerable interest is how the propensity for an agent’s action to be morally good or evil can be determined even in the absence of biologically sentient participants and thus allows artificial agents not only to perpetrate evil but conversely to ‘receive’ or ‘suffer from’ it. The thesis defended is that the notion of entropy structure, which encapsulates human value judgement concerning cyberspace in a formal mathematical definition, is sufficient to achieve this purpose and, moreover, that the concept of AE can be determined formally, by mathematical methods. A consequence of this approach is that the debate on whether CE should be considered unique, and hence developed as a Macroethics, may be viewed, constructively, in an alternative manner. The case is made that whilst CE issues are not uncontroversially unique, they are sufficiently novel to render inadequate the approach of standard Macroethics such as Utilitarianism and Deontologism and hence to prompt the search for a robust ethical theory that can deal with them successfully. The name Information Ethics is proposed for that theory. It is argued that the uniqueness of IE is justified by its being non-biologically biased and patient-oriented: IE is an Environmental Macroethics based on the concept of data entity rather than life. It follows that the novelty of CE issues such as AE can be appreciated properly because IE provides a new perspective. In light of the discussion provided in this paper, it is concluded that Computer Ethics is worthy of independent study because it requires its own application-specific knowledge and is capable of supporting a methodological foundation, Information Ethics. (shrink)

A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith ** The Bounds of Axiomatisation, Graham White ** Rethinking Boundaries, Wojciech Zelaniec ** Sheaf Mereology and Space Cognition, Jean Petitot ** A Mereotopological Definition of 'Point', Carola Eschenbach ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel ** Mass Reference and the Geometry of Solids, Almerindo E. Ojeda (...) ** Defining a 'Doughnut' Made Difficult, N .M. Gotts ** A Theory of Spatial Regions with Indeterminate Boundaries, A.G. Cohn and N.M. Gotts ** Mereotopological Construction of Time from Events, Fabio Pianesi and Achille C. Varzi ** Computational Mereology: A Study of Part-of Relations for Multi-media Indexing, Wlodek Zadrozny and Michelle Kim. (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)

We now found nine new topologies, such as: NonStandard Topology, Largest Extended NonStandard Real Topology, Neutrosophic Triplet Weak/Strong Topologies, Neutrosophic Extended Triplet Weak/Strong Topologies, Neutrosophic Duplet Topology, Neutrosophic Extended Duplet Topology, Neutrosophic MultiSet Topology, and recall and improve the seven previously founded topologies in the years (2019-2023), namely: NonStandard Neutrosophic Topology, NeutroTopology, AntiTopology, Refined Neutrosophic Topology, Refined Neutrosophic Crisp Topology, SuperHyperTopology, and Neutrosophic SuperHyperTopology. They are called avantgarde topologies because of their innovative forms.

What follows is a first step towards an ontology of conscious mental processes. We provide a theoretical foundation and characterization of conscious mental processes based on a realist theory of intentionality and using BFO as our top-level ontology. We distinguish three components of intentional mental process: character, directedness, and objective referent, and describe several features of the process character and directedness significant to defining and classifying mental processes. We arrive at the definition of representational mental process as a process (...) that is the bringing into being, sustaining, modifying, or terminating of a mental representation. We conclude by outlining some benefits and applications of this approach. (shrink)

Following Shelly Kagan’s useful terminology, foundational consequentialists are those who hold that the ranking of outcomes is at the foundation of all moral assessment. That is, they hold that moral assessments of right and wrong, virtuous and vicious, morally good and morally bad, etc. are all ultimately a function of how outcomes rank. But foundational consequentialists disagree on what is to be directly evaluated in terms of the ranking of outcomes, which is to say that they disagree on what (...) the primary evaluative focal point is. Act-consequentialists take acts to be the primary evaluative focal point. They evaluate acts in terms of how their outcomes rank (the higher ranked the outcome, the morally better the act), but evaluate everything else in terms of the morally best acts. Thus, the morally best rules are those that would, if internalized, most reliably lead us to perform the morally best acts. Rule-consequentialists, by contrast, take rules to be the primary evaluative focal point. They evaluate rules according to how their outcomes rank and then assess everything else in terms of the morally best rules. Thus, the morally best acts are those that conform to the morally best rules. In this paper, I argue that foundational consequentialists should not take the primary evaluative focal point (or points) to be acts, rules, virtues, or even everything. In so doing, I argue against act-consequentialism, rule-consequentialism, and global consequentialism. But my project is not entirely negative, for I argue that the primary evaluative focal point should be a complex of acts and attitudes. In the end, then, I claim that foundational consequentialists should accept a new kind of consequentialism, which I call attitude-consequentialism. (shrink)

Fading Foundations: Probability and the Regress Problem. By Atkinson David, Peijnenburg Jeanne.

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)

Fefermans argument is indeed convincing in a certain context, it can be dissolved entirely by modifying the context appropriately.

This paper examines the cognitive foundations of natural theology: the intuitions that provide the raw materials for religious arguments, and the social context in which they are defended or challenged. We show that the premises on which natural theological arguments are based rely on intuitions that emerge early in development, and that underlie our expectations for everyday situations, e.g., about how causation works, or how design is recognized. In spite of the universality of these intuitions, the cogency of natural theological (...) arguments remains a matter of continued debate. To understand why they are controversial, we draw on social theories of reasoning and argumentation. (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)

Distributive justice deals with allocations of goods and bads within a group. Different principles and results of distributions are seen as possible ideals. Often those normative approaches are solely framed verbally, which complicates the application to different concrete distribution situations that are supposed to be evaluated in regard to justice. One possibility in order to frame this precisely and to allow for a fine-grained evaluation of justice lies in formal modelling of these ideals by metrics. Choosing a metric that is (...) supposed to map a certain ideal has to be justified. Such justification might be given by demanding specific substantiated axioms, which have to be met by a metric. This paper introduces such axioms for metrics of distributive justice shown by the example of needs-based justice. Furthermore, some exemplary metrics of needs-based justice and a three dimensional method for visualisation of non-comparative justice axioms or evaluations are presented. Therewith, a base worth discussing for the evaluation and modelling of metrics of distributive justice is given. (shrink)

Geometry defines entities that can be physically realized in space, and our knowledge of abstract geometry may therefore stem from our representations of the physical world. Here, we focus on Euclidean geometry, the geometry historically regarded as “natural”. We examine whether humans possess representations describing visual forms in the same way as Euclidean geometry – i.e., in terms of their shape and size. One hundred and twelve participants from the U.S. (age 3–34 years), and 25 participants from the Amazon (age (...) 5–67 years) were asked to locate geometric deviants in panels of 6 forms of variable orientation. Participants of all ages and from both cultures detected deviant forms defined in terms of shape or size, while only U.S. adults drew distinctions between mirror images (i.e. forms differing in “sense”). Moreover, irrelevant variations of sense did not disrupt the detection of a shape or size deviant, while irrelevant variations of shape or size did. At all ages and in both cultures, participants thus retained the same properties as Euclidean geometry in their analysis of visual forms, even in the absence of formal instruction in geometry. These findings show that representations of planar visual forms provide core intuitions on which humans’ knowledge in Euclidean geometry could possibly be grounded. (shrink)

The present study defines the function of the foundation of science in early modern Dutch philosophy, from the first introduction of Cartesian philosophy in Utrecht University by Henricus Regius to the acceptance of Newtonian physics by Willem Jacob ‘s Gravesande. My main claim is that a foundation of science was required because the conceptual premises of new ways in thinking had to be justified not only as alternatives to the established philosophical paradigms or as an answer to the (...) “sceptical crisis” signalled by Richard Popkin, but also in order to be introduced in the academia. This being my general thesis, different kinds of foundation of scientific knowledge are analysed in the light of the specific problems philosophers had to face. To this end, foundational theories are analysed in the light of 1) the overall aim of their philosophy, 2) the relations of disciplines they thought out, 3) what they regarded as scientific knowledge. Through this analysis, I assess that the foundation of science was carried out by metaphysical, logical and theological arguments, which fitted the needs of answering the didactical and introductory requirements of new paradigms, assessed the reliability of new methodology in leading us to grasp the truth, and provided philosophy with its conceptual apparatus. Finally, I demonstrate that a philosophy of science as a reflection on the principles, methods, concepts and application of modern science emerged in the Dutch Republic. (shrink)

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)

For centuries, science was considered as something radically different from religion. Yet, the foundations of true science are deeply religious in nature. This paper seeks to show how religion is the only foundation needed for the formulation of scientific theories, since it provides the core principles on which the building of exact sciences is based upon. Our need to understand the cosmos and our faith in us being able to do so, are the main prerequisites for conducting science; prerequisites (...) that are derived from our belief in us being the sons of God and, thus, being able to read His mind. From its birth on 7 March 1277 up to today, science seems to be the only logical attitude of religious people towards the unknown cosmos. (shrink)

جان هیک با وام گرفتن از مفهوم «دیدن به عنوان...» ویتگنشتاین و تعمیم آن به کل تجربه‌های ادراکی و نیز وام‌گیری از تمایز کانتی میان نومن و فنومن میان «حقیقت فی نفسه» و «حقیقت عند المدرک» تمایز می‌نهد . حقیقت فی نفسه همان خداوند در عالم واقع است و حقیقت عند المدرک همان تصوری است که در هر دین از خداوند ارائه شده است. دوتمایز ذکر شده مهم‌ترین مبنای معرفت شناختی نظریه کثرت گرایانه هیک را در باب ادیان تشکیل می‌دهند. (...) به نظر می‌رسد نظریه ادراک و نظریه توجیه در نظریه کثرت گرایانه هیک در باب ادیان از نوعی ابهام برخوردار هستند. (shrink)

The universe is continuously new due to the roles of seven omnipresent sources of change. These foundational sources of change are here identified and described. While each source of change is unique, they each initiate change in the form of noncoexistent-sequential-difference, which is the core characteristic of change. The occurrence of noncoexistent-sequential-difference, the occurrence of change, initiates the existence of something new. Each unique source of change initiates a unique form of newness. These sources of change, and the different manners (...) in which their change occurs as noncoexistent-sequential-difference, and the forms of newness they initiate, are interrelated due to existential-context, existential-dependency, factor development, and deep-structure. Complex forms of change, such as plate tectonics, biological evolution, the development of culture, and stellar evolution, are based on the seven foundational forms of change together interrelating with diverse other factors. (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)