Chapter 20 David Kovacs’ “Essence, Grounding, and Explanation” sets out four different ways in which essence might be taken to relate to the notion of grounding or metaphysical explanation, i.e., the type of connection that is often expressed by means of non-causal “in virtue of” or “because”-claims: (i) Unity: essence and grounding belong to a unified set of explanatory concepts; (ii) Supplementation: essence and grounding both contribute in their own way to a distinctive type of explanation; (iii) Independence: essence is (...) a sui generis notion with no straightforward conceptual links to grounding; and (iv) Irrelevance: essence is not an explanatory notion at all and therefore should not be viewed as connected to explanatory notions like grounding. As Kovacs brings out in the chapter, a wide variety of attitudes are represented in the literature even among philosophers who are sympathetic to the recent “hyperintensional” turn in metaphysics when it comes to the question of how the notions of essence and grounding interact with one another. (shrink)

This paper develops and motivates a unification theory of metaphysical explanation, or as I will call it, Metaphysical Unificationism. The theory’s main inspiration is the unification account of scientific explanation, according to which explanatoriness is a holistic feature of theories that derive a large number of explananda from a meager set of explanantia, using a small number of argument patterns. In developing Metaphysical Unificationism, I will point out that it has a number of interesting consequences. The view offers a novel (...) conception of metaphysical explanation that doesn’t rely on the notion of a “determinative” or “explanatory” relation; it allows us to draw a principled distinction between metaphysical and scientific explanations; it implies that naturalness and fundamentality are distinct but intimately related notions; and perhaps most importantly, it re-establishes the unduly neglected link between explanation and understanding in the metaphysical realm. A number of objections can be raised against the view, but I will argue that none of these is conclusive. The upshot is that Metaphysical Unificationism provides a powerful and hitherto overlooked alternative to extant theories of metaphysical explanation. (shrink)

In recent years, metaphysics has undergone what some describe as a revolution: it has become standard to understand a vast array of questions as questions about grounding, a metaphysical notion of determination. Why should we believe in grounding, though? Supporters of the revolution often gesture at what I call the Argument from Explanatoriness: the notion of grounding is somehow indispensable to a metaphysical type of explanation. I challenge this argument and along the way develop a “reactionary” view, according to which (...) there is no interesting sense in which the notion of grounding is explanatorily indispensable. I begin with a distinction between two conceptions of grounding, a distinction which extant critiques of the revolution have usually failed to take into consideration: grounding qua that which underlies metaphysical explanation and grounding qua metaphysical explanation itself. Accordingly, I distinguish between two versions of the Argument from Explanatoriness: the Unexplained Explanations Version for the first conception of grounding, and the Expressive Power Version for the second. The paper’s conclusion is that no version of the Argument from Explanatoriness is successful. (shrink)

The Problem of Overlappers is a puzzle about what makes it the case, and how we can know, that we have the parts we intuitively think we have. In this paper, I develop and motivate an overlooked solution to this puzzle. According to what I call the self-making view it is within our power to decide what we refer to with the personal pronoun ‘I’, so the truth of most of our beliefs about our parts is ensured by the very (...) mechanism of self-reference. Other than providing an elegant solution to the Problem of Overlappers, the view can be motivated on independent grounds. It also has wide-ranging consequences for how we should be thinking about persons. Among other things, it can help undermine an influential line of argument against the permissibility of elective amputation. After a detailed discussion and defence of the self-making view, I consider some objections to it. I conclude that none of these objections is persuasive and we should at the very least take seriously the idea that we are to some extent self-made. (shrink)

The Question of Iterated Grounding (QIG) asks what grounds the grounding facts. Although the question received a lot of attention in the past few years, it is usually discussed independently of another important issue: the connection between metaphysical explanation and the relation or relations that supposedly “back” it. I will show that once we get clear on the distinction between metaphysical explanation and the relation(s) backing it, we can distinguish no fewer than four questions lumped under QIG. I will also (...) argue that given some plausible assumptions about what it would take for a relation to back metaphysical explanation, many salient views about grounding allow us to give “easy” answers to these questions—easy in the sense that we can straightforwardly derive them from the respective conception of grounding without getting into the sorts of complexities that typically inform answers to QIG. The paper's main upshot is that we cannot expect to make much progress on QIG without first addressing the difficult issue of how exactly grounding is related to metaphysical explanation. (shrink)

Many philosophers embrace grounding, supposedly a central notion of metaphysics. Grounding is widely assumed to be irreflexive, but recently a number of authors have questioned this assumption: according to them, it is at least possible that some facts ground themselves. The primary purpose of this paper is to problematize the notion of self-grounding through the theoretical roles usually assigned to grounding. The literature typically characterizes grounding as at least playing two central theoretical roles: a structuring role and an explanatory role. (...) Once we carefully spell out what playing these roles includes, however, we find that any notion of grounding that isn’t irreflexive fails to play these roles when they are interpreted narrowly, and is redundant for playing them when they are interpreted more broadly. The upshot is that no useful notion of grounding can allow a fact to ground itself. (shrink)

Abstract:Skepticism about grounding is the view that ground-theoretic concepts shouldn’t be used in meta­physical theorizing. Possible reasons for adopting this attitude are numerous: perhaps grounding is unintelligible; or perhaps it’s never instantiated; or perhaps it’s just too heterogeneous to be theor­­­­­etically useful. Unfortunately, as currently pursued the debate between grounding enthusiasts and skeptics is insufficiently structured. This paper’s purpose is to impose a measure of conceptual rigor on the debate by offering an opinionated taxonomy of views with a reasonable claim (...) to being “skeptical.” I argue that carving up logical space into pro- and anti-grounding views isn’t especially helpful; rather, we should recognize various degrees of ground-theoretic involvement depending on how inflationary our understanding of the theoretical term ‘ground’ is. (shrink)

On a widely shared assumption, our mental states supervene on our microphysical properties – that is, microphysical supervenience is true. When this thesis is combined with the apparent truism that human persons have proper parts, a grave difficulty arises: what prevents some of these proper parts from being themselves thinkers as well? How can I know that I am a human person and not a smaller thinker enclosed in a human person? Most solutions to this puzzle make radical, if not (...) absurd, claims. Recently, however, Michael Burke and Howard Robinson proposed conservative solutions that, according to them, do not have such undesired consequences. This paper argues that the conservative solutions tacitly assume at least one of the radical ones, and therefore they provide no alternative to the extreme solutions. (shrink)

The Simple Question (SQ) asks: “What are the necessary and jointly sufficient conditions any x must satisfy in order for it to be true that x is a simple?” The main motivation for asking SQ stems from the hope that it could teach us important lessons for material-object ontology. It is universally accepted that a proper answer to it has to be finite, complete and devoid of mereological expressions. This paper argues that we should stop treating SQ as the central (...) question to be asked about simples; there are a plethora of questions about simples that may even be addressed without answering the original question. The paper closes with some tentative remarks on how this lesson could be extended to van Inwagen’s Special Composition Question. (shrink)

U članku se promatraju osnovne karakteristike razvojne dinamike hrvatskoga logičkoga nazivlja od izlazka Pacelove Logike za gimnazije, prve sustavne logike na hrvatskome jeziku, 1868. godine, pa sve do Petrovićeve Logike, također za srednja učilišta, iz 1964., koja je još uviek u uporabi. Nazivlje je u tu svrhu razvrstano u nekoliko tipičih skupina. Općenito, uočava se porast zastupljenosti latinizama (i grecizama) na štetu hrvatskih naziva. U analizi nazivlja autor se ograničuje na knjige namienjene nastavi logike bilo na srednjim učilištima, bilo na (...) sveučilištu, i to na nazivlje tradicionalne logike. Mjestimice su pridodane i napomene o nazivlju moderne (matematičke) logike. (shrink)

Different forms and transformations of philosophy in the modern world are analyzed according to the view of the Croatian philosopher Vanja Sutlić (1925-1989). A key aspect is the "realization of philosophy" in "work science", which encompasses the entire "world of work" established in modern times. This universal and real science is also an important precondition for "historical thinking". The uniformity of this science, problematized by Sutlić, can be found today in refined logical and semantic structures, which allow for a renewed (...) and richer articulation of philosophical concepts than was traditionally possible. (shrink)

U tekstu se obrađuju Stadlerovo i Bauerovo shvaćanje i zasnivanje formalne logike. Formalna je logika u oba slučaja postavljena u duhu novoskolastičke filozofije druge polovice 19. stoljeća. Subjektivna je strana mišljenja (samosviest, djelatba) spojena s njegovom objektivnom stranom (objektivna vriednost), a logička se načela temelje na ontologijskim. Stadler se i Bauer oddvajaju od onodobnoga formalizma i logicizma, kao i od psihologizma i voluntarizma. Pritom je Bauer izrazitije ušao u razpravljanje s drugačijim shvaćanjima (psihologizam i voluntarizam u Wundta).

We want to show that Aristotle’s general conception of syllogism includes as its essential part the logical concept of necessity, which can be understood in a causal way. This logical conception of causality is more general then the conception of the causality in the Aristotelian theory of proof (“demonstrative syllogism”), which contains the causal account of knowledge and science outside formal logic. Aristotle’s syllogistic is described in a purely intensional way, without recourse to a set-theoretical formal semantics. It is shown (...) that the conclusion of a syllogism is justified by the accumulation of logical causes applied during the reasoning process. It is also indicated that logical principles as well as the logical concept of causality have a fundamental ontological role in Aristotle’s “first philosophy”. (shrink)

After introductory reminder of and comments on Gödel’s ontological proof, we discuss the collapse of modalities, which is provable in Gödel’s ontological system GO. We argue that Gödel’s texts confirm modal collapse as intended consequence of his ontological system. Further, we aim to show that modal collapse properly fits into Gödel’s philosophical views, especially into his ontology of separation and union of force and fact, as well as into his cosmological theory of the nonobjectivity of the lapse of time. As (...) a result, modal collapse should not be conceived in Gödel so much as a deficit, but rather as a kind of the rise of modalities to the “perfect” being. We further show that, in accordance with Gödel’s ontology, the concepts of modality and time should be derived in terms of the “fundamental philosophical concept” of cause. To give an example of how a formalization of such causative Gödelian ontology and ontological proof might look, we propose the transformation of GO into a kind of causally re-interpreted justification logic. (shrink)

Bioethische Themen im Neuen Grundgesetz von Ungarn.

Constitution is the relation that holds between an object and what it is made of: statues are constituted by the lumps of matter they coincide with; flags, one may think, are constituted by colored pieces of cloth; and perhaps human persons are constituted by biological organisms. Constitution is often thought to be a.

Aristotelian causal theories incorporate some philosophically important features of the concept of cause, including necessity and essential character. The proposed formalization is restricted to one-place predicates and a finite domain of attributes (without individuals). Semantics is based on a labeled tree structure, with truth defined by means of tree paths. A relatively simple causal prefixing mechanism is defined, by means of which causes of propositions and reasoning with causes are made explicit. The distinction of causal and factual explanation are elaborated, (...) and examples of cyclic and convergent causation are given. Soundness and completeness proofs are sketched. (shrink)

This article provides a conceptual map of the debate on ideal and non‐ideal theory. It argues that this debate encompasses a number of different questions, which have not been kept sufficiently separate in the literature. In particular, the article distinguishes between the following three interpretations of the ‘ideal vs. non‐ideal theory’ contrast: (i) full compliance vs. partial compliance theory; (ii) utopian vs. realistic theory; (iii) end‐state vs. transitional theory. The article advances critical reflections on each of these sub‐debates, and highlights (...) areas for future research in the field. (shrink)

A characteristic form of philosophical inquiry seeks to answer ‘what is x?’ questions. In this paper, we ask how philosophers do and should adjudicate debates about the correct answer to such questions. We argue that philosophers do and should rely on a distinctive type of pragmatic and meta-representational reasoning – a form of rationalizing self-interpretation – in answering ‘what is x?’ questions. We start by placing our methodological discussion within a broader theoretical framework. We posit a necessary connection between epistemic (...) methodology and metasemantics. In our view, the correct semantic assignment for a representation must be justifiable from the epistemic perspective of the subject herself, given suitable empirical information and cognitive powers. So the upshot of your own ideal, fully informed epistemic methods will determine the correct answers to ‘what is x?’ questions. The bulk of the paper is devoted to articulating and defending our rationalizing self-interpretation account of philosophical methodology. By working through a specific example, we seek to isolate the relevant inputs into deliberation and the methods for adjudicating between competing answers to a ‘what is x?’ question. We suggest that the self-interpretive methods we isolate generalize across the board as a way of identifying the real nature of familiar topics. We also explain how these methods undercut the case for a priori conceptual analysis. (shrink)

I argue that our expectations for particular evil events, conditional on theism, ought to be informed by our empirical knowledge of history—that is, the history of what God, if God exists, has already allowed to happen. This point is under-appreciated in the literature. And yet if I’m right, this entails that most particular evil events are not evidence against theism. This is a limited but interesting consequence in debates over the evidential impact of evil.

Although recent work has been done on the Barnes Foundation and its philosophical and pedagogical background, almost all the research effort has been focused on the friendship and intellectual link between John Dewey and Albert C. Barnes. Unfortunately, to the best of our knowledge, the impact of George Santayana’s philosophy on the Foundation has not been systematically examined. The hypothesis that we present and develop in this article is that Santayana’s thought is essential for the aesthetic theories elaborated within the (...) framework of the Barnes Foundation: Barnes’ theory of art criticism; Dewey’s aesthetic theory, and even Lawerence Buermeyer’s aesthetic theory. This article is a first approximation with the purpose of clarifying these philosophical, theoretical and historical relationship so as to start to fill the existing gap in contemporary literature on the topic. (shrink)

A survey of the connection between grounding and modality, in particular supervenience. The survey explores three possible connections between grounding and supervenience: (1) supervenience can be analyzed in terms of grounding, (2) grounded facts supervene on their grounds, and (3) grounding and supervenience overlap in their theoretical roles.

The paper sets out from Göodel's question about primitive concepts, in connection with Gödel's proposal of the employment of phenomenological method. The author assumes that the answer that can be found in Kant is relevant as a starting point. In a modification of the approach by K. Reich, a reconstruction of Kant's "deduction'' of logical forms of judgment is presented, which serve Kant as the basis for his "metaphysical deduction of categories'' including substantiality and causality. It is proposed that different (...) aspects of Kant's "original unity of self-consciousness'' as applied and attached to concrete representations step by step yield different forms of concepts, judgments, and inferences. Categorical, hypothetical and disjunctive judgments are shown to be gradually strengthening the conditions of bringing our representations under the "objective unity of consciousness", and in this way gradually implementing logical laws. The corresponding concepts of substantiality, causality, and mutual influence appear to be grounded in the primitive forms of our thinking. (shrink)

Popular culture continues fuelling public imagination with things, human and non-human, that we might beco-me or confront. Besides robots, other significant tropes in popular fiction that generated images include non-human humans and cyborgs, wired into his-torically varying sociocultural realities. Robots and artificial intelligence are re-defining the natural order and its hierar-chical structure. This is not surprising, as natural order is always in flux, shaped by new scientific discoveries, especially the reading of the genetic code, that reveal and redefine relationships between (...) life forms. However, for the first time, a new, artificial, species is being introduced into the existing diagrams, and, for the first time, it appears to hybridise the anthro-pocentric natural world order. (shrink)

In a series of works, Jody Azzouni has defended deflationary nominalism, the view that certain sentences quantifying over mathematical objects are literally true, although such objects do not exist. One alleged attraction of this view is that it avoids various philosophical puzzles about mathematical objects. I argue that this thought is misguided. I first develop an ontologically neutral counterpart of Field’s reliability challenge and argue that deflationary nominalism offers no distinctive answer to it. I then show how this reasoning generalizes (...) to other philosophically problematic entities. The moral is that puzzle avoidance fails to motivate deflationary nominalism. (shrink)

Various philosophers authors have argued—on the basis of powerful examples—that we can have compelling moral or practical reasons to believe, even when the evidence suggests otherwise. This paper explores an alternative story, which still aims to respect widely shared intuitions about the motivating examples. Specifically, the paper proposes that what is at stake in these cases is not belief, but rather acceptance—an attitude classically characterized as taking a proposition as a premise in practical deliberation and action. I suggest that acceptance’s (...) theoretical usefulness in the ethics of belief has been hidden by its psychological obscurity. I thus aim to develop an empirically adequate and mechanistically specific psychological profile of acceptance. I characterize acceptance as centrally involving a cognitive gating function, in which we prevent a target belief state from having its characteristic downstream effects on reasoning, cognition, and action, and restructure those downstream processes. I then argue that there is substantial empirical support for the existence of the cognitive mechanisms needed to instantiate this view, coming from the science of emotion regulation. I argue that acceptance involves deploying the same mechanisms used in emotional response modulation to belief states: acceptance is doxastic response modulation. I then propose that having a better understanding of the psychological profile of acceptance leaves us better positioned to appreciate its potential usefulness for making progress on various puzzles within the ethics of belief. (shrink)

Feminists debate whether women can autonomously embrace their own subordination. Some argue that it is the process of identifying with desires and values that matters; others, that it is the content of the desires and values that matters. In this paper, I introduce a novel class of cases of ‘thwarted autonomy,’ in which women pursue autonomy but in ways that reinforce gendered subordination, and draw on these cases to develop an expressivist view of women’s autonomy. On this view, agents must (...) embody desires and values in the social world if they are to achieve self-understanding, such that the social world mediates the relation-to-self. Oppressive meanings and norms can channel this expressive activity in ways that violate women’s physical integrity and involve self-abnegation that is incompatible with autonomy. (shrink)

What is it to share the same concept? The question is an important one since sharing the same concept explains our ability to non-accidentally coordinate on the same topic over time and between individuals. Moreover, concept identity grounds key logical relations among thought contents such as samesaying, contradiction, validity, and entailment. Finally, an account of concept identity is crucial to explaining and justifying epistemic efforts to better understand the precise contents of our thoughts. The key question, then, is what psychological (...) and social facts could play these roles? Elsewhere, we have argued for a specific relational model of concept identity, the connectedness model (e.g. Schroeter 2012, Schroeter and Schroeter 2014, 2015). Our aim in this chapter is to further explain the motivations behind that account, to address worries about transitivity and vagueness, and to contrast our approach with closely related accounts of concept identity developed by François Recanati and Simon Prosser. -/- What’s distinctive of our approach is that we seek to vindicate the first-person epistemic perspective of concept users. Concepts, on our account, play a crucial normative role in setting regulative ideals for the representational practices in which individual subjects participate. This focus on the normative role of concepts – as opposed to a purely causal explanatory role – motivates our approach to concept identity and our toleration of vagueness and borderline cases. (shrink)

Kant's theory of transcendental ideas can be conceived as a sort of model theory for an empirical first-order object theory. The main features of Kant's theory of transcendental ideas (especially its antinomies and their solutions) can be recognized, in a modified way, in a religious discourse as exemplified in the dialogue of Jesus and the Samaritan woman (John 4). In this way, what is by Kant meant merely as regulative ideas obtains a sort of objective reality and becomes a religiously (...) founded metaphysics. A metaphysical theory of religious dialogue is formalized on the basis of an extended justification logic of evidence and wish agents. (shrink)

Gödel's ontological argument is related to Gödel's view that causality is the fundamental concept in philosophy. This explicit philosophical intention is developed in the form of an onto-theological Gödelian system based on justification logic. An essentially richer language, so extended, offers the possibility to express new philosophical content. In particular, theorems on the existence of a universal cause on a causal "slingshot" are formulated.

Christine Overall has argued that miracles, if they exist, would be an evil committed by God and therefore disprove the existence of God. However, her notion of a miracle as an intervention presupposes a view about the relation between God and creation that posits God as an ‘outsider.’ Such a view has not been held by all theists. It was not held by Thomas Aquinas. I show that Aquinas ’s conception is not susceptible to Overall’s criticisms. The upshot is that (...) theists should avoid any view of God as an ‘outsider,’ if they wish to avoid Overall’s criticisms. (shrink)

The paper shows that it is possible to obtain a "slingshot" result in Gödel's theory of positiveness in the presence of the theorem of the necessary existence of God. In the context of the reconstruction of Gödel's original "slingshot" argument on the suppositions of non-Fregean logic, this is a natural result. The "slingshot" result occurs in sufficiently strong non-Fregean theories accepting the necessary existence of some entities. However, this feature of a Gödelian theory may be considered not as a trivialisation, (...) but as an intended consequence of Gödel's ontotheological views. (shrink)

The paper aims to show that by abstracting from a specific mythical historical- stylistic context and “ideation” of the notion of the Proto-Slavic deities Perun and Veles, especially in Croatian tradition, symbolic archetypes and abstract notions of form and primordial matter (materia prima) can be extracted from mythical content. We refer to mythical texts and contents according to the reconstructions and materials brought by Radoslav Katičić, and comparative analysis by Mislav Ježić. We distinguish form (1) as that in which identity (...) and possibility of a thing consists, (2) as the reasonableness of judgment and the form of existence, and (3) as the specific structure of a thing, which unites its parts and aspects as a whole and constitutes its internal necessity. These formative notions are relativized and nullified in Veles’ appearances, in which the archetypal notion of primordial matter is encoded. Examples of Platō’s dialogues historically confirm certain aspects of decoding myth as constitutive of philosophy. The above approach also opens a view of the roots of Croatian philosophical thought, which in its genesis can be traced back to Proto-Slavic mythical archetypes. With the implementation of Christianity, the questions of identity, reason and the structure of the whole are raised radically and sharply, as shown by the text of Trpimir’s grant (852). (shrink)

A first-order logic of belief with identity is proposed, primarily to give an account of possible de re contradictory beliefs, which sometimes occur as consequences of de dicto non-contradictory beliefs. A model has two separate, though interconnected domains: the domain of objects and the domain of appearances. The satisfaction of atomic formulas is defined by a particular S-accessibility relation between worlds. Identity is non-classical, and is conceived as an equivalence relation having the classical identity relation as a subset. A tableau (...) system with labels, signs, and suffixes is defined, extending the basic language $\mathscr{L}_{\mathbf{QB}}$ by quasiformulas (to express the denotations of predicates). The proposed logical system is paraconsistent since $\phi \wedge \neg\phi$ does not ``explode'' with arbitrary syntactic consequences. (shrink)

While various definitions of moral distress have been proposed, some agreement exists that it results from illegitimate constraints in clinical practice affecting healthcare professionals’ moral agency. If we are to reduce moral distress, instruments measuring it should provide relevant information about such illegitimate constraints. Unfortunately, existing instruments fail to do so. We discuss here several shortcomings of major instruments in use: their inability to determine whether reports of moral distress involve an accurate assessment of the requisite clinical and logistical facts (...) in play, whether the distress in question is aptly characterized as moral, and whether the moral distress reported is an appropriate target of elimination. Such failures seriously limit the ability of empirical work on moral distress to foster appropriate change. (shrink)

Logical reasoning is not only a component of religious faith (cf., for instance, the "Golden rule"), but, in addition, the religious faith itself can be conceived as a logical pragmatic function applied to sentences and their meanings. Pragmatic role of religious faith is shown on the examples of the analogy of seed and spoken word (e.g., Mt 13:3-23) and on the degrees of faith described in the episode about Nicodemus (John 3). Pragmatics adds (different grades of) perseverance to the correctness (...) of reasoning and to the truth-preservation of the consequence relation. Correspondingly, religious faith is described by formally defined model and satisfaction relation, which are applied to and examined on the text of John 3. (shrink)

We show how some model-theoretical devices (local reasoning, modes of presentation, an additional accessibility relation) can be combined in first-order modal logic to formalize the consequence relation that includes de dicto and de re contradictory beliefs. Instead of special ``sense objects'', appearances of objects in an agent's belief are introduced and presented as ordered pairs consisting of an object and an individual constant. A non-classical identity relation is applied. A relation S on the set of possible worlds is introduced, which (...) models possible distortions in an agent's picture of a (real) world. The application of such models in deontic logic is illustrated by a characteristic example. (shrink)

Thought Experiments in Ethics, 2021 CONTENTS Preface i Chapter I The Story in Your Head: Tomoceuszkakatiti and Gyugyu 1 Chapter II How Thought Experiments Move Us: The Samaritan and His Neighbours 16 Chapter III What Makes a Thought Experiment? 34 Chapter IV Thought Experiments in Practical Philosophy and Bioethics 75 Chapter V The Experience Machine 93 Chapter VI The Last Man Argument 129 Chapter VII The Trolley Problem 158 Chapter VIII The Violinist Analogy 213 Conclusion 246 Notes 248.

In this article, I develop a new account of the liberal view that principles of justice are meant to justify state coercion, and consider its implications for the question of global socioeconomic justice. Although contemporary proponents of this view deny that principles of socioeconomic justice apply globally, on my newly developed account this conclusion is mistaken. I distinguish between two types of coercion, systemic and interactional, and argue that a plausible theory of global justice should contain principles justifying both. The (...) justification of interactional coercion requires principles regulating interstate interference; that of systemic coercion requires principles of global socioeconomic justice. I argue that the proposed view not only helps us make progress in the debate on global justice, but also offers an independently compelling and systematic account of the function and conditions of applicability of justice. -/-. (shrink)

[English in PhilArchive, unpublished]. Ruđer Bošković's (Rogerius Joseph Boscovich, 1711-1787) induction is described as a reasoning procedure that combines abductive, generalizing and deductive forms of inference. According to Bošković, the application of inductive reasoning extends beyond natural science. Bošković's critique of the use of the principle of sufficient reason is discussed, and constructive rules of Bošković's inductive logic are proposed from the standpoint of contemporary justification logic. To that end, justification logic could be extended with Bošković's typology of reasons. Hunter's (...) result (1965) is conceived as a confirmation that the inference from the constructive defectus rationis is a necessary component of Bošković's induction. - English version in _PhilArchive_. (shrink)

The book discusses the development of reproductive medicine from the perspective of the parent-child relationship. -/- A könyv a reprodukciós medicina fejlődését vizsgálja a szülői felelősség szempontjából.

Although it is now commonplace to take emotions to be the sort of phenomena for which there are reasons, the question of how to cash out the reason- responsiveness of emotions remains to a large extent unanswered. I highlight two main ways of thinking about reason-responsiveness, one that takes agential capacities to engage in norm-guided deliberation to underlie reason-responsiveness, and another which instead takes there to be a basic reason-relation between facts and attitudes. I argue that the latter approach should (...) be preferred. Not only does a reasons-basic approach promise to fare better in accounting for cases that its opponent struggles to accommodate, but it promises also to uncover a sui generis relation between emotions and their reasons which is at best obscured and at worst denied by its opponent. (shrink)

There is a long tradition of logic, from Aristotle to Gödel, of understanding a proof from the concepts of necessity and causality. Gödel's attempts to define provability in terms of necessity led him to the distinction of formal and absolute (abstract) provability. Turing's definition of mechanical procedure by means of a Turing machine (TM) and Gödel's definition of a formal system as a mechanical procedure for producing formulas prompt us to understand formal provability as a mechanical causality. We propose a (...) formalism which makes explicit the mechanical causal nature of a TM's work. We claim that Gödel's axiomatised ontotheology and his ontological proof give a clue for the understanding of the concept of absolute provability and the pattern of the corresponding absolute completeness proof, respectively. (shrink)

The Aristotelian origins of formal systems are outlined, together with Aristotle's use of causal terms in describing syllogisms. The precision and exactness of a formalism, based on the projection of logical forms into perceptive signs, is contrasted with foundational, abstract concepts, independent of any formalism, which are presupposed for the understanding of a formal language. The definition of a formal system by means of a Turing machine is put in the context of Wittgenstein's general considerations of a machine understood as (...) a sign. A modification of Łukasiewicz's logic Ł3 with the inclusion of justification terms is proposed in order to formally analyse some features of formalistic reasoning as a mechanical, causal affair within a wider context of "indeterminacy". (shrink)

The first beginnings of modern logic in Croatia are recognizable as early as in the middle of the 19th century in Vatroslav Bertić. At the turn of the 20th century, Albin Nagy, who was teaching in Italy, made contributions to algebraic logic and to the philosophy of logic. At that time, a distinctive author Mate Meršić stood out, also working on algebraic logic. In the Croatian academic philosophy, until the publication of Gajo Petrović's textbook (1964) and the contributions by Heda (...) Festini, a critical or indifferent attitude toward modern logic prevailed. The first comprehensive modern logic textbook in Croatian was written by mathematician Vladimir Devidé (1964), known, for example, for his axiomatizations of natural numbers and classical propositional logic. In the Croatian philosophy of the 1980s and 1990s, influential logicians are Goran Švob and mathematician Zvonimir Šikić. At the turn of the 21st century, logical investigations are being intensified and extended to various branches of the contemporary logic. (shrink)

The basic principles of Cipra's metaphysics (according to his book "Metamorphoses of Metaphysics") are analyzed with respect to Cipra's request for the revision of classical logical principles (of identity, excluded middle and contradiction). In Cipra's metaphysics, the principle of identity holds for being, necessity and past only, the principle of excluded middle does not hold for coming-to-be, possibility and present, and the principle of contradiction does not hold for the actuality, reality (freedom) and future. A propositional and first-order temporal model (...) and semantics are defined for such a concept of metaphysical time. The propositional ockhamistic branching time model is extended, in a first-order model, with a non-empty set of object shapes and an equivalence relation between object shapes in time, so that, for example, different, previously equivalent object shapes can in future contradict one another. (shrink)

The criticism of Hilbert's axiomatic system of geometry by Mate Meršić (Merchich, 1850-1928), presented in his work "Organistik der Geometrie" (1914, also in "Modernes und Modriges", 1914), is analyzed and discussed. According to Meršić, geometry cannot be based on its own axioms, as a logical analysis of spatial intuition, but must be derived as a "spatial concretion" using "higher" axioms of arithmetic, logic, and "rational algorithmics." Geometry can only be one, because space is also only one. It cannot be reduced (...) to manipulation with symbols but has to deal with concepts and provide real knowledge. According to Meršić, aiming at some particular proof of the consistency of the whole axiomatic system is meaningless because the consistency follows from the truth of individual axioms based on spatial intuition. It is impossible, according to Meršić, for the geometric axioms to be mutually independent because they must be interconnected as essential parts of a whole. Although Meršić did not recognize all the advantages of Hilbert's formalization of geometry, he clearly pointed out some crucial limitations of the axiomatic method. (shrink)

A close interrelationship between logic and religious faith is confirmed in many places of the Bible. In the paper, special attention is paid to the dialogue of Jesus and a Samaritan woman (John 4). In a proposed outline of a logical formalization, religious faith is described as a pragmatic function through which the linguistic and logical content is contextually realized. In the continuation of the paper, Gödel's ontological proof is commented, which in a logically rigorous way describes the ontology where (...) we can detect the systematic place of religious faith as an ontological force. (shrink)