Dans le présent article, on analyse l’assertion, avancée par Jan Łukasiewicz, que la véracité ou la fausseté des propositions portant sur les événements futurs contingents implique le déterminisme. Pour éviter le déterminisme, il faut, selon Łukasiewicz, rejeter la logique classique (binaire) et remplacer cette logique par la logique polyvalente (trivalente). La conception défendue par Łukasiewicz est examinée en rapport avec la thèse proposée par Susan Haack, selon laquelle la véracité des propositions portant sur les événements futurs n’implique aucun déterminisme. Dans (...) l’article, je démontre que le point de vue de Susan Haack est erroné, car elle ne prend pas en considération toutes les prémisses admises par Łukasiewicz. La prémisse la plus importante concerne la sémantique des verbes du futur. Or, j’essaie de prouver que Łukasiewicz s’appuie sur la sémantique dite peircienne et non ockhamienne. J’essaie de prouver que si on prend en considération la prémisse concernant les verbes du futur, le raisonnement qui a mené Jan Łukasiewicz à créer la logique trivalente s’avère correct.Dans la dernière partie de l’article, je signale que la logique trivalente proposée par Łukasiewicz pose certaines difficultés et je postule la nécessité de trouver, dans l’avenir, une autre solution du problème de la valeur logique des phrases sur le futur. (shrink)

Dans le présent article, on analyse l’assertion, avancée par Jan Łukasiewicz, que la véracité ou la fausseté des propositions portant sur les événements futurs contingents implique le déterminisme. Pour éviter le déterminisme, il faut, selon Łukasiewicz, rejeter la logique classique (binaire) et remplacer cette logique par la logique polyvalente (trivalente). La conception défendue par Łukasiewicz est examinée en rapport avec la thèse proposée par Susan Haack, selon laquelle la véracité des propositions portant sur les événements futurs n’implique aucun déterminisme. Dans (...) l’article, je démontre que le point de vue de Susan Haack est erroné, car elle ne prend pas en considération toutes les prémisses admises par Łukasiewicz. La prémisse la plus importante concerne la sémantique des verbes du futur. Or, j’essaie de prouver que Łukasiewicz s’appuie sur la sémantique dite peircienne et non ockhamienne. J’essaie de prouver que si on prend en considération la prémisse concernant les verbes du futur, le raisonnement qui a mené Jan Łukasiewicz à créer la logique trivalente s’avère correct.Dans la dernière partie de l’article, je signale que la logique trivalente proposée par Łukasiewicz pose certaines difficultés et je postule la nécessité de trouver, dans l’avenir, une autre solution du problème de la valeur logique des phrases sur le futur. (shrink)

W artykule rozważam sformułowaną przez Jacka Wojtysiaka krytykę probabilistycznego argumentu z istnienia wielkiego faktu zła za nieistnieniem Boga. Sugeruję, że proponowana przez J. Wojtysiaka krytyka tego argumentu powinna zostać zmodyfikowana w taki sposób, aby nie prowadziła ona do wniosku, że Bóg jest przyczyną zła. Proponuję korektę dotycząca koncepcji Bożej przyczynowości. Wskazuję również na inny sposób osłabienia argumentu probabilistycznego ze zła niż ten wybrany przez J. Wojtysiaka. Proponuję podważyć przesłankę głoszącą, że zło istnieje, przy założeniu naturalizmu. Sygnalizuję krótko trudności naturalistycznego realizmu (...) moralnego i wskazuję na ewolucyjne argumenty podważające moralny realizm. W kontekście tych trudności rozważam stanowisko Paula Drapera, pioniera probabilistycznego (Baysowskiego) argumentu ze zła za ateizmem, i staram się pokazać niektóre słabości jego poglądów. Następnie formułuję teistyczny argument dedukcyjny z istnienia zła i sugeruję, że ze względu na prostotę należy preferować argumentację dedukcyjną, a nie probabilistyczną na rzecz teizmu. (shrink)

This paper explores allowing truth value assignments to be undetermined or "partial" and overdetermined or "inconsistent", thus returning to an investigation of the four-valued semantics that I initiated in the sixties. I examine some natural consequence relations and show how they are related to existing logics, including ukasiewicz's three-valued logic, Kleene's three-valued logic, Anderson and Belnap's relevant entailments, Priest's "Logic of Paradox", and the first-degree fragment of the Dunn-McCall system "R-mingle". None of these systems have nested implications, and I (...) investigate twelve natural extensions containing nested implications, all of which can be viewed as coming from natural variations on Kripke's semantics for intuitionistic logic. Many of these logics exist antecedently in the literature, in particular Nelson 's "constructible falsity". (shrink)

Condensed detachment is usually regarded as a notation, and defined by example. In this paper it is regarded as a rule of inference, and rigorously defined with the help of the Unification Theorem of J. A. Robinson. Historically, however, the invention of condensed detachment by C. A. Meredith preceded Robinson's studies of unification. It is argued that Meredith's ideas deserve recognition in the history of unification, and the possibility that Meredith was influenced, through ukasiewicz, by ideas of Tarski going (...) back at least to 1939, and possibly to 1930 or earlier, is discussed. It is proved that a term is derivable by substitution and ordinary detachment from given axioms if and only if it is a substitution instance of a term which is derivable from these axioms by condensed detachment, and it is shown how this theorem enables the ideas of ukasiewicz and Tarski mentioned above to be formalized and extended. Finally, it is shown how condensed detachment may be subsumed within the resolution principle of J. A. Robinson, and several computer studies of particular Hilbert-type propositional calculi using programs based on condensed detachment or on resolution are briefly discussed. (shrink)

An alternative notion of an existential quantifier on four-valued Łukasiewicz algebras is introduced. The class of four-valued Łukasiewicz algebras endowed with this existential quantifier determines a variety which is denoted by \. It is shown that the alternative existential quantifier is interdefinable with the standard existential quantifier on a four-valued Łukasiewicz algebra. Some connections between the new existential quantifier and the existential quantifiers defined on bounded distributive lattices and Boolean algebras are given. Finally, a completeness theorem for the monadic four-valued (...) Łukasiewicz predicate calculus corresponding to the dual of the alternative existential quantifier is proven. (shrink)

Łukasiewicz 3-valued logic Ł3 is often understood as the set of all valid formulas according to Łukasiewicz 3-valued matrices MŁ3. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: ‘truth-preserving’ Ł3a and ‘well-determined’ Ł3b defined by two different consequence relations on the 3-valued matrices MŁ3. The aim of this article is to provide a Routley–Meyer ternary semantics for each one of these three versions of Łukasiewicz 3-valued logic: Ł3, Ł3a and Ł3b.

Łukasiewicz’s infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Łukasiewicz algebra on the unit real interval. In the literature a deductive system axiomatized in a Hilbert style was associated to it, and was later shown to be semantically defined from Łukasiewicz algebra by using a “truth-preserving” scheme. This deductive system is algebraizable, non-selfextensional and does not satisfy the deduction theorem. In addition, there exists no Gentzen calculus fully adequate (...) for it. Another presentation of the same deductive system can be obtained from a substructural Gentzen calculus. In this paper we use the framework of abstract algebraic logic to study a different deductive system which uses the aforementioned algebra under a scheme of “preservation of degrees of truth”. We characterize the resulting deductive system in a natural way by using the lattice filters of Wajsberg algebras, and also by using a structural Gentzen calculus, which is shown to be fully adequate for it. This logic is an interesting example for the general theory: it is selfextensional, non-protoalgebraic, and satisfies a “graded” deduction theorem. Moreover, the Gentzen system is algebraizable. The first deductive system mentioned turns out to be the extension of the second by the rule of Modus Ponens. (shrink)

A categorical, higher dimensional algebra and generalized topos framework for Łukasiewicz–Moisil Algebraic–Logic models of non-linear dynamics in complex functional genomes and cell interactomes is proposed. Łukasiewicz–Moisil Algebraic–Logic models of neural, genetic and neoplastic cell networks, as well as signaling pathways in cells are formulated in terms of non-linear dynamic systems with n-state components that allow for the generalization of previous logical models of both genetic activities and neural networks. An algebraic formulation of variable ‘next-state functions’ is extended to a Łukasiewicz–Moisil (...) Topos with an n-valued Łukasiewicz–Moisil Algebraic Logic subobject classifier description that represents non-random and non-linear network activities as well as their transformations in developmental processes and carcinogenesis. The unification of the theories of organismic sets, molecular sets and Robert Rosen’s (M,R)-systems is also considered here in terms of natural transformations of organismal structures which generate higher dimensional algebras based on consistent axioms, thus avoiding well known logical paradoxes occurring with sets. Quantum bionetworks, such as quantum neural nets and quantum genetic networks, are also discussed and their underlying, non-commutative quantum logics are considered in the context of an emerging Quantum Relational Biology. (shrink)

A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational structures that (...) emerge from the latter in living systems. Thus, several relational theories of living systems can be represented by natural transformations of organismic, relational structures. The ascent of man and other living organisms through adaptation, is viewed in novel categorical terms, such as variable biogroupoid representations of evolving species. Such precise but flexible evolutionary concepts will allow the further development of the unifying theme of local-to-global approaches to highly complex systems in order to represent novel patterns of relations that emerge in super- and ultra-complex systems in terms of compositions of local procedures. Solutions to such local-to-global problems in highly complex systems with ‘broken symmetry’ might be possible to be reached with the help of higher homotopy theorems in algebraic topology such as the generalized van Kampen theorems (HHvKT). Categories of many-valued, Łukasiewicz-Moisil (LM) logic algebras provide useful concepts for representing the intrinsic dynamic ‘asymmetry’ of genetic networks in organismic development and evolution, as well as to derive novel results for (non-commutative) Quantum Logics. Furthermore, as recently pointed out by Baianu and Poli (Theory and applications of ontology, vol 1. Springer, Berlin, in press), LM-logic algebras may also provide the appropriate framework for future developments of the ontological theory of levels with its complex/entangled/intertwined ramifications in psychology, sociology and ecology. As shown in the preceding two papers in this issue, a paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics—which is presently unfolding in physics, mathematics, life and cognitive sciences—may be implemented through realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics. (shrink)

In this note we present a three-valued intensional logic, which is an extension of both Montague's intensional logic and ukasiewicz three-valued logic. Our system is obtained by adapting Gallin's version of intensional logic (see Gallin, D., Intensional and Higher-order Modal Logic). Here we give only the necessary modifications to the latter. An acquaintance with Gallin's work is pressuposed.

In this paper we study some questions concerning Łukasiewicz implication algebras. In particular, we show that every subquasivariety of Łukasiewicz implication algebras is, in fact, a variety. We also derive some characterizations of congruence permutable algebras. The starting point for these results is a representation of finite Łukasiewicz implication algebras as upwardly-closed subsets in direct products of MV-chains.

In this paper we study some questions concerning Łukasiewicz implication algebras. In particular, we show that every subquasivariety of Łukasiewicz implication algebras is, in fact, a variety. We also derive some characterizations of congruence permutable algebras. The starting point for these results is a representation of finite Łukasiewicz implication algebras as upwardly-closed subsets in direct products of MV-chains.

A novel conceptual framework is introduced for the Complexity Levels Theory in a Categorical Ontology of Space and Time. This conceptual and formal construction is intended for ontological studies of Emergent Biosystems, Super-complex Dynamics, Evolution and Human Consciousness. A claim is defended concerning the universal representation of an item’s essence in categorical terms. As an essential example, relational structures of living organisms are well represented by applying the important categorical concept of natural transformations to biomolecular reactions and relational structures that (...) emerge from the latter in living systems. Thus, several relational theories of living systems can be represented by natural transformations of organismic, relational structures. The ascent of man and other living organisms through adaptation, is viewed in novel categorical terms, such as variable biogroupoid representations of evolving species. Such precise but flexible evolutionary concepts will allow the further development of the unifying theme of local-to-global approaches to highly complex systems in order to represent novel patterns of relations that emerge in super- and ultra-complex systems in terms of compositions of local procedures. Solutions to such local-to-global problems in highly complex systems with ‘broken symmetry’ might be possible to be reached with the help of higher homotopy theorems in algebraic topology such as the generalized van Kampen theorems (HHvKT). Categories of many-valued, Łukasiewicz-Moisil (LM) logic algebras provide useful concepts for representing the intrinsic dynamic ‘asymmetry’ of genetic networks in organismic development and evolution, as well as to derive novel results for (non-commutative) Quantum Logics. Furthermore, as recently pointed out by Baianu and Poli (Theory and applications of ontology, vol 1. Springer, Berlin, in press), LM-logic algebras may also provide the appropriate framework for future developments of the ontological theory of levels with its complex/entangled/intertwined ramifications in psychology, sociology and ecology. As shown in the preceding two papers in this issue, a paradigm shift towards non-commutative, or non-Abelian, theories of highly complex dynamics—which is presently unfolding in physics, mathematics, life and cognitive sciences—may be implemented through realizations of higher dimensional algebras in neurosciences and psychology, as well as in human genomics, bioinformatics and interactomics. (shrink)

Łukasiewicz implication algebras are the {→,1}-subreducts of MV- algebras. They are the algebraic counterpart of Super-Łukasiewicz Implicational Logics investigated in Komori (Nogoya Math J 72:127–133, 1978). In this paper we give a description of free Łukasiewicz implication algebras in the context of McNaughton functions. More precisely, we show that the |X|-free Łukasiewicz implication algebra is isomorphic to ${\bigcup_{x\in X} [x_\theta)}$ for a certain congruence θ over the |X|-free MV-algebra. As corollary we describe the free algebras in all subvarieties of Łukasiewicz (...) implication algebras. (shrink)

AbstractŁukasiewicz implication algebras are the {→,1}-subreducts of MV- algebras. They are the algebraic counterpart of Super-Łukasiewicz Implicational Logics investigated in Komori (Nogoya Math J 72:127–133, 1978). In this paper we give a description of free Łukasiewicz implication algebras in the context of McNaughton functions. More precisely, we show that the |X|-free Łukasiewicz implication algebra is isomorphic to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\bigcup_{x\in X} [x_\theta)}$$\end{document} for a certain congruence θ over the |X|-free MV-algebra. As corollary we (...) describe the free algebras in all subvarieties of Łukasiewicz implication algebras. (shrink)

In recent times there has been a shift in the interpretation of Aristotle’s logic. Many researchers have pointed out that the concept of existential import appears in Aristotle’s logic and philosophy, and that Aristotle worked with the concept of empty terms although his concept differs from that which is used in modern logic. Additionally, his search for the “culprits” of old and incorrect interpretation has been tied to the development of modern interpretation. Apart from the traditional concept of the logical (...) square and syllogistics, where the assumption of non-emptiness of terms was widely used, J. L. Łukasiewicz is also labeled as an offender. This article tries to show that Łukasiewicz was aware that Aristotle was also dealing with empty terms. His restriction of syllogistics to only non-empty terms therefore differs significantly from the approach of traditional logicians. (shrink)

Łukasiewicz implication algebras are {→,1}-subreducts of Wajsberg algebras (MV-algebras). They are the algebraic counterpart of Super-Łukasiewicz Implicational logics investigated in Komori, Nogoya Math J 72:127–133, 1978. The aim of this paper is to study the direct decomposability of free Łukasiewicz implication algebras. We show that freely generated algebras are directly indecomposable. We also study the direct decomposability in free algebras of all its proper subvarieties and show that infinitely freely generated algebras are indecomposable, while finitely free generated algebras can be (...) only decomposed into a direct product of two factors, one of which is the two-element implication algebra. (shrink)

AbstractŁukasiewicz implication algebras are {→,1}-subreducts of Wajsberg algebras (MV-algebras). They are the algebraic counterpart of Super-Łukasiewicz Implicational logics investigated in Komori, Nogoya Math J 72:127–133, 1978. The aim of this paper is to study the direct decomposability of free Łukasiewicz implication algebras. We show that freely generated algebras are directly indecomposable. We also study the direct decomposability in free algebras of all its proper subvarieties and show that infinitely freely generated algebras are indecomposable, while finitely free generated algebras can be (...) only decomposed into a direct product of two factors, one of which is the two-element implication algebra. (shrink)

Formal aspects of various ways of description of Jan Łukasiewicz’s four-valued modal logic £ are discussed. The original Łukasiewicz’s description by means of the accepted and rejected theorems, together with the four-valued matrix, is presented. Then the improved E.J. Lemmon’s description based upon three specific axioms, together with the relational semantics, is presented as well. It is proved that Lemmon’s axiomatic is not independent: one axiom is derivable on the base of the remanent two. Several axiomatizations, based on three, two (...) or one single axiom are provided and discussed, including S. Kripke’s axiomatics. It is claimed that (a) all substitutions of classical theorems, (b) the rule of modus ponens, (c) the definition of “◊” and (d) the single specific axiom schema: ⬜A ∧ B → A ∧ ⬜B, called the jumping necessity axiom, constitute an elegant axiomatics of the system £. (shrink)

The logic BN4 was defined by R.T. Brady as a four-valued extension of Routley and Meyer’s basic logic B. The system EF4 is defined as a companion to BN4 to represent the four-valued system of implication. The system Ł was defined by J. Łukasiewicz and it is a four-valued modal logic that validates what is known as strong Łukasiewicz-type modal paradoxes. The systems EF4-M and EF4-Ł are defined as alternatives to Ł without modal paradoxes. This paper aims to define a (...) Belnap-Dunn semantics for EF4, EF4-M and EF4-Ł. It is shown that EF4, EF4-M and EF4-Ł are strongly sound and complete w.r.t. their respective semantics and that EF4-M and EF4-Ł are free from strong Łukasiewicz-type modal paradoxes. (shrink)

Les Premiers Analytiques sont pour Lukasiewicz un livre de logique et non de philosophie. Il dit meme que cet ouvrage de pure logique ne contient aucune contamination philosophique. Mais cela ne veut pas dire qu'il n'a rien a apprendre aux philosophes et aux metaphysiciens sur les formalismes et sur les modalites. Comme le dit Lukasiewicz: Il reste encore des philosophes en activite auxquels il ne serait peut-etre pas impossible de suggerer qu'ils devraient acquerir une bonne connaissance de la logique dite (...) mathematique avant de traiter de la logique et de son histoire; ils eviteraient ainsi de perdre leur temps, leurs lecteurs de meme, ce qui n'est peut-etre pas denue d'importance pratique. Lukasiewicz est l'un des philosophes de l'Ecole de Lvov-Varsovie, courant philosophique majeur du XXe siecle. Son premier livre portait sur le principe de contradiction chez Aristote. Il en montrait l'importance, mais aussi la fragilite logique. Son dernier livre, consacre a la syllogistique, une partie de la logique, porte de nouveau sur Aristote. Pour peu qu'elle n'ignore pas Frege, les matrices logiques de Peirce, les Principia Mathematica de Russell et Whitehead ainsi que les apports considerables des logiciens polonais, comme Lesniewski, Sfupecki, et Lukasiewicz lui-meme, l'histoire de la logique, et en l'occurrence l'etude des Premiers Analytiques, constitue une voie d'acces privilegiee pour comprendre ce que sont les formalismes. (shrink)

The brief article of 1910 which is translated here is, as the prefatory note explains, significant for understanding both the way in which ?ukasiewicz came to many-valued logic and the influences under which he stood at the time.

Bolzano's theodicy is a very good example of Platonism in the philosophy of religion. Above all, Bolzano believes that there obtains an ideal realm of truths in themselves and mathematical objects, which are independent of God. Therefore, we are allowed to conclude that God is only a contractor; true, more powerful than Plato's demiurge because He created substances and sustains them in existence, but God must follow a project which is independent of Him. Since the world is determined, by the (...) program and God follows the program, then in fact the program is a god, or better, there is no God. Bolzano's project is not related to God's essence, since it is external to God, and is not made by God. Thus, Bolzano's theodicy is also the absolute opposite of the Cartesian theodicy. God in the Cartesian theodicy can change all rules, all scientific laws and, in consequence, He can create any world He wants. Bolzano's God cannot change anything and cannot create a different world than the world determined by the project, a world different than the one He has created. The responsibility of Bolzano's God for the evil in the world is limited by the project of the world. (shrink)

Consequence is at the heart of logic, and an account of consequence offers a vital tool in the evaluation of arguments. This text presents what the authors term as 'logical pluralism' arguing that the notion of logical consequence doesn't pin down one deductive consequence relation; it allows for many of them.

In the twentieth century, many contemporary epistemologists in the analytic tradition have entered into debate regarding the right to belief with new tools: Richard Swinburne, Anthony Kenny, Alvin Plantinga, Nicholas Wolterstorff, Peter van Inwagen defend or contest the requirement of evidence for any justified belief. The best things we can do, it seems, is to examine more attentively the true notion of "right to believe," especially about religious matters. This is exactly what the contributors in this book do.