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)

This paper proposes a specific approach to understanding the nature of technology that encompasses the entire field of technological praxis, from the making of primitive tools to using the Internet. In that approach, technology is a specific form of human agency that yields to (an imperfect) realization of human control over a technological situation—that is, a situation not governed to an end by natural constraints but by specific human aims. The components of such technological situations are a given collection of (...) natural or artificial beings, humans, human aims, and situation-bound tools. By performing technological situation analysis, the essential form of tool making, the complex system of relationships between science and technology, technological practices with and without machines, the finiteness or imperfectness of any technology, and engineering (i.e., the possibility of the creation of technological situations) can be considered. For a better characterization of the approach to technology, the paper also presents a comparison of other philosophies of technology. Following Feenberg’s comparative analysis, the so-called fundamental question of the philosophy of technology is formulated, its two sides are identified, and it is applied for clarification of our position within philosophy of technology. In our approach, all human praxis can be considered to be technological; more precisely, every human activity has a technological aspect or dimension. (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)

This essay presents an argument, which it calls the Bias Argument, with the dismaying conclusion that (almost) everyone should significantly reduce her confidence in (too many) philosophical beliefs. More precisely, the argument attempts to show that the most precious philosophical beliefs are biased, as the pervasive and permanent disagreement among the leading experts in philosophy cannot be explained by the differences between their evidence bases and competences. After a short introduction, the premises of the Bias Argument are spelled out in (...) the first part. The second part explains why the objections to the Bias Argument are not compelling. Even though the essay does not adopt the conclusion of the Bias Argument, partly because it seems to be self-defeating, the authors know no plausible way to refute its premises. Thus, the primary aim of the essay is to clarify why the aporetic situation of the Bias Argument arises. (shrink)

This chapter argues that mental fictionalism can only be a successful account of our ordinary folk-psychological practices if it can in some way preserve its original function, namely its explanatory aspect. A too strong commitment to the explanatory role moves fictionalism unacceptably close to the realist or eliminativist interpretation of folk psychology. To avoid this, fictionalists must degrade or dispense with this explanatory role. This motivation behind the fictionalist movement seems to be rather similar to that of Sellars when he (...) came up with the Myth of Jones, his proto-theory of mental concepts. He was faced with the problem of preserving the explanatory status of mental concepts without turning them into proper theoretical entities. By introducing the Sellarsian proto-theory of concepts related to the mental and outlining its main points, this chapter aims to provide a critique of the two versions of mental fictionalism that are arguably the strongest: Adam Toon’s prop-oriented pretence theory and Tamás Demeter’s expressive storyism. (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)

By means of the Rollback Argument, this paper argues that metaphysically robust probabilities are incompatible with a kind of control which can ensure that free actions are not a matter of chance. Our main objection to those (typically agent-causal) theories which both attribute a kind of control to agents that eliminates the role of chance concerning free actions and ascribe probabilities to options of decisions is that metaphysically robust probabilities should be posited only if they can have a metaphysical explanatory (...) role but probabilities can explain anything only if chance has a role. First, we reconstruct the Rollback Argument. Second, we criticize the standard ways of reconciling non-chancy control with metaphysically robust probabilities. Finally, we respond to those worries that are related to the thought experiment of the Rollback Argument. (shrink)

Based on recent trends in philosophy of science, in philosophy of technology, and in technosience studies it can be concluded that the following formula expresses a significant relationship of the relevant disciplines: science is equal to technology plus philosophy. In order to disclose the meaning of this relationship first of all we have to characterize a kind of philosophy of technology. In this view, the human rule over technological situations and the creation/use of tools play a fundamental role. The tools (...) are created by interpretation, and any technological praxis is situation-bound. The characteristics of sciences are very different – or even the opposite – ones: in sciences we want to reach a situation-free knowledge. Scientific knowledge is not situation-bound, it is universally valid. The question is: how can we use the situation-bound technological praxis for building up of situation-free scientific knowledge? It can be shown that a specific application of philosophical principles and ideas makes this possible. Philosophy can create worlds from situations. Consequently, following certain prescriptions of both technology and philosophy, we can perform a scientific praxis. In this paper, some historical and philosophical arguments will be presented to show this interrelatedness, the most fundamental relationships between science, technology, and philosophy. (shrink)

Human existence is being transformed. Its structure, many thousand years old, seems to be changing: built on the natural and the social, there is a third form of existence: web-life. Man is now the citizen of three worlds and its nature is being formed by the relations of natural, social and web-life. We regard as our main goal the study of web-life, which has developed as the result of Internet use.

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)

Logic has a fundamental role in the philosophy of Franjo Marković (1845-1914). His theory of concepts and reasoning is analyzed, especially with respect to the essential role of the principle of sufficient reason and in connection with the concept of causality. The interplay of various types of evidence in Marković's inductive-deductive logic is analysed by means of contemporary justification logic tools.

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)

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)

Although the free will debate of contemporary analytic philosophy lacks almost any kind of historical perspective, some scholars have pointed out a striking similarity between Stoic approaches to free will and Frankfurt’s well-known hierarchical theory. However, the scholarly agreement is only apparent because they disagree about the kind of similarity between the Stoic and the Frankfurtian theories. The main thesis of my paper is that so far, commentators have missed the crucial difference between the Stoics’ approach to free will and (...) Frankfurt’s, a difference that makes the former the superior approach. (shrink)

Ferenc Huoranszki argues for two main claims in the ninth chapter of Freedom of the Will: A Conditional Analysis (Huoranszki 2011). First, Huoranszki tries to show that libertarian restrictivism is false because self-determination in the libertarian sense is not necessary for our responsibility, even if motives, reasons or psychological characteristics can influence us relatively strongly to choose one or the other alternative. second, Huoranszki rejects the so-called manipulation argument.1 this is an argument for the conclusion that unless physical indeterminism is (...) true, nobody can be morally responsible because our behavior is never independent enough of our environment. Therefore, according to Huoranszki, neither libertarian self-determination nor physical indeterminism is required for moral responsibility. in my view, Huoranszki’s counterarguments do not defeat libertarian restrictivism. How- ever, they can force philosophers who defend this theory to modify or refine it. i analyze Huoranszki’s arguments against libertarian self-determination in the first part of my paper. in the second part, I briefly argue for one supervenience argument inspired by a similar objection made earlier (bács 2012). According to this modified argument, Huoranszki’s theory about abilities and responsibility would entail that if physical determinism is true then we are responsible for our ordinary actions only because we are able to do miraculous acts as well. if this objection is correct, Huoranszki’s compatibilism is unsuccessful. (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.

Bioethische Themen im Neuen Grundgesetz von Ungarn.

Glasgow's conception of the doctrine of ethical egoism - that everyone ought to promote his own interest - is mistaken. Ethical egoism rightly understood holds no such doctrine or normative principle, and regards the promotion of one's own interest neither a "duty" nor an "ought." Everyone does in fact promote his own interests.

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)

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)

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)

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 reception of Kant began in Croatia at the turn of the 19th century with the writings of J.B. Horváth, whose textbooks were in use at that time in Croatia and Hungary. Unlike Horváth's decidedly negative attitude toward Kant, Šimun Čučić (Simeon Chuchich), in his systematic work Philosophia Critice Elaborata (1815), adopted some aspects of Kantian philosophy. This includes, for example, the formalistic conception of logic, Kantian apriorism and subjectivism, the formalistic approach to the moral law, and the like. However, (...) since these elements were incorporated into a schoolbook type of text, they could not always be consistently implemented. The beginning of the reception of Kant in Croatia coincided with the revival of Croatian national self-awareness. -- Die Kantrezeption setzte in Kroatien an der Wende zum 19. Jahrhundert ein mit den Schriften J. B. Horváths, dessen Lehrbuecher in Kroatien und Ungarn damals in Gebrauch waren. Im Unterschied zu Horváth's ausgeschprochen negativer Einstellung zu Kant hat Šimun Čučić in seinem systematischen Werk Philosophia critice elaborata (1815) einige Aspekte der Kantischen Philosophie uebernommen. Dies betrifft z.B. die formalistische Auffassung der Logik, die Uebernahme des kantianischen Apriorismus und Subjektivismus, die formalistische Auffassungsweise des moralischen Gesetzes und dgl. Da nun diese Momente in ein schulmaeßig konzipiertes Buch aufgenommen wurden, konnten sie nicht immer konsequent durchgefuehrt werden. Der Beginn der Kantrezeption in Kroatien koinzidierte mit der Wiedererweckung des kroatischen nationalen Selbsbewußtseins. (shrink)

The structure "home - world - ideals" is presented as the structure of "philosophical striving" (F. Marković). It could be formally described as a model consisting of a domain, relations and a valuation. On that basis, the identity, openness, and the significance of Croatian philosophy is investigated. The programme of the renewal of Croatian philosophy (as proposed 1882 by Franjo Marković) is re-examined, and some unsolved historical-cultural discontinuities within the programme are described. The written beginnings of Croatian philosophical thought are (...) detected in the Charter of Duke Trpimir (852). (shrink)

The book is a collection of papers addressing the role of logic in forming and developing philosophy. In particular, on the ground of modern development of logic, it is shown that philosophy can be established (and, in fact, to a large extent is established) as a modern science. The following problems are addressed: general relationship between philosophy and science (especially from a logical viewpoint); the use of logic in ordinary language; names and descriptions; Quine's pragmatic extensional Platonism and predicate-functor logic; (...) philosophical and logical aspects of Gödel's onto-theological system. In the last two chapters, an early critique and emendement of algebraic logic by Croatian philosophers Franjo Marković and Mate Meršić, respectively, is examined. (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 Mind as Metaphor, Adam Toon interprets folk psychological discourse metaphorically. Based on Kendall Walton’s theory of metaphor, he argues that folk psychology ought to be understood in terms of prop-oriented make-believe that relies on representationally essential metaphors. Toon insists that this fictionalist view of everyday mental talk preserves what we commonly think folk psychology can achieve: it does not only rationalize but explains behavior causally. In this paper, first we raise concerns about Toon’s characterization of folk psychology as metaphorical. (...) Then we proceed to show that representationally essential metaphors are incompatible with genuine causal explanation. And finally, we argue that no construal of mental fictionalism can preserve the epistemic virtues we commonly ascribe to folk psychological discourse. (shrink)

ABSTRACT of The Flying Termite by L.L. Katona -/- In this book I would like to show the term “intelligence“ has a universal, non-anthropomorphic meaning. We can perceive intelligence in dogs, dolphins or gorillas without understanding of it, but intelligence can be also seen in many other things from insects and the Solar System to elementary particles or the rules of a triangle. But that doesn’t mean intelligence comes from Intelligent Design, yet alone a Designer, they seems to be the (...) “state of things” in the Universe. One of the most known law of the triangle is “the measures of the interior angles of a triangle in Euclidean space always add up to 180 degrees.” The question is this law exists without any existing triangle, or not? If there is an encrypted program in DNA, what determines which living being will be a chameleon or a cat, where this program lies? Whether in the DNA itself? But DNA also programmed. Where is the program of a computer? You may say in the hard drive or in the head of the programmer. But the hard drive or the head of the programmer is just the vehicle of the program; when you dissect a computer or a programmer’s head you will not find the program, just the diodes or cells connected by pack of orders. And you won’t see the orders in them. In my book I want to show the works of this elusive intelligence with some interesting contradictions between causality, determinism, teleology, and dependent formation through biology, mathematics and logic. If I need to summarize my idea I can use the following parable. A priest and an atheist are playing with a beach ball in a pool, in a two-dimensioned plane. They are rod-people with a circle. What they can’t perceive is this plane is a part of a three-dimensioned world, where the wind is blowing, so they can’t understand why the ball disappearing continuously, and why it comes back at another point randomly. Both of them have a hint, the ball is a sphere, and the space is three-dimensioned, but instead of trying to work in team to understand this curious phenomena of the Beach Ball, they’re using the old method: insulting each other. (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)

In this chapter, data concerning the development of principal aspects of vision is reviewed. First, the development of colour vision and luminance perception is discussed. Relevant data accumulated so far indicates that perception of colour and luminance is present by 6-9 months of age. The presence of typical color illusions at this age suggests that the phenomenal character of color experience is comparable to that of adults well before the first birthday. Thus it seems plausible that color perception develops on (...) the grounds of genetically preprogrammed maturation, in which perceptual learning and plasticity play a limited role. This claim also seems to be supported by case studies of newly sighted patients. On the other hand, perceptual integration of edges and forms in the visual environment as well as the development of binocular vision, and the perception of ambiguous figures seem to depend crucially on early perceptual learning. Both developmental and clinical data indicate a more significant involvement of perceptual learning in such mid-level and higher level perceptual phenomena. (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)

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 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 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)

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).

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)

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)

A brief overview of the main Croatian philosophers of the 19th century is given (regardless of whether they worked in or outside of Croatia). Special attention is paid to Šimun Čučić (logic, metaphysics, ethics) and Franjo pl. Marković (logic, aesthetics). The philosophy of other authors is briefly summarized on the ground of the existing research results.

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.

We seek value. We seep positive value what is presented in the physical reality. There is a common expression of value in the Universe. Mathematics. There is a reason why we realize value. There is a reason why 1*0=1.

Divine simplicity is central to Thomas Aquinas’s philosophy of God. Most important for Aquinas is his view that God’s existence (esse) is identical to God’s essence; for everything other than God, there is a distinction between existence and essence. However, recent developments in analytic philosophy about the nature of existence threaten to undermine what Aquinas thought regarding divine simplicity. In the first chapter of this dissertation, I trace Aquinas’s thinking on divine simplicity through the various texts he wrote regarding the (...) matter. I establish that it is crucial for Aquinas that God is identical to his existence. But, is it even coherent to talk about “a thing’s existence?” In Chapter Two I summarize the arguments of C.J.F. Williams that existence is not a real property that individuals have and that predicating the word “exists” after the name of an individual produces linguistic gibberish. After considering, and rejecting, in Chapter Three attempts by some philosophers to refute Williams’s arguments, I turn, in Chapter Four, to a more detailed account of what Aquinas means by esse, the Latin word often rendered in English as “existence.” The conclusion that I come to is that Aquinas does not mean by esse what contemporary philosophers have usually meant by “existence.” Rather, he understands esse to be the act by which anything can be anything at all, instead of there being nothing whatsoever. In the final chapter, I turn to implications of this for Aquinas’s views of divine simplicity, showing that rather than being incoherent, Aquinas’s thinking on esse points toward the unfathomable mystery that is God. (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 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)

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)

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)

This paper develops the Diachronic Self-Making View, the view that we are the non-accidentally best candidate referents of our ‘I’-beliefs. A formulation and defence of DSV is followed by an overview of its treatment of familiar puzzle cases about personal identity. The rest of the paper focuses on a challenge to DSV, the Puzzle of Inconstant ‘I’-beliefs: the view appears to force on us inconsistent verdicts about personal identity in cases that we would naturally describe as changes in one’s de (...) se beliefs. To solve this problem, the paper defends the possibility of overlapping people, and addresses a number of objections to this idea. (shrink)