10 found
Sort by:
See also:
Profile: Srecko Kovac (Institute of Philosophy, Zagreb)
  1. Srecko Kovac (2012). Logical Opposition and Collective Decisions. In Jean-Yves Béziau & Dale Jacquette (eds.), Around and Beyond the Square of Opposition. Springer. 341--356.
    The square of opposition (as part of a lattice) is used as a natural way to represent different and opposite ways of who makes decisions, and in what way, in/for a group or a society. Majority logic is characterized by multiple logical squares (one for each possible majority), with the “discursive dilemma” as a consequence. Three-valued logics of majority decisions with discursive dilemma undecided, of veto, consensus, and sequential voting are analyzed from the semantic point of view. For instance, the (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Srećko Kovač (2012). Modal Collapse in Gödel's Ontological Proof. In Miroslaw Szatkowski (ed.), Ontological Proofs Today. Ontos Verlag. 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 (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Srećko Kovač (2009). First-Order Belief and Paraconsistency. 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 (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Srećko Kovač (2008). Gödel, Kant, and the Path of a Science. Inquiry : An Interdisciplinary Journal of Philosophy 51 (2):147-169.
    Gödel's philosophical views were to a significant extent influenced by the study not only of Leibniz or Husserl, but also of Kant. Both Gödel and Kant aimed at the secure foundation of philosophy, the certainty of knowledge and the solvability of all meaningful problems in philosophy. In this paper, parallelisms between the foundational crisis of metaphysics in Kant's view and the foundational crisis of mathematics in Gödel's view are elaborated, especially regarding the problem of finding the “secure path of a (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Srećko Kovač (2008). In What Sense is Kantian Principle of Contradiction Non-Classical? Logic and Logical Philosophy 17 (3):251-274.
    On the ground of Kant’s reformulation of the principle of con- tradiction, a non-classical logic KC and its extension KC+ are constructed. In KC and KC+, \neg(\phi \wedge \neg\phi),  \phi \rightarrow (\neg\phi \rightarrow \phi), and  \phi \vee \neg\phi are not valid due to specific changes in the meaning of connectives and quantifiers, although there is the explosion of derivable consequences from {\phi, ¬\phi} (the deduc- tion theorem lacking). KC and KC+ are interpreted as fragments of an S5-based first-order (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Srećko Kovač (2008). Marijan Cipra (22. 8. 1940. – 2. 5. 2008.). Filozofska Istrazivanja 28 (2):445-448.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  7. Srećko Kovač (2007). Contradictions, Objects, and Belief. In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic. 417.
    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 (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Srećko Kovač (2006). Impossibilities, Identities, and Belief. Bulletin of Symbolic Logic 12 (3):1079-8986.
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Srećko Kovač (2003). Some Weakened Gödelian Ontological Systems. Journal of Philosophical Logic 32 (6):565-588.
    We describe a K B Gödelian ontological system, and some other weak systems, in a fully formal way using theory of types and natural deduction, and present a completeness proof in its main and specific parts. We technically and philosophically analyze and comment on the systems (mainly with respect to the relativism of values) and include a sketch of some connected aspects of Gidel's relation to Kant.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  10. Srećko Kovač (1999). Quine's Platonism and Antiplatonism. Synthesis Philosophica 14 (1999):45-52.
    Quine rejects intensional Platonism and, with it, also rejects attributes (properties) as designations of predicates. He pragmatically accepts extensional Platonism, but conceives of classes as merely auxiliary entities needed to express some laws of set theory. At the elementary logical level, Quine develops an “ontologically innocent” logic of predicates. What in standard quantification theory is the work of variables is in the logic of predicates the work of a few functors that operate on predicates themselves: variables are eliminated. This “predicate (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation