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.

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)

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.

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)

After delineating the corpus of Croatian philosophy, the historical and conceptual identity and continuity of Croatian philosophy are analysed with respect to several aspects: (1) the historical space and time of Croatian philosophy; (2) its socio-cultural role and character (educational, linguistic and national-political); (3) its traditions and interconnections; and (4) the idea of Croatian philosophy. Special attention is paid to the difference between Franjo pl. Marković’s views on Croatian philosophy and the present state-of-the-art. Finally, the roots of Croatian philosophy (...) are considered at the moment of transition from myth to Christianity and in the introductory reflections of the Charter of Duke Trpimir. (shrink)

The article focuses on Kant's formal logic (formal theory of concepts, judgments, and inference, general methodology) in the systematic order of logical forms and presents the main characteristics of his transcendental logic (theory of categories and transcendental ideas). Kant's problem of the foundations of logic and its completeness is addressed. The relevance and influence of Kant's account of logic in the development of modern logic is outlined. The article gives a selection of primary and secondary sources.

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)

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)

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)

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)

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)

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)

This paper raises objections to the constitution of these lines in the OCT. The lines are gnomic but they generalize based on an actual sequence of events just described and should contain an allusion to the offence that will cause the Greeks to perish, the outrage against Athena's temple. This, it is argued, stood in a lacuna best marked after 95. The article has three theses: (1) sacking ‘cities, temples, and tombs’ is implausible because the latter two are parts of (...) the first; (2) plundering tombs refers to nothing in the play, nor was this thought of as an offence against the gods; (3) 96–7 do not refer to the offence that causes the fool's death but are a description of his success, the destruction of the hated enemy population. That success stands in ironic contrast with his subsequent death. (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)

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)

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.

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)

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)

Today, bioethics experts have an increasing role in public life. However, the question arises: what does bioethics expertise really mean? Can there be such a thing in our globalised world characterised by ethical pluralism? I will argue that bioethics as a discipline represents the transformation of ethics expertise from a hard to a soft form of it. Bioethics was born as a reaction to the growing awareness of ethical pluralism, and it denied the hard form of normative–prescriptive ethics expertise, particularly (...) in its medical ethics form. In contrast, the traditional medical ethics model, and pre-modern societies in general, believed in hard normative ethics expertise. From this followed the characteristic paternalism of traditional medical practice: if physicians were experts in moral matters as well, if they knew what the right course of action to choose was, then they had a right to benevolently force this course of action on their patients. The remnants of this doctrine, although rarely stated explicitly, still can often be seen in clinical practice. The whole bioethics movement can be seen as a radical denial of the doctrine of physician's hard expertise in moral matters. Bioethics, however, represents a type of soft ethics expertise. Hence follows the seeming paradox of bioethics expertise: bioethics is both a denial of ethics expertise as well as a type of ethics expertise. (shrink)

Petrić motivira svoj pokušaj deheleniziranja filozofije i kršćanske teologije činjenicom da su oko četiri stotine godina nakon »starih teologa«, koji su bili pod utjecajem Platonove filozofije, skolastički teolozi počeli u teologiju uvoditi Aristotelovu filozofiju i uzimati njegove »bezbožnosti« kao temelje vjere. Ispričava ih što nisu poznavali niti mogli poznavati stare teologe jer nisu znali grčki i stoga su im bili nepoznati Platonovi i Aristotelovi izvorni tekstovi u kojima se ti stari mudraci spominju. Ne oprašta im, međutim, što su pokušali »bezbožnošću (...) poduprijeti pobožnost«. Stoga Petrić nastoji pokazati da je Aristotel našao sve problemske motive svoje metafizike, fizike i etike u prastarih egipatskih i kaldejskih mudraca, i to najvećim dijelom posredovanjem Platona. Isto tako nastoji pokazati kako je spomenute probleme Aristotel preformulirao, pretumačio u duhu starogrčkog jezika i duha, ali djelomično i prešućivao.Heideggerov analogni noviji pokušaj dehelenizacije filozofije i kršćanske teologije polazi od teze o »zaboravu pitanja o bitku«, odnosno o »smislu bitka«. Taj »zaborav« skrivila je tradicionalna metafizika koja je tretirala bitak kao »najopćenitiji« i stoga »najrazumljiviji« pojam i na taj način dispenzirala filozofiju da ponovo promišlja pitanje o bitku. Pitanje o bitku blokirala je metafizika i time što je bitak tretirala kao »biće« i navela teologiju da i Boga tretira kao »biće«, doduše kao »najviše«, ali ipak kao biće. To je omogućilo da se teologija razumije kao »pozitivna« znanost i time se uvrsti među druge »pozitivne« znanosti. Heideggerov motiv da »destruira« tradicionalnu metafiziku jest da usmjeri mišljenje prema njegovoj zaboravljenoj bitnoj zadaći, a time i teologiju da se, oslobođena od tradicionalne metafizike, uputi novim putovima.Najnoviji poticaj kritičkom tematiziranju dehelenizacije kršćanske vjere, i uopće europskog duha, dao je teolog i sadašnji papa Joseph Ratzinger, posebno u svom predavanju na Sveučilištu u Regensburgu, u kojem je desetak puta kritički apostrofirao dehelenizaciju. Podvrgnuo je kritici tri vala dehelenizacijskog programa u kršćanskoj teologiji: od izgona metafizike iz teologije u Reformaciji, preko historiziranja u liberalnoj teologiji 19. i 20. stoljeća, do brisanja tragova helenizacije kršćanske vjere u ideji inkulturacije. Ratzinger podvrgava kritici ograničavanje uma , započeto matematizacijom europske znanosti u renesansnom platonizmu, koje je Kant kanonizirao. Posljedice toga ograničavanja uma nisu relevantne samo za kršćanstvo koje teži suprotnome, tj. proširenju uma , nego i za zapadnoeuropski duh u cjelini.Petrić’s attempt at dehellenizing philosophy and Christian theology was motivated by the fact that about four centuries after the “ancient theologians”, who were influenced by Plato’s philosophy, scholastic theologians began to introduce Aristotle’s philosophy into theology and adopt his “impieties” as the foundations of faith. He justifies their ignorance and inability to learn about the ancient wise men by the fact that they had no knowledge of Greek and were thus not familiar with the original texts of Plato and Aristotle in which the wise men were mentioned. He does not forgive them, however, for trying to “support piety by impiety”. Thus Petrić attempts to demonstrate how Aristotle found all the problem motives of his metaphysics, physics and ethics in the wise men, drawing mostly upon Plato. He also attempts to show how Aristotle reformulated the mentioned problems, reinterpreted them in the spirit of the old Greek language and thought, but also ignored some of them.Heidegger’s more recent similar attempt at dehellenizing philosophy and Christian theology is grounded on a thesis of the “neglect of the question of being” – that is, the “meaning of being”. This “neglect” is the result of traditional metaphysics which treated being as “the most general” and thus “the most understandable” notion, and in such a way dispensed philosophy to reconsider the question of being. The question of being was blocked by metaphysics in that it treated being as an “entity”, prompting theology to treat God as an “entity” as well, though “the supreme” but still an entity. This led to the understanding of theology as a “positive” science and its eventual classification among the “positive” sciences. Heidegger’s motive to “destroy” traditional metaphysics is to stream thought towards his forgotten major goal, and thus prompt theology, once freed from traditional metaphysics, to seek new strands.The most recent attempt at critical thematization of dehellenization of Christian faith and European spirit in general has been made by the theologian and present pope, Joseph Ratzinger, particularly in his lecture delivered at the University in Regensburg in which he repeatedly criticized dehellenization. Three stages of dehellenization program in Christian theology are the subject of his criticism: from the banishment of metaphysics from theology in the Reformation, through historization in liberal theology of the nineteenth and twentieth century to the erasing of the traces of Hellenization of Christian faith in the idea of inculturation. He also argues against mind limitation started by mathematization of European science in Renaissance Platonism and canonized by Kant. The consequences of mind limitation are not only relevant to Christianity which strives towards the very opposite – broadening of the mind , but to the Western spirit on the whole. (shrink)

A civic science curriculum is advocated. We discuss practical mechanisms for (and highlight the possible benefits of) addressing the relationship between scientific knowledge and civic responsibility coextensively with rigorous scientific content. As a strategy, we suggest an in-course treatment of well known (and relevant) historical and contemporary controversies among scientists over science policy or the use of sciences. The scientific content of the course is used to understand the controversy and to inform the debate while allowing students to see the (...) role of scientists in shaping public perceptions of science and the value of scientific inquiry, discoveries and technology in society. The examples of the activism of Linus Pauling, Alfred Nobel and Joseph Rotblat as scientists and engaged citizens are cited. We discuss the role of science professors in informing the social conscience of students and consider ways in which a treatment of the function of science in society may find, coherently, a meaningful space in a science curriculum at the college level. Strategies for helping students to recognize early the crucial contributions that science can make in informing public policy and global governance are discussed. (shrink)