Srećko Kovač

Im Folgenden stellen wir drei aktuelle Forschungsbereiche zur formalen Logik bei Kant allgemeinverständlich dar und greifen dabei auf die trans zendentale Logik nur dann zurück, wenn sie ein besseres Verständnis der formalen Logik ermöglicht: Zunächst wird Kants Beitrag zur Rezeption und Weiterentwicklung von Euler-artigen Diagrammen dargestellt. Diese Diagramme wurden in den 1990er Jahren wiederentdeckt, als formales System interpretiert und werden heute insbes. in der Didaktik, in den Kognitionswissenschaften, in der Linguistik, in KI-Bereichen wie der (Logik-basierten) Wissensrepräsentation eingesetzt, und auch in der Philosophie verwendet (Kapitel 2). Mehrere Studien haben in den letzten Jahren gezeigt, dass Kant in weiten Teilen seines Systems Oppositionsverhältnisse verwendet, die der Struktur des logischen Quadrats entsprechen. Das logische Quadrat ist heute Gegenstand intensiver Forschung, da es neben der klassischen, auch die paravollständige und parakonsistente Negation abbildet (Kap. 3). Jüngst wurde zudem die Implementierbarkeit der kantischen Logik in ein formalisiertes deduktives System bewiesen. Die Bedeutung dieses Ergebnisses wird insbesondere im Hinblick auf die formalisierte Umsetzung der Sätze vom Widerspruch, vom zureichenden Grund und der Ausschließung des Mittleren erläutert (Kap. 4). Abschließend möchten wir ein paar Perspektiven für die Forschung zur formalen Logik bei Kant nennen (Kap. 5). -- Note: No financial support acknowledged by the second autor (S. Kovač).

The publication of Gödel’s Max IV contributes to better understanding of the complex development of Gödel’s philosophical thought, and, alongside the other published notebooks, it is a further contribution to modifying a conventional view on the 20th-century philosophy, where Gödel should be recognized as one of the most important and profound philosophers. Moreover, his questions, problem formulations, and ideas, particularly as presented in his philosophical notebooks, transcend the historical distance and can immediately resonate with and inspire the current philosophical research.

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

In the book, the decisive, foundational role of transcendental apperception for logic and transcendental philosophy in Kant is corroborated. The book contains many implicit connections with modern logic that could help a logician with a philosophical interest to gain a deeper insight into the origins and foundations of concepts such as object, truth, analyticity, identity, contradiction, judgment, existence, reference, quantification and others, as well as into the foundations and possible general features of logic. In distinction to the book, this review emphasizes the objective validity of analytic judgements and the foundational role of hypthetical and disjunctive forms of a judgment in Kant.

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.

Wittgenstein’s “machines-as-symbols” are considered with respect to their historical sources and their symbolic and logical nature. Among these sources and precursors, along with Leonardo’s drawings of machines, there are illustrated “machine books”, a kind of book published in the period from the 16th to the 18th centuries which consist of pictures and descriptions of a variety of mechanical devices. Most probably, these books were one of Wittgenstein’s inspirations for his view of machines as components of language-games. The picture of homo volans in Vrančić’s machine book possessed by Wittgenstein is taken as an example. In particular, homo volans is shown to contain patterns of logical laws and rules and to be abstractly interpretable as a logical symbol. A machine, taken as a symbol, is shown to be a precondition of a meaningful “overview” of a mechanical work that exceeds the limits of decidability, and to possess causal features if causality is understood teleologically and in a deeper sense of a “binding” life.

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

The abstract status of Kant's account of his ‘general logic’ is explained in comparison with Gödel's general definition of a formal logical system and reflections on ‘abstract’ (‘absolute’) concepts. Thereafter, an informal reconstruction of Kant's general logic is given from the aspect of the principles of contradiction, of sufficient reason, and of excluded middle. It is shown that Kant's composition of logic consists in a gradual strengthening of logical principles, starting from a weak principle of contradiction that tolerates a sort of contradictions in predication, and then proceeding to the (constructive) principle of sufficient reason, and to a classical-like logic, which includes the principle of excluded middle. A first-order formalisation is applied to this reconstruction, which reveals implicit modalities in Kant's account of logic, and confirms the implementability of Kant's logic into a sound and complete formal system.

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

This paper proposes a possible reconstruction and philosophical-logical clarification of Gödel's idea of causality as the philosophical fundamental concept. The results are based on Gödel's published and non-published texts (including Max Phil notebooks), and are established on the ground of interconnections of Gödel's dispersed remarks on causality, as well as on the ground of his general philosophical views. The paper is logically informal but is connected with already achieved results in the formalization of a causal account of Gödel's onto-theological theory. Gödel's main causal concepts are analysed (will, force, enjoyment, God, time and space, life, form, matter). Special attention is paid to a possible causal account of some of Gödel's logical concepts (assertion, privation, affirmation, negation, whole, part, general, particular, subject, predicate, necessary, possible, implication), as well as of logical antinomies. The problem of mechanical and non-mechanical procedures in the work with and on concepts is addressed in terms of Gödel's causal view.

Zlatko Posavac is one of the most thorough and deepest experts on Croatian cultural history, with a focus on aesthetics both as a theory and as realized in artistic practice. On the basis of his improved factography, he examines aesthetic phenomena through the model of meaningful-stylistic structures and epochal change. As one of the fundamental phenomena, he highlights the "prevention of free transmission of tradition" (silencing, falsifying, expulsion of truth). He introduces significant structural shifts in cultural-historical periodization.

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.

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

We claim that Kant's doctrine of the "transcendental ideal of pure reason" contains, in an anticipatory sense, a second-order theory of reality (as a second-order property) and of the highest being. Such a theory, as reconstructed in this paper, is a transformation of Kant's metatheoretical regulative and heuristic presuppositions of empirical theories into a hypothetical ontotheology. We show that this metaphysical theory, in distinction to Descartes' and Leibniz's ontotheology, in many aspects resembles Gödel's theoretical conception of the possibility of a supreme being. The proposed second-order modal formalization of the Kantian doctrine of the "transcendental ideal" of the supreme being includes some specific features of Kantian general logic like "categorical", "hypothetical", and exclusive disjunctive propositions as basic forms.

It is shown, first, that Georgius Benignus [Juraj Dragišić, ca 1445-1520] at the end of the 15th century almost fully disposed with the theory of the fourth syllogistic figure. Prantl's view on Benignus' logic is critically examined. Besides, Benignus' doctrines on the supposition of terms and logical consequences are examined with respect to his two versions of logic (1488/1489 and 1519) and to the main influences (e.g., Strodus, Paulus Venetus, Ferebrich, Paulus Pergolensis). A reduction of the rules of consequences of Benignus' logic 1488/1489 to the rules of logic 1519 is reconstructed. Benignus rejects the reasoning ex impossible quodlibet and e quolibet necessarium in what he defines as material consequences.

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.

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

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.

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.

[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_.

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

We approach the traditional problem of the relationship between opinion and truth, objects and appearances, from the standpoint and tools of logic of belief, combining an informal and technical approach. We describe and comment on some logics of individual concepts and modes of representation, and address the question of how to explain the possibility of a contradictory de re belief integrated with the corresponding non-contradictory de dicto belief. The QB logic is proposed, where the semantic problem is resolved (1) by extending the framework and model domain with the domain of appearances, with a special S-accessibility relation among worlds, and with non-rigid interpretation of appearance names, as well as (2) redefining the concept of satisfaction (and truth), including the satisfaction of identity statements, by relativizing satisfaction to the difference between things and appearances and to the S-accessibility of different epistemic alternatives. In doing so, all worlds are classical within themselves, while inconsistency and incompleteness in beliefs stem from different ways of connecting (merging and separating) worlds in determining the satisfaction of a formula.