26 found
Order:
  1. Causation and intensionality in Aristotelian Logic.Srećko Kovač - 2013 - Studia Philosophiae Christianae 49 (2):117-136.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  2. Causality and attribution in an Aristotelian Theory.Srećko Kovač - 2015 - In Arnold Koslow & Arthur Buchsbaum (eds.), The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziauvol. 1, Cham, Heidelberg, etc.: Springer-Birkhäuser. Springer-Birkhäuser. pp. 327-340.
    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, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  3. Korijeni pojmova oblika i tvari: začetci filozofije u praslavenskom mitu i hrvatskoj predaji [The roots of the concepts of form and matter: The beginnings of philosophy in the Proto-Slavic myth and in the Croatian tradition].Srećko Kovač - 2023 - In Medhótá śrávaḥ II: Misao i slovo. Zbornik u čast Mislava Ježića povodom sedamdesetoga rođendana. Zagreb: Hrvatska akademija znanosti i umjetnosti. pp. 339-355.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Modal collapse in Gödel's ontological proof.Srećko Kovač - 2012 - In Miroslaw Szatkowski (ed.), Ontological Proofs Today. Ontos Verlag. pp. 50--323.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  5. Forms of Judgment as a Link between Mind and the Concepts of Substance and Cause.Srećko Kovač - 2014 - In Miroslaw Szatkowski & Marek Rosiak (eds.), Substantiality and Causality. Boston: De Gruyter. pp. 51-66.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  6. Concepts, Space-and-Time, Metaphysics (Kant and the dialogue of John 4).Srećko Kovač - 2018 - In Mirosław Szatkowski (ed.), God, Time, Infinity. Berlin, Germany: De Gruyter. pp. 61-86.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Logika opravdanja u Boškovićevoj indukciji [Justification Logic in Bošković's Induction].Srećko Kovač - 2014 - In Nikola Stanković, Stipe Kutleša & Ivan Šestak (eds.), Filozofija Ruđera Josipa Boškovića. Filozofsko-teološki institut Družbe Isusove. pp. 153-168.
    [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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Proofs, necessity and causality.Srećko Kovač - 2019 - In Enrique Alonso, Antonia Huertas & Andrei Moldovan (eds.), Aventuras en el Mundo de la Lógica: Ensayos en Honor a María Manzano. College Publications. pp. 239-263.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Remarks on the origin and foundations of formalisation.Srećko Kovač - 2020 - In Marcin Będkowski, Anna Brożek, Alicja Chybińska, Stepan Ivanyk & Dominik Traczykowski (eds.), Formal and Informal Methods in Philosophy. Boston: Brill | Rodopi. pp. 163-179..
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Moderna logika u hrvatskoj filozofiji 20. stoljeća [Modern logic in Croatian philosophy of the 20th century].Srećko Kovač - 2007 - In Damir Barbarić & Franjo Zenko (eds.), Hrvatska filozofija u XX. stoljeću. Matica hrvatska. pp. 97-110.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Nazivlje u nastavi logike.Srećko Kovač - 1993 - Metodicki Ogledi 4 (1):23-32.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Stadler i Bauer o formalnoj logici.Srećko Kovač - 1995 - Filozofska Istrazivanja 15 (3):599-614.
    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).
    Download  
     
    Export citation  
     
    Bookmark  
  13. Causal interpretation of Gödel's ontological proof.Srećko Kovač - 2015 - In Kordula Świętorzecka (ed.), Gödel's Ontological Argument: History, Modifications, and Controversies. Semper. pp. 163.201.
    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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. O logici i metafizici vremena [On the logic and metaphysics of time].Srećko Kovač - 2009 - In Damir Barbarić (ed.), Vrijeme metamorfoza: uz 'Metamorfoze metafizike' Marijana Cipre [The Time of Metamorphoses : on the 'Metamorphoses of Metaphysics' by Marijan Cipra]. Matica hrvatska. pp. 33-59.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Meršić o Hilbertovoj aksiomatskoj metodi [Meršić on Hilbert's axiomatic method].Srećko Kovač - 2006 - In E. Banić-Pajnić & M. Girardi Karšulin (eds.), Zbornik u čast Franji Zenku. pp. 123-135.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Logika i vjera [Logic and Faith].Srećko Kovač - 2011 - In Suvremena znanost i vjera / Contemporary Science and Faith. pp. 69-84.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Gödel's "slingshot" argument and his onto-theological system.Srećko Kovač & Kordula Świętorzecka - 2015 - In Kordula Świętorzecka (ed.), Gödel's Ontological Argument: History, Modifications, and Controversies. Semper. pp. 123-162.
    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, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Dom i svijet hrvatske filozofije: struktura i povijesni aspekti [The home and the world of Croatian philosophy: Structure and historical aspects].Srećko Kovač - 2021 - In Stipe Kutleša (ed.), Domovina, zavičaj, svijet: Zbornik radova povodom 90 godina života Ede Pivčevića. Institute of Philosophy. pp. 155-176.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Die Anfänge der Kantrezeption in Kroatien [The beginnings of Kant reception in Croatia].Srećko Kovač - 1993 - Synthesis Philosophica 8 (2):345-352.
    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, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Filozofija u suvremeno doba [Philosophy in contemporary age].Srećko Kovač - 2006 - In Vanja Sutlić & Žarko Paić (eds.), Izgledi povijesnog mišljenja: zbornik radova povodom osamdesete obljetnice rodenja Vanje Sutlića. Zagreb: Tvrđa. pp. 157-167.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Logika u filozofiji Franje pl. Markovića [Logic in philosophy of Franjo pl. Marković].Srećko Kovač - 2016 - In Stipe Kutleša (ed.), Filozofijsko djelo Franje pl. Markovića. Zagreb: Matica hrvatska. pp. 57-73.
    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.
    Download  
     
    Export citation  
     
    Bookmark  
  22. Die kroatische Philosophie des 19. Jahrhunderts, Čučić und Marković [Croatian philosophy in the 19th century, Čučić and Marković).Srećko Kovač - 2003 - In Jure Zovko (ed.), Kroatische Philosophie im europäischen Kontext. Gardez!. pp. 93-110.
    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.
    Download  
     
    Export citation  
     
    Bookmark  
  23. Logic and Truth in Religious Belief.Srećko Kovač - 2015 - In Mirosław Szatkowski (ed.), God, Truth, and Other Enigmas. Berlin: De Gruyter. pp. 119-132.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. First-order belief and paraconsistency.Srećko Kovač - 2009 - Logic and Logical Philosophy 18 (2):127-143.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. (1 other version)Contradictions, Objects, and Belief.Srećko Kovač - 2007 - In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic. Milan, Italy: Polimetrica. pp. 417-434.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Logičko-filozofijski ogledi [Logical-Philosophical Essays].Srećko Kovač - 2005 - Zagreb: Hrvatsko filozofsko društvo.
    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; (...)
    Download  
     
    Export citation  
     
    Bookmark