In philosophical logic, a certain family of model constructions has received particular attention. Prominent examples are the cumulative hierarchy of well-founded sets, and Kripke's least fixed point models of grounded truth. I develop a general formal theory of groundedness and explain how the well-founded sets, Cantor's extended number-sequence and Kripke's concepts of semantic groundedness are all instances of the general concept, and how the general framework illuminates these cases. Then, I develop a new approach to a grounded theory (...) of proper classes. -/- However, the general concept of groundedness does not account for the philosophical significance of its paradigm instances. Instead, I argue, the philosophical content of the cumulative hierarchy of sets is best understood in terms of a primitive notion of ontological priority. -/- Then, I develop an analogous account of Kripke's models. I show that they exemplify the in-virtue-of relation much discussed in contemporary metaphysics, and thus are philosophically significant. I defend my proposal against a challenge from Kripke's “ghost of the hierarchy”. (shrink)

Truthmaker theorists claim that for every truth, there is something in virtue of which it is true—or, more cautiously, that for every truth in some specified class of truths, there is something in virtue of which it is true. I argue that it is hard to see how the thought that truth is grounded in reality lends any support to truthmaker theory.

According to some philosophers, if truthmaker theory is true, then all truths have truthmakers, but there are no truthmakers for negative truths - therefore, the theory is false. In this paper, I defend truthmaker theory by arguing against both claims. I begin by examining and rejecting a recent attempt to argue against. I then present my own argument against by considering the connection between truthmaking and the more general notion of grounding. Finally, I critically examine the proposal by Ross Cameron (...) and argue that the world as a whole can make all negative truths true, despite an apparent inconsistency in and an implausible consequence of Cameron's account. The discussion reveals how negative truths are grounded in reality on the basis of a reassessment of how such truths matter to truthmaker theory. (shrink)

Kripke showed how to restrict Tarski’s schema to grounded sentences. I examine the prospects for an analogous approach to the paradoxes of naive class comprehension. I present new methods to obtain theories of grounded classes and test them against antecedently motivated desiderata. My findings cast doubt on whether a theory of grounded classes can accommodate both the extensionality of classes and allow for class definition in terms of identity.

Semantic deference allows for the meaning of a word w a speaker uses to be determined by the way other speakers would understand or use w. That semantic deference has some role to play in semantic content attributions is intuitive enough. Nevertheless, the exact conditions under which semantic deference takes place are still open for discussion. A key issue that the article critically examines is Recanati’s requirement that deferential uses be grounded, that is, that deferential uses be linked to non-deferential (...) uses (Recanati 1997; 2000). After distinguishing between semantic and epistemic deference, I submit that the only way to maintain the Groundedness Thesis for truly semantic deference is to allow deference to idealized future linguistic collectives. I conclude that this is too high a price to pay for Groundedness and I suggest that it should be rejected as a semantic thesis. (shrink)

The central question of the peer disagreement debate is: what should you believe about the disputed proposition if you have good reason to believe that an epistemic peer disagrees with you? This article shows that this question is ambiguous between evidential support (or propositional justification) and well-groundedness (or doxastic justification). The discussion focuses on conciliatory views, according to which peer disagreements require you to significantly revise your view or to suspend judgment. The article argues that for a wide range (...) of conceptions of evidential support, conciliatory views are false if they are understood entirely in terms of evidential support. Alternative conceptions of evidential support face some serious difficulties. These arguments speak against conciliationism, but the article then goes on to defend a conciliatory view about well-grounded belief: when you believe p, and you have good reason to believe that your epistemic peer disagrees with you, you are not justified in believing p because that belief is no longer well grounded. This picture of the epistemology of peer disagreement offers a reconciliation of some of the main competing views in the literature: conciliationism is true when we look at well-grounded belief, but a nonconciliatory view like Thomas Kelly's “total evidence view” is correct when we look at peer disagreement exclusively in terms of evidential support. (shrink)

We study, in an abstract and general framework, formal representations of dependence and groundedness which occur in semantic theories of truth. Our goals are: (a) to relate the different ways in which groundedness is defined according to the way dependence is represented; and (b) to represent different notions of dependence as instances of a suitable generalisation of the mathematical notion of functional dependence.

When modeling informal proofs like that of Euclid’s Elements using a sound logical system, we go from proofs seen as somewhat unrigorous – even having gaps to be filled – to rigorous proofs. However, metalogic grounds the soundness of our logical system, and proofs in metalogic are not like formal proofs and look suspiciously like the informal proofs. This brings about what I am calling here the groundedness problem: how can we decide with certainty that our metalogical proofs are (...) rigorous and sustain our logical system? In this paper, I will expose this problem. I will not try to solve it here. (shrink)

Many philosophers have recently been impressed by an argument to the effect that all grounding facts about “derivative entities”—e.g. the facts expressed by the (let us suppose) true sentences ‘the fact that Beijing is a concrete entity is grounded in the fact that its parts are concrete’ and ‘the fact that there are cities is grounded in the fact that p’, where ‘p’ is a suitable sentence couched in the language of particle physics—must themselves be grounded. This argument relies on (...) a principle,Purity, which states that facts about derivative entities are non-fundamental. Purity is questionable. In this paper, I introduce a new argument—the argument fromSettledness—for a similar conclusion but which does not rely on Purity. The conclusion of the new argument is that every “thick” grounding fact is grounded, where a grounding fact [F is grounded in G, H, …] is said to be thick when at least one of F, G, H, … is a fact—a condition that is automatically satisfied if grounding is factive. After introducing the argument, I compare it with the argument from Purity, and I assess its cogency relative to the relevant accounts of the connections between grounding and fundamentality that are available in the literature. (shrink)

Many philosophers have recently been impressed by an argument to the effect that all grounding facts about “derivative entities”—e.g. the facts expressed by the (let us suppose) true sentences ‘the fact that Beijing is a concrete entity is grounded in the fact that its parts are concrete’ and ‘the fact that there are cities is grounded in the fact that p’, where ‘p’ is a suitable sentence couched in the language of particle physics—must themselves be grounded. This argument relies on (...) a principle, _Purity_, which states that facts about derivative entities are non-fundamental. Purity is questionable. In this paper, I introduce a new argument—the argument from _Settledness_—for a similar conclusion but which does not rely on Purity. The conclusion of the new argument is that every “thick” grounding fact is grounded, where a grounding fact [F is grounded in G, H, …] is said to be thick when at least one of F, G, H, … is a fact—a condition that is automatically satisfied if grounding is factive. After introducing the argument, I compare it with the argument from Purity, and I assess its cogency relative to the relevant accounts of the connections between grounding and fundamentality that are available in the literature. (shrink)

I identify a notion of logical grounding, clarify it, and show how it can be used (i) to characterise various consequence relations, and (ii) to give a precise syntactic account of the notion of “groundedness” at work in the literature on the paradoxes of truth.

Kripke’s notion of groundedness plays a central role in many responses to the semantic paradoxes. Can the notion of groundedness be brought to bear on the paradoxes that arise in connection with abstraction principles? We explore a version of grounded abstraction whereby term models are built up in a ‘grounded’ manner. The results are mixed. Our method solves a problem concerning circularity and yields a ‘grounded’ model for the predicative theory based on Frege’s Basic Law V. However, the (...) method is poorly behaved unless the background second-order logic is predicative. (shrink)

Following the finitist’s rejection of the complete totality of the natural numbers, a finitist language allows only propositional connectives and bounded quantifiers in the formula-construction but not unbounded quantifiers. This is opposed to the currently standard framework, a first-order language. We conduct axiomatic studies on the notion of truth in the framework of finitist arithmetic in which at least smash function $\#$ is available. We propose finitist variants of Tarski ramified truth theories up to rank $\omega $, of Kripke–Feferman truth (...) theory and of Friedman–Sheard truth theory, and show that all of these have the same strength as the finitist arithmetic of one higher level along Grzegorczyk hierarchy. On the other hand, we also show that adding Burgess-style groundedness schema, adjusted to the finitist setting, makes Kripke–Feferman truth theory as strong as primitive recursive arithmetic. Meanwhile, we obtain some basic results on finitist theories of (full and hat) inductive definitions and on the second order axiom of hat inductive definitions for positive operators. (shrink)

TEST is a novel taxonomy of knowledge representations based on three distinct hierarchically organized representational features: Tropism, Embodiment, and Situatedness. Tropic representational features reflect constraints of the physical world on the agent's ability to form, reactivate, and enrich embodied (i.e., resulting from the agent's bodily constraints) conceptual representations embedded in situated contexts. The proposed hierarchy entails that representations can, in principle, have tropic features without necessarily having situated and/or embodied features. On the other hand, representations that are situated and/or embodied (...) are likely to be simultaneously tropic. Hence, although we propose tropism as the most general term, the hierarchical relationship between embodiment and situatedness is more on a par, such that the dominance of one component over the other relies on the distinction between offline storage versus online generation as well as on representation-specific properties. (shrink)

This paper outlines an account of political realism as a form of ideology critique. Our focus is a defence of the normative edge of this critical-theoretic project against the common charge that there is a problematic trade-off between a theory’s groundedness in facts about the political status quo and its ability to consistently envisage radical departures from the status quo. To overcome that problem we combine insights from three distant corners of the philosophical landscape: theories of legitimacy by Bernard (...) Williams and other realists, Frankfurt School-inspired Critical Theory, and recent analytic epistemological and metaphysical theories of cognitive bias, ideology, and social construction. The upshot is a novel account of realism as empirically-informed diagnosis- critique of social and political phenomena. This view rejects a sharp divide between descriptive and normative theory, and so is an alternative to the anti- empiricism of some approaches to Critical Theory as well as to the complacency towards existing power structures found within liberal realism, let alone mainstream normative political philosophy, liberal or otherwise. (shrink)

This paper argues that a consideration of the problem of providing truthmakers for negative truths undermines truthmaker theory. Truthmaker theorists are presented with an uncomfortable dilemma. Either they must take up the challenge of providing truthmakers for negative truths, or else they must explain why negative truths are exceptions to the principle that every truth must have a truthmaker. The first horn is unattractive since the prospects of providing truthmakers for negative truths do not look good neither absences, nor totality (...) states of affairs, nor Graham Priest and J.C. Beall’s ‘polarities’ (Beall, 2000; Priest, 2000) are up to the job. The second horn, meanwhile, is problematic because restricting the truthmaker principle to atomic truths, or weakening it to the thesis that truth supervenes on being, undercuts truthmaker theory’s original motivation. The paper ends by arguing that truthmaker theory is, in any case, an under-motivated doctrine because the groundedness of truth can be explained without appeal to the truthmaker principle. This leaves us free to give the ommonsensical and deflationary explanation of negative truths that common-sense suggests. (shrink)

Non‐classical logicians do not typically reject classically valid logical principles across the board. In fact, they sometimes suggest that their preferred logic recovers classical reasoning in most circumstances. This idea has come to be known in the literature as ‘classical recapture’. Recently, classical logicians have raised various doubts about it. The main problem is said to be that no rigorous explanation has been given of how is it exactly that classical logic can be recovered. The goal of the paper is (...) to address this problem. First, I discuss a number of different ways to characterize the idea of classical recapture and I examine how far it can be pushed. Secondly, I argue that a palatable form of classical recapture is given by the thought that classical logic can be retained for statements that are grounded (in Kripke’s sense). To substantiate this view I provide a formal fixed‐point semantics for a language containing a predicate standing for the concept of groundedness and I address a couple of objections that have been deployed against the claim that classical recapture can aid the non‐classical logician’s cause. (shrink)

It is well known that Sartre describes his form of existentialism as atheistic, and much of the rhetoric of Sartrean existentialism draws off the image of God's absence from the world. There are nevertheless, I argue, deep grounds for thinking that the coherence and well-groundedness of Sartre's thought requires that his phenomenological ontology take finally the form of an onto-theology: Sartre's ontology runs into difficulties concerning the origin of the for-itself and the unity of being; an onto-theology like Schelling's, (...) which avoids the ‘ontological optimism’ that Sartre objects to in Hegel, both releases Sartre's ontology from its difficulties and furthers Sartre's central philosophical purposes. (Published Online July 10 2006). (shrink)

In this paper we critically review Correia’s and Rosenkranz’s Nothing to Come. A Defence of the Growing Block Theory of Time, published by Springer in 2018. By taking into account the essential reliance of the book on tense logic, we bring out the existence of a conflict between their logical axioms, that presuppose truth bivalence even for statements concerning future contingents, and the principle of groundedness that they also advocate. According to this principle, a proposition Q is now groundedly (...) true as long as sometimes in the future it will be the case that there exists something that makes Q true. However, if the events that occur in 2060 do not exist unrestrictedly (for us, here in 2021), what, in reality, can possibly ground the truth (or falsity) of Q? In the second part of the paper, we concentrate on some conceptual difficulties raised by their brilliant attempt to adapt the growing block view of reality to a relativistic setting, based on what they call bow-tie presentism, according to which for each spacetime point s only s plus the spacelike-related region with respect to s exists. By extending temporal logic into a relativity-friendly spatiotemporal logic, we conclude by noting that Correia and Rosenkranz’s Nothing to Come makes very important strides in showing that there are technical ways to develop the growing block of reality into an ontology that coheres with relativity theories perfectly well, while retaining most of the distinctive content of classical growing block theory. (shrink)

The primary aim of this paper is to argue that the value of understanding derives in part from a kind of subjective stability of belief that we call epistemic resilience. We think that this feature of understanding has been overlooked by recent work, and we think it’s especially important to the value of understanding for social cognitive agents such as us. We approach the concept of epistemic resilience via the idea of the experience of epistemic ownership and argue that the (...) former concept has Platonic pedigree. Contrary to longstanding exegetical tradition, we think that Plato solves the “Meno problem” with an appeal to the epistemic resilience characteristic of understanding, not the well-groundedness characteristic of canonical cases of propositional knowledge. Finally, we apply our discussion to the case of science outreach and the challenge of global warming skepticism and conclude with directions for future research. (shrink)

Providing an indigenous opinion on anything is a difficult task. To be sure, there is a multitude of possible indigenous responses to dominant Western philosophy. My aim in this paper is to assess dominant analytic Western philosophy in light of the general insistence of most indigenous authors that indigenous metaphysics is holistic, and to make some bold claims about both dominant Western philosophy in line with an indigenous metaphysics of holism. There will, of course, be different ways of expressing holism (...) according to the indigenous group, but most of the literature states, as a most basic concern, that a general indigenous philosophy is concerned with the groundedness of an individual as an entity related to and indivisible from the rest of the world.1 The consequences of any assertion about the holistic nature of metaphysics are vast, including for the interpretation of what is often perceived of as the antithesis: Western philosophy. (shrink)

This paper evaluates the claim that it is possible to use nature’s variation in conjunction with retention and selection on the one hand, and the absence of ultimate groundedness of hypotheses generated by the human mind as it knows on the other hand, to discard the ascription of ultimate certainty to the rationality of human conjectures in the cognitive realm. This leads to an evaluation of the further assumption that successful hypotheses with specific applications, in other words heuristics, seem (...) to have a firm footing because they were useful in another context. I argue that usefulness evaluated through adaptation misconstrues the search for truth, and that it is possible to generate talk of randomness by neglecting aspects of a system’s insertion into a larger situation. The framing of the problem in terms of the elimination of unfit hypotheses is found to be unsatisfying. It is suggested that theories exist in a dimension where they can be kept alive rather than dying as phenotypes do. The proposal that the subconscious could suggest random variations is found to be a category mistake. A final appeal to phenomenology shows that this proposal is orphan in the history of epistemology, not in virtue of its being a remarkable find, but rather because it is ill-conceived. (shrink)

This paper introduces a new kind of fixed-point semantics, filling a gap within approaches to Liar-like paradoxes involving fixed-point models à la Kripke (1975). The four-valued models presented below, (i) unlike the three-valued, consistent fixed-point models defined in Kripke (1975), are able to differentiate between paradoxical and pathological-but-unparadoxical sentences, and (ii) unlike the four-valued, paraconsistent fixed-point models first studied in Visser (1984) and Woodruff (1984), preserve consistency and groundedness of truth.

TThis paper aims to evidence the inherently metonymic nature of co-speech gestures. Arguing that motivation in gesture involves iconicity (similarity), indexicality (contiguity), and habit (conventionality) to varying degrees, it demonstrates how a set of metonymic principles may lend a certain systematicity to experientially grounded processes of gestural abstraction and enaction. Introducing visuo-kinetic signs as an umbrella term for co-speech gestures and signed languages, the paper shows how a frame-based approach to gesture may integrate different cognitive/functional linguistic and semiotic accounts of (...) metonymy (e.g., experiential domains, frame metonymy, contiguity, and pragmatic inferencing). The guiding assumption is that gestures metonymically profile deeply embodied, routinized aspects of familiar scenes, that is, the motivating context of frames. The discussion shows how gestures may evoke frame structures exhibiting varying degrees of groundedness, complexity, and schematicity: basic physical action and object frames; more complex frames; and highly abstract, complex frame structures. It thereby provides gestural evidence for the idea that metonymy is more basic and more directly experientially grounded than metaphor and thus often feeds into correlated metaphoric processes. Furthermore, the paper offers some initial insights into how metonymy also seems to induce the emergence of schematic patterns in gesture which may result from action-based and discourse-driven processes of habituation and conventionalization. It exemplifies how these forces may engender grammaticalization of a basic physical action into a gestural marker that shows strong metonymic form reduction, decreased transitivity, and interacting pragmatic functions. Finally, addressing basic metonymic operations in signed lexemes elucidates certain similarities regarding sign constitution in gesture and sign. English and German multimodal discourse data as well as German Sign Language (DGS) are drawn upon to illustrate the theoretical points of the paper. Overall, this paper presents a unified account of metonymy’s role in underpinning forms, functions, and patterns in visuo-kinetic signs. (shrink)

This article aims to initiate a discussion on the demarcation of the ethics of care. This discussion is necessary because the ethics of care evolves by making use of insights from varying disciplines. As this involves the risk of contamination of the care ethical discipline, the challenge for care ethical scholars is to ensure to retain a distinct care ethical perspective. This may be supported by an open and critical debate on the criteria and boundaries of the ethics of care. (...) As a contribution, this article proposes a tentative outline of the care ethical discipline. What is characteristic of this outline is the emphasis on relational programming, situation-specific and context-bound judgments, a political–ethical perspective, and empirical groundedness. It is argued that the ethics of care is best developed further by means of an intradisciplinary approach. Two intradisciplinary examples show how within the frame of one discipline, other disciplines are absorbed, both with their body of knowledge and their research methodology. (shrink)

Books have their origins in conversations and seek to extend and expand those conversations over time and with different audiences. The conversations that have culminated in this book were initially stimulated through a research project at The Hastings Center on the role of religious voices in the professional fields of bioethical inquiry. Those professional conversations have continued throughout my academic career as a member of various institutional ethics committees, organizational ethics task forces, and in local, state, and national public policy (...) settings. The professional context of bioethics conversations can sometimes miss the richness of conversations that occur in the classroom and with various communities, including family members, friends, and religious and civic communities. These conversations provide an experiential depth, a groundedness in the lives and stories of persons, which augments and corrects the professionalized perspectives. I have been particularly fortunate and appreciative of opportunities to bridge the academic and professional with the personalized and communal through conversations about the ethical commitments and moral culture cultivated by The Church of Jesus Christ of Latter-day Saints (LDS or Mormon). I was invited to develop an overview essay on "Bioethics in Mormonism" for the professional reference work, Encyclopedia of Bioethics (3rd ed., 2004), and some years later received my first invitation to make a presentation on "LDS Ethics" in an academic setting at the University of Virginia. This book is the outgrowth of these many conversations and seeks to advance my communal bridging. My aim in this book is to begin bridging these various intersections between the LDS religious community and its moral culture, the professional fields of bioethics, and practical decision-making. This work seeks to be a catalyst for expanding discourse within the interdisciplinary field of Mormon studies to include ethics and bioethics. Ethics has not been a well-developed area in Mormon studies, in contrast to studies in LDS history, theology, or literature. To remedy this oversight, I present a substantive interpretation of the sources, theological background, and moral principles of LDS ethics. The historical narratives and conceptual intertwining I offer of both bioethics and of LDS moral culture is intended to complement and expand the realm of Mormon studies. A further objective is to create opportunities for reciprocal dialogues between the bioethics community and LDS scholarship. This conversation has yet to occur within academic disciplines, professional communities, or in public policy deliberations. My exposition, analysis, and critiques will intertwine and contextualize LDS moral values and health care practices within the ethical inquiry undertaken in the broader professional scholarship of bioethics. My arguments will disclose some points of common ground as well as areas of divergence towards the end of establishing the LDS faith tradition as a community of moral discourse for the bioethics field and the healing professions (medicine, nursing, pharmacy, etc.) it informs. My claim is that given its emerging cultural prominence, LDS ethical scholarship should engage in bioethical literacy and bioethics should be LDS-literate. I am also engaged in an effort to initiate more reflective dialogues regarding LDS ethics and moral culture among LDS scholars, LDS health care professionals, and the interested general LDS reader. The focus of the book on the interrelationship of religion, ethics, medicine, and health care should present for these various audiences new opportunities for mindful reflection and creative scholarship on the ethical implications of faith commitments, the responsibilities of the healing professions, and religious dimensions of public policy and public bioethics. A religious community that is formed through narratives and practices of covenantal commitments of love of neighbor needs to have a robust discourse about its ethical character. I have understood my scholarship in biomedical ethics and in religious ethics through a linking metaphor of my moral culture, of medicine, and the law, of bearing witness. The witness offers moral realities, moral truths about the way things are, vocalizes and embodies moral experience, and prophetically critiques the hypocrisies of the powerful and their oppression of the vulnerable by offering a new story, a re-storying, of tradition and conventional practice. (shrink)

Gene patenting was enabled by strained interpretations of legal precedent and with very little consideration of its ultimate ethical implications. The sciences of justice, ethics, and morals remain in their dark ages, with their practitioners all ascribing to differing values and modes of inquiry, besieged in their various camps of deontological, or consequentialist, or emotive or theistic dogmas. Ownership and property rights in moveables are good candidates for grounded relations as opposed to intellectual property. The groundedness of a valid (...) possession rests on the intentional state of the possessor and other external and objective facts of the possession. The ontology of the social and legal institution of ownership reveals that it is grounded in certain states of affairs, such as brute‐worldly facts and intentional states, as well as social acts revealing intentions of the parties. (shrink)

This beautiful, inspiring book features 160 impactful, practical ways to transform everyday tasks into enjoyable, indulgent moments that reduce stress and leave you feeling balanced, connected, and ready to take on the day. In Rituals for Life, you’ll discover how to transform everyday activities such as waking, bathing, eating, and walking into mindfulness exercises. With 160 rituals throughout, you’ll learn how to infuse meaning into your daily life and improve your sense of health, empowerment, peace, prosperity, gratitude, intentionality, groundedness, (...) and renewal. Examples of rituals include: -Greet the dawn -Walk through green space to reflect, refresh, and restore healthy well-being -Heat or cool your body with Ayurvedic spices -Use your breath to find bliss -Create a personal ceremony to bless your healthy body and creative mind Within each chapter, you’ll find suggested ritual sequences to further guide and structure your days. You’ll also discover how to select rituals from the book to create your own unique routines that fit your mood, needs, interests, and desires. With Rituals for Life, you’ll transform mundane tasks into inspiring, enriching ways to savor life and enhance your overall well-being. (shrink)

ABSTRACT Nishida’s and Merleau-Ponty’s “perceptual ontologies” lead to other notions of self, spirituality, and faith, bringing out the distinctive and comparable religious paths of Buddhism and embodied phenomenology entered by deepening the prereflective openness to the world’s “voices of silence.” Loughnane’s study highlights how Nishida’s and Merleau-Ponty’s turn towards a series of artists in their respective cultural contexts brings out the particular groundedness in the materiality of the beings of the world in this “mutual interexpressivity” or “reversibility.” Faith is (...) revisioned as the dropping of egoistic control to allow perception to be carried into the depths of the world of spiritual hearkening. (shrink)

State spaces are, in the most general sense, sets of entities that contain information. Examples include states of dynamical systems, processes of observations, or possible worlds. We use domain theory to describe the structure of positive and negative information in state spaces. We present examples ranging from the space of trajectories of a dynamical system, over Dunn’s aboutness interpretation of fde, to the space of open sets of a spectral space. We show that these information structures induce so-called hype models (...) which were recently developed by Leitgeb. Conversely, we prove a representation theorem: roughly, hype models can be represented as induced by an information structure. Thus, the well-behaved logic hype is a sound and complete logic for reasoning about information in state spaces. As application of this framework, we investigate information fusion. We motivate two kinds of fusion. We define a groundedness and a separation property that allow a hype model to be closed under the two kinds of fusion. This involves a Dedekind–MacNeille completion and a fiber-space like construction. The proof-techniques come from pointless topology and universal algebra. (shrink)

Abstract Although the concept of “groundedness/autochthony“ ( Bodenständigkeit ) in Heidegger's writings receives far less scholarly attention than, for example, that of “releasement“ ( Gelassenheit ), a careful examination of the famous “ Gelassenheit “ speech of 1955 demonstrates that, in fact, Bodenständigkeit is the core concept around which everything else turns. Moreover, in the “ Gelassenheit “ speech and the writings on Hebel that follow, Heidegger understands Bodenständigkeit to be, fundamentally, something made possible by language in its particularities (...) of tradition and locale. Thus, there is an intriguing continuity of meaning between that concept and the concept as it was used phenomenologically in his writings from the summer 1924 course up to Sein und Zeit. (shrink)

We present an efficient method for minimal model generation. The method employs branching assumptions and lemmas so as to prune branches that lead to nonminimal models, and to reduce minimality tests on obtained models. Branching lemmas are extracted from a subproof of a disjunct, and work as factorization. This method is applicable to other approaches such as Bry’s constrained search or Niemelä’s groundedness test, and greatlyimpro ves their efficiency. We implemented MM-MGTP based on the method. Experimental results with MM-MGTP (...) show a remarkable speedup compared to MM-SATCHMO. (shrink)

Books have their origins in conversations and seek to extend and expand those conversations over time and with different audiences. The conversations that have culminated in this book were initially stimulated through a research project at The Hastings Center on the role of religious voices in the professional fields of bioethical inquiry. Those professional conversations have continued throughout my academic career as a member of various institutional ethics committees, organizational ethics task forces, and in local, state, and national public policy (...) settings. The professional context of bioethics conversations can sometimes miss the richness of conversations that occur in the classroom and with various communities, including family members, friends, and religious and civic communities. These conversations provide an experiential depth, a groundedness in the lives and stories of persons, which augments and corrects the professionalized perspectives. I have been particularly fortunate and appreciative of opportunities to bridge the academic and professional with the personalized and communal through conversations about the ethical commitments and moral culture cultivated by The Church of Jesus Christ of Latter-day Saints (LDS or Mormon). I was invited to develop an overview essay on "Bioethics in Mormonism" for the professional reference work, Encyclopedia of Bioethics (3rd ed., 2004), and some years later received my first invitation to make a presentation on "LDS Ethics" in an academic setting at the University of Virginia. This book is the outgrowth of these many conversations and seeks to advance my communal bridging. My aim in this book is to begin bridging these various intersections between the LDS religious community and its moral culture, the professional fields of bioethics, and practical decision-making. This work seeks to be a catalyst for expanding discourse within the interdisciplinary field of Mormon studies to include ethics and bioethics. Ethics has not been a well-developed area in Mormon studies, in contrast to studies in LDS history, theology, or literature. To remedy this oversight, I present a substantive interpretation of the sources, theological background, and moral principles of LDS ethics. The historical narratives and conceptual intertwining I offer of both bioethics and of LDS moral culture is intended to complement and expand the realm of Mormon studies. A further objective is to create opportunities for reciprocal dialogues between the bioethics community and LDS scholarship. This conversation has yet to occur within academic disciplines, professional communities, or in public policy deliberations. My exposition, analysis, and critiques will intertwine and contextualize LDS moral values and health care practices within the ethical inquiry undertaken in the broader professional scholarship of bioethics. My arguments will disclose some points of common ground as well as areas of divergence towards the end of establishing the LDS faith tradition as a community of moral discourse for the bioethics field and the healing professions (medicine, nursing, pharmacy, etc.) it informs. My claim is that given its emerging cultural prominence, LDS ethical scholarship should engage in bioethical literacy and bioethics should be LDS-literate. I am also engaged in an effort to initiate more reflective dialogues regarding LDS ethics and moral culture among LDS scholars, LDS health care professionals, and the interested general LDS reader. The focus of the book on the interrelationship of religion, ethics, medicine, and health care should present for these various audiences new opportunities for mindful reflection and creative scholarship on the ethical implications of faith commitments, the responsibilities of the healing professions, and religious dimensions of public policy and public bioethics. A religious community that is formed through narratives and practices of covenantal commitments of love of neighbor needs to have a robust discourse about its ethical character. I have understood my scholarship in biomedical ethics and in religious ethics through a linking metaphor of my moral culture, of medicine, and the law, of bearing witness. The witness offers moral realities, moral truths about the way things are, vocalizes and embodies moral experience, and prophetically critiques the hypocrisies of the powerful and their oppression of the vulnerable by offering a new story, a re-storying, of tradition and conventional practice. (shrink)

The multi-faceted ecological crisis—combining problems of ecology, society, and religion—is tied to the ideologies implicit in Western thinking. In this essay, I outline an ecofeminist theology which addresses how the current ecological crisis we face—including but not limited to, climate change, mass species extinction, ocean acidification, the rise in wildfires and superstorms, glacial melt, pollution—are tied to problematic and incorrect ideologies. To do this, I utilize Val Plumwood’s robust ecofeminist philosophy to revealing harmful dualisms implicit in all forms of oppression. (...) I critique transcendental monotheism for extracting life, God, and agency from the natural world. If God exists over and above the Earth, and this God is omnipotent, omnipresent, and omniscient, this justifies the problematic lagged response to our urgent ecological crisis. In short, my ecofeminist theology affirms intersectionality. It considers racial injustice and systemic racism are intertwined with the ecological crises. We cannot address our ecological crisis without also addressing racial injustice. It critiques a transcendental monotheistic God as this reinforces irresponsible and apathetic responses to our multi-faceted ecological crisis. And it affirms Plumwood’s “philosophical animism” as a way to retrieve nature in the active voice. By retrieving nature in the active voice, we retrieve a sense of groundedness in place through relationships with non-humans. Her “philosophical animism” affirms agency in the natural world without culturally appropriating Indigenous cultures. It is a way for Westerners to enter into dialogical relationship with the natural world. It is both political—affirming the rights of Black, Indigenous, and other people of color—and it is personal—engaging in a practice of the wild. (shrink)

This book is a contribution to the flourishing field of formal and philosophical work on truth and the semantic paradoxes. Our aim is to present several theories of truth, to investigate some of their model-theoretic, recursion-theoretic and proof-theoretic aspects, and to evaluate their philosophical significance. In Part I we first outline some motivations for studying formal theories of truth, fix some terminology, provide some background on Tarski’s and Kripke’s theories of truth, and then discuss the prospects of classical type-free truth. (...) In Chapter 4 we discuss some minimal adequacy conditions on a satisfactory theory of truth based on the function that the truth predicate is intended to fulfil on the deflationist account. We cast doubt on the adequacy of some non-classical theories of truth and argue in favor of classical theories of truth. Part II is devoted to grounded truth. In chapter 5 we introduce a game-theoretic semantics for Kripke’s theory of truth. Strategies in these games can be interpreted as reference-graphs of the sentences in question. Using that framework, we give a graph-theoretic analysis of the Kripke-paradoxical sentences. In chapter 6 we provide simultaneous axiomatizations of groundedness and truth, and analyze the proof-theoretic strength of the resulting theories. These range from conservative extensions of Peano arithmetic to theories that have the full strength of the impredicative system ID1. Part III investigates the relationship between truth and set-theoretic comprehen- sion. In chapter 7 we canonically associate extensions of the truth predicate with Henkin-models of second-order arithmetic. This relationship will be employed to determine the recursion-theoretic complexity of several theories of grounded truth and to show the consistency of the latter with principles of generalized induction. In chapter 8 it is shown that the sets definable over the standard model of the Tarskian hierarchy are exactly the hyperarithmetical sets. Finally, we try to apply a certain solution to the set-theoretic paradoxes to the case of truth, namely Quine’s idea of stratification. This will yield classical disquotational theories that interpret full second-order arithmetic without set parameters, Z2- . We also indicate a method to recover the parameters. An appendix provides some background on ordinal notations, recursion theory and graph theory. (shrink)

Modern AI systems have shown the capacity to produce remarkably fluent language, prompting debates both about their semantic understanding and, less prominently, about whether they can perform speech acts. This paper addresses the latter question, focusing on assertion. We argue that to be capable of assertion, an entity must meet two requirements: it must produce outputs with descriptive functions, and it must be capable of being sanctioned by agents with which it interacts. The second requirement arises from the nature of (...) assertion as a norm-governed social practice. Pre-trained large language models which have not been subject to fine-tuning fail to meet the first requirement. Language models which have been fine-tuned for ‘groundedness’ or ‘correctness’ may meet the first requirement, but fail the second. We also consider the significance of the point that AI systems can be used to generate proxy assertions on behalf of human agents. (shrink)

$${{{\mathcal {F}}}}$$ -systems are useful digraphs to model sentences that predicate the falsity of other sentences. Paradoxes like the Liar and the one of Yablo can be analyzed with that tool to find graph-theoretic patterns. In this paper we studied this general model consisting of a set of sentences and the binary relation ‘ $$\ldots $$ affirms the falsity of $$\ldots $$ ’ among them. The possible existence of non-referential sentences was also considered. To model the sets of all the (...) sentences that can jointly be valued as true we introduced the notion of conglomerate, the existence of which guarantees the absence of paradox. Conglomerates also enabled us to characterize referential contradictions, i.e., sentences that can only be false under a classical valuation due to the interactions with other sentences in the model. A Kripke-style fixed-point characterization of groundedness was offered, and complete (meaning that every sentence is deemed either true or false) and consistent (meaning that no sentence is deemed true and false) fixed points were put in correspondence with conglomerates. Furthermore, argumentation frameworks are special cases of $$\mathcal{F}$$ -systems. We showed the relation between local conglomerates and admissible sets of arguments and argued about the usefulness of the concept for the argumentation theory. (shrink)

Solomon Maimon argues that while Kantianism does venture quite a way toward the establishment of an immanent critical project that more satisfyingly addresses real experience, it does not fulfill the aims of its own project. In order to negotiate Maimon’s claim, I utilize the primary metaphorics of the First Critique: homesickness. The Kantian longing for home is an insatiable yearning, a striving for the end of something that cannot end, namely, the end of the search for home (Zuhause). According to (...) Maimon, although home is unattainable, there is a different sense of home: home is the path itself, a sort of nomadism, a roving life of the path that never leads home. The Kant of the first Critique did not fully realize that the project could not reach an actual final resting place; in fact, this realization, that home is a transcendental ideal, might be the very motivation for the third Critique. Thus, in order not merely to justify the possibility of synthetic a priori knowledge, but also to allow the application of such knowledge to reach the facts themselves, actuality as such, the “well-groundedness” of the critical project requires some re-direction from Maimon. To do this, Maimon renders Kantian transcendental conditions truly genetic. (shrink)

Query processing in ground definite deductive is known to correspond precisely to a linear programming problem. However, the “groundedness” requirement is a huge drawback to using linear programming techniques for logic program computations because the ground version of a logic program can be very large when compared to the original program. Furthermore, when we move from propositional logic programs to first-order logic programs, this effectively means that functions symbols may not occur in clauses. In this paper, we develop a (...) theory of “instantiate- by-need” that performs instantiations only when needed. We prove that this method is sound and complete when computing answer substitutions for non-ground logic programs including those containing function symbols. More importantly, when taken in conjunction with Colmerauer's result that unification can be viewed as linear programming, this means that resolution with unification can be completely replaced by linear programming as an operational paradigm. Additionally, our tree construction method is not rigidly tied to the linear programming paradigm-we will show that given any method M that can compute the set of atomic logical consequences of a propositional logic program, our method can use M to compute , the set of all atoms that are consequences of a first-order logic program. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Plato’s CratylusRosamond Kent SpragueDavid Sedley. Plato’s Cratylus. New York: Cambridge University Press, 2003. Pp. xi + 190. Cloth, $60.00Discussion of Plato's Cratylus, to which this book is a notable contribution, must straightway come to terms with the question of Plato's seriousness (or lack thereof) in the etymology sections of the dialogue. Professor Sedley is a strong advocate of the seriousness of the etymologies, a position which, he remarks, (...) will not surprise most classicists, although it "may cause apoplexy among many of Plato's philosophical admirers" (23). More colloquially he writes, "if Plato was joking, the joke flopped" (39).But need we assume that Plato was either serious or joking? His sense of humor was peculiar, and seems to me nicely characterized by Guthrie when, in commenting on the present dialogue, he speaks of Plato as "tumbling together with an equally straight face absurdities and deeply held convictions" (History V, 25). I also incline more than Sedley to the frequent topicality of Plato's work.Nevertheless, the Sedley thesis may be seen to pay rich rewards. Perhaps most notable is the perception that the etymologies constitute a philosophical curriculum, moving along a well-defined trace from cosmology to the consideration (a watershed here) of ethical terms. This progression is especially significant in marking the emancipation of Plato from his early association with Cratylus and his subsequent allegiance to Socrates.Another mandatory topic is, of course, chronology. The Cratylus is seen to be unusual here in that what we have is most probably a reedited version. (A substantive point is at issue because the earlier version fails to distinguish clearly between the lawmaker and the [End Page 490] dialectician.) Thus to the question, where does the Cratylus fit in the traditional chronology, Sedley's answer is, "not in any one place" (7). As to the projected time of the revision, proximity to the Sophist is most likely.Sedley's general approach to the etymologies is hierarchical (here he identifies two important principles, Uniformity and Groundedness) rather than one of mutual support. He writes that the "'imitation' relation between sounds and things will be found [at] not just the primary level, but all the way up the chain" (126). Similarly with Socrates' painting analogy: "the primary pigments which the painter uses already imitate the simplest objects of vision" (128). In both cases the principles of Uniformity and Groundedness "are to some extent permitted to merge" (127).The business of name-making is of course a techne, as is that of painting. That both of these arts are approximate in nature is not an "ad hoc postulate [but] lies at the heart of Platonic metaphysics," since "any craftsman's embodiment of a Form in matter is necessarily less than perfect" (45). (As Sedley tellingly points out, "it is the Sophist Thrasymachus, and not Socrates, who proposes that a craftsman, qua craftsman, never gets anything wrong" [44].) As for Socrates' final position, it is "not the reversion to conventionalism that it has so often been taken to be" (145). Convention does play some part in signification, but it is also the case that names are some kind of vocal imitations, "a thesis, massively documented in the etymological section, from which Socrates never retreats" (145).One point on which I would like to have had Sedley's comments is the following: what does he think of Diogenes Laertius's remark (III, 6) that not only did Plato, after the death of Socrates, "attach himself to Cratylus the Heraclitean," but also to Hermogenes "who professed the philosophy of Parmenides"? Now the only real Parmenideanism in the dialogue (the position that a name is either a true name or not a name at all) is attributed not to Hermogenes but to Cratylus! (Is Descartes an empiricist? Is Hume a rationalist?) Furthermore, even though Cratylus adopts this position on a variety of occasions (429d, 432a, 433c, 436c, and 438c), he is too flighty (or, one might say, too fluxy) to stick with it, and continually relapses (431a, 432d, 433b, 435e, for instance). At the risk of being categorized as a non-serious reader of the Cratylus (which I am not... (shrink)

In relation to the Kantian theory that moral judgments are imaginarily grounded, this contribution explores how moral agents experience and make use of this imaginary groundedness. Drawing from a strand of aesthetics that conceives of imagination as make-believe, the imaginary ground of moral judgment is theorized to stem from the interaction between active participants who pretend that their claims are grounded, and passive participants who are invited to go along. Based on this reconstruction, the experience of the moral imaginary (...) is argued to stem from a divided mind. It allows moral agents to be partly devoted to the mental and communicative attitude fitting the fictional world of groundedness, and partly to generating personal responses to moral claims. Using the experience of artistic fiction as an example, the actual experience of morality’s imaginary ground is finally located in the interplay between those two spheres. (shrink)

In relation to the (neo-)Kantian theory that moral judgments are imaginarily grounded, this contribution explores how moral agents experience and make use of this imaginary groundedness. Drawing from a strand of aesthetics that conceives of imagination as make-believe, the imaginary ground of moral judgment is theorized to stem from the interaction between active participants who pretend that their claims are grounded, and passive participants who are invited to go along. Based on this reconstruction, the experience of the moral imaginary (...) is argued to stem from a divided mind. It allows moral agents to be partly devoted to the mental and communicative attitude fitting the fictional world of groundedness, and partly to generating personal responses to moral claims. Using the experience of artistic fiction as an example, the actual experience of morality’s imaginary ground is finally located in the interplay between those two spheres. (shrink)

In their paper “Sixteen Days” Barry Smith and Berit Brogaard try to answer the question: when does a human being begin to exist? In this paper we will address some methodological issues connected with this exercise in ontology. We shall begin by sketching the argument of “Sixteen Days”. We shall then attempt to characterize what is special about the ontological realism of “Sixteen Days” as contrasted to the linguistic constructivism which represents the more dominant current in contemporary analytic philosophy. This (...) will allow us to infer guidelines for assessing the quality of ontological theories of various types. We shall argue that ontological parsimony, groundedness, faithfulness to ordinary language, consistency with science, coherence, and fruitfulness are at least part of the adequacy criteria for such theories. These criteria will then be applied to the theory presented in “Sixteen Days”, and they will lead us to some revisions of this theory as well as to some reflections on its ethical implications. (shrink)

This hermeneutic phenomenological study of how remote workers in global corporations experience and interpret local place is based on Heidegger’sthinking about space, place, and dwelling, Giddens’ conception of globalization as “time-space distanciation,” and recent research and theory related to remote work and architecture. Study participants are knowledge workers in the United States and Europe who work full time from home as employees of large global corporations. The analysis reveals several insights about remote workers’ lived experience of place, including the importance (...) of managing the threshold between work and home and the need to create spaces for interaction at work. Some remote workers learn to shape, choose, or create places that better suit them, while others prefer to remain in place. Some become more involved in their local communities, helping these communities become more globally-connected while retaining their unique local qualities. The analysis reveals five themes that suggest that place is both spatial and temporal. A place is a specific location within physical space that acquires personal meaning, arising from a person’s past history and evolving with ongoing or repeated experience. Individuals make meaning of place as Center (groundedness or rootedness), Setting (activity, convenience or purpose), and Source (generativity, inspiration or transcendence). We shape and respond to places; places shape us as our lives take place within them. (shrink)

The original essays in this volume, while written from diverse perspectives, share the common aim of building a constructive dialogue between two currents in philosophy that seem not readily allied: Wittgenstein, who urges us to bring our words back home to their ordinary uses, recognizing that it is our agreements in judgments and forms of life that ground intelligibility; and feminist theory, whose task is to articulate a radical critique of what we say, to disrupt precisely those taken-for-granted agreements in (...) judgments and forms of life. Wittgenstein and feminist theorists are alike, however, in being unwilling or unable to "make sense" in the terms of the traditions from which they come, needing to rely on other means—including telling stories about everyday life—to change our ideas of what sense is and of what it is to make it. For both, appeal to grounding is problematic, but the presumed groundedness of particular judgments remains an unavoidable feature of discourse and, as such, in need of understanding. For feminist theory, Wittgenstein suggests responses to the immobilizing tugs between modernist modes of theorizing and postmodern challenges to them. For Wittgenstein, feminist theory suggests responses to those who would turn him into the "normal" philosopher he dreaded becoming, one who offers perhaps unorthodox solutions to recognizable philosophical problems. In addition to an introductory essay by Naomi Scheman, the volume’s twenty chapters are grouped in sections titled "The Subject of Philosophy and the Philosophical Subject," "Wittgensteinian Feminist Philosophy: Contrasting Visions," "Drawing Boundaries: Categories and Kinds," "Being Human: Agents and Subjects," and "Feminism’s Allies: New Players, New Games." These essays give us ways of understanding Wittgenstein and feminist theory that make the alliance a mutually fruitful one, even as they bring to their readings of Wittgenstein an explicitly historical and political perspective that is, at best, implicit in his work. The recent salutary turn in philosophy toward taking history seriously has shown how the apparently timeless problems of supposedly generic subjects arose out of historically specific circumstances. These essays shed light on the task of feminist theorists—along with postcolonial, queer, and critical race theorists—to "rotate the axis of our examination" around whatever "real need[s]" might emerge through the struggles of modernity’s Others. Contributors are Nancy E. Baker, Nalini Bhushan, Jane Braaten, Judith Bradford, Sandra W. Churchill, Daniel Cohen, Tim Craker, Alice Crary, Susan Hekman, Cressida J. Heyes, Sarah Lucia Hoagland, Christine M. Koggel, Bruce Krajewski, Wendy Lynne Lee, Hilda Lindemann Nelson, Deborah Orr, Rupert Read, Phyllis Rooney, and Janet Farrell Smith. (shrink)

This hermeneutic phenomenological study of how remote workers in global corporations experience and interpret local place is based on Heidegger’sthinking about space, place, and dwelling, Giddens’ conception of globalization as “time-space distanciation,” and recent research and theory related to remote work and architecture. Study participants are knowledge workers in the United States and Europe who work full time from home as employees of large global corporations. The analysis reveals several insights about remote workers’ lived experience of place, including the importance (...) of managing the threshold between work and home and the need to create spaces for interaction at work. Some remote workers learn to shape, choose, or create places that better suit them, while others prefer to remain in place. Some become more involved in their local communities, helping these communities become more globally-connected while retaining their unique local qualities. The analysis reveals five themes that suggest that place is both spatial and temporal. A place is a specific location within physical space that acquires personal meaning, arising from a person’s past history and evolving with ongoing or repeated experience. Individuals make meaning of place as Center (groundedness or rootedness), Setting (activity, convenience or purpose), and Source (generativity, inspiration or transcendence). We shape and respond to places; places shape us as our lives take place within them. (shrink)

The biblical metaphor of covenant sets the primary issue of pastoral care, namely, grounding in another vis-á-vis self-groundedness.

Open peer commentary on the article “Social Autopoiesis?” by Hugo Urrestarazu. Upshot: It is argued that to define social systems as non-biological is to deny their intrinsic biological groundedness, which affects their complex system dynamics. In the case of human social systems, the ecological phenomenon of human society should not be confused with human social organizations as cultural artifacts.