Results for 'LUKASIEWICZ'

21 found
Order:
  1. Maximality in Finite-Valued Lukasiewicz Logics Defined by Order Filters.Marcelo E. Coniglio, Francesc Esteva, Joan Gispert & Lluis Godo - 2019 - Journal of Logic and Computation 29 (1):125-156.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  14
    Initiatives in the Sharing Economy Scheme: The Case of Poland.Agnieszka Lukasiewicz & Aleksandra Nadolska - 2021 - In Andrzej Klimczuk, Vida Česnuitytė & Gabriela Avram (eds.), The Collaborative Economy in Action: European Perspectives. University of Limerick. pp. 237-249.
    In the chapter, there is an analysis of sharing economy development in Poland. It concerns both the big players on the market like the most known Airbnb and Uber, as well as smaller, local initiatives, flourishing especially in the food sector. Sharing economy is not a normative concept and is defined differently depending on the subject to which it refers. However, the significance of the phenomenon is rising rapidly from year to year. Moreover, sharing economy brings many opportunities but also (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Curry’s Paradox and Ω -Inconsistency.Andrew Bacon - 2013 - Studia Logica 101 (1):1-9.
    In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic which (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  4. ARISTOTELIAN LOGIC AND EUCLIDEAN GEOMETRY.John Corcoran - 2014 - Bulletin of Symbolic Logic 20 (1):131-2.
    John Corcoran and George Boger. Aristotelian logic and Euclidean geometry. Bulletin of Symbolic Logic. 20 (2014) 131. -/- By an Aristotelian logic we mean any system of direct and indirect deductions, chains of reasoning linking conclusions to premises—complete syllogisms, to use Aristotle’s phrase—1) intended to show that their conclusions follow logically from their respective premises and 2) resembling those in Aristotle’s Prior Analytics. Such systems presuppose existence of cases where it is not obvious that the conclusion follows from the premises: (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. JUNE 2015 UPDATE: A BIBLIOGRAPHY: JOHN CORCORAN's PUBLICATIONS ON ARISTOTLE 1972–2015.John Corcoran - manuscript
    JUNE 2015 UPDATE: A BIBLIOGRAPHY: JOHN CORCORAN’S PUBLICATIONS ON ARISTOTLE 1972–2015 By John Corcoran -/- This presentation includes a complete bibliography of John Corcoran’s publications relevant to his research on Aristotle’s logic. Sections I, II, III, and IV list 21 articles, 44 abstracts, 3 books, and 11 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article from Corcoran’s Philadelphia period that antedates his Aristotle studies and the Journal of Symbolic Logic article from his (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. The Real Truth About the Unreal Future.Rachael Briggs & Graeme A. Forbes - 2012 - In Karen Bennett & Dean Zimmerman (eds.), Oxford Studies in Metaphysics, volume 7.
    Growing-Block theorists hold that past and present things are real, while future things do not yet exist. This generates a puzzle: how can Growing-Block theorists explain the fact that some sentences about the future appear to be true? Briggs and Forbes develop a modal ersatzist framework, on which the concrete actual world is associated with a branching-time structure of ersatz possible worlds. They then show how this branching structure might be used to determine the truth values of future contingents. They (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  7. Refutation Systems in Modal Logic.Valentin Goranko - 1994 - Studia Logica 53 (2):299 - 324.
    Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  8. Aristotle's Natural Deduction System.John Corcoran - 1974 - In Ancient Logic and its Modern Interpretations. Boston: Reidel. pp. 85--131.
    This presentation of Aristotle's natural deduction system supplements earlier presentations and gives more historical evidence. Some fine-tunings resulted from conversations with Timothy Smiley, Charles Kahn, Josiah Gould, John Kearns,John Glanvillle, and William Parry.The criticism of Aristotle's theory of propositions found at the end of this 1974 presentation was retracted in Corcoran's 2009 HPL article "Aristotle's demonstrative logic".
    Download  
     
    Export citation  
     
    Bookmark   45 citations  
  9.  52
    Proving Unprovability in Some Normal Modal Logics.Valentin Goranko - 1991 - Bulletin of the Section of Logic 20 (1):23-29.
    This note considers deductive systems for the operator a of unprovability in some particular propositional normal modal logics. We give thus complete syntactic characterization of these logics in the sense of Lukasiewicz: for every formula  either `  or a  (but not both) is derivable. In particular, purely syntactic decision procedure is provided for the logics under considerations.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  10. A Mathematical Model of Aristotle’s Syllogistic.John Corcoran - 1973 - Archiv für Geschichte der Philosophie 55 (2):191-219.
    In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. Several (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  11.  13
    On the Expressive Power of Łukasiewicz Square Operator.Marcelo E. Coniglio, Francesc Esteva, Tommaso Flaminio & Lluis Godo - forthcoming - Journal of Logic and Computation.
    The aim of the paper is to analyze the expressive power of the square operator of Łukasiewicz logic: ∗x=x⊙x⁠, where ⊙ is the strong Łukasiewicz conjunction. In particular, we aim at understanding and characterizing those cases in which the square operator is enough to construct a finite MV-chain from a finite totally ordered set endowed with an involutive negation. The first of our main results shows that, indeed, the whole structure of MV-chain can be reconstructed from the involution and the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. The Contemporary Relevance of Ancient Logical Theory.John Corcoran - 1982 - Philosophical Quarterly 32 (126):76.
    This interesting and imaginative monograph is based on the author’s PhD dissertation supervised by Saul Kripke. It is dedicated to Timothy Smiley, whose interpretation of PRIOR ANALYTICS informs its approach. As suggested by its title, this short work demonstrates conclusively that Aristotle’s syllogistic is a suitable vehicle for fruitful discussion of contemporary issues in logical theory. Aristotle’s syllogistic is represented by Corcoran’s 1972 reconstruction. The review studies Lear’s treatment of Aristotle’s logic, his appreciation of the Corcoran-Smiley paradigm, and his understanding (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  13. Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação).Tomás Barrero - 2004 - Dissertation, Universidade Estadual de Campinas
    This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive com- pleteness method proposed by Leon Henkin for classical fragments endowed with implication, and advance some reasons explaining what makes difficult to extend this constructive (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  14.  82
    A Natural Negation Completion of Urquhart's Many-Valued Logic C.José M. Mendez & Francisco Salto - 1998 - Journal of Philosophical Logic 27 (1):75-84.
    Etude de l'extension par la negation semi-intuitionniste de la logique positive des propositions appelee logique C, developpee par A. Urquhart afin de definir une semantique relationnelle valable pour la logique des valeurs infinies de Lukasiewicz (Lw). Evitant les axiomes de contraction et de reduction propres a la logique classique de Dummett, l'A. propose une semantique de type Routley-Meyer pour le systeme d'Urquhart (CI) en tant que celle-la ne fournit que des theories consistantes pour la completude de celui-ci.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. A BIBLIOGRAPHY: JOHN CORCORAN's PUBLICATIONS ON ARISTOTLE 1972–2015.John Corcoran - manuscript
    This presentation includes a complete bibliography of John Corcoran’s publications devoted at least in part to Aristotle’s logic. Sections I–IV list 20 articles, 43 abstracts, 3 books, and 10 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article that antedates Corcoran’s Aristotle’s studies and the Journal of Symbolic Logic article first reporting his original results; it ends with works published in 2015. A few of the items are annotated with endnotes connecting them with (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. The Collaborative Economy in Action: European Perspectives.Andrzej Klimczuk, Vida Česnuitytė & Gabriela Avram (eds.) - 2021 - Limerick: University of Limerick.
    The book titled The Collaborative Economy in Action: European Perspectives is one of the important outcomes of the COST Action CA16121, From Sharing to Caring: Examining the Socio-Technical Aspects of the Collaborative Economy that was active between March 2017 and September 2021. The Action was funded by the European Cooperation in Science and Technology - COST. The main objective of the COST Action Sharing and Caring is the development of a European network of researchers and practitioners interested in investigating the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Psychologism And Its History Revalued.Kevin Mulligan - 2009 - Swiss Philosophical Preprints.
    A hundred years ago Frege had published most of his arguments against psychologism and Husserl was busy writing his Logical Investigations, which was to appear at the turn of the century and open with a long onslaught on psychologism. The arguments of these two logicians against the psychologistic view - of Mill, Erdmann and many others - that the discipline of logic, its sentences, or its "laws", deal with psychological phenomena met with widespread approval from those best qualified to judge (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Zur Formulierung prädikativer Aussagen in den logischen Schriften des Aristoteles.Theodor Ebert - 1977 - Phronesis 22 (2):123 - 145.
    Why does Aristotle not use the copulative wording for categorical propositions, but instead the clumsier terminological formulations (e. g. the B belongs to every A) in his syllogistic? The proposed explanations by Alexander, Lukasiewicz and Patzig: Aristotle wants to make clear the difference between subject and predicate, seems to be insufficient. In quantified categorical propositions, this difference is always sufficiently clear by the use of the pronouns going with the subject expressions. Aristotle opts for the terminological wording because in (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Ancient Logic and its Modern Interpretations: Proceedings of the Buffalo Symposium on Modernist Interpretations of Ancient Logic, 21 and 22 April, 1972. [REVIEW]John Corcoran (ed.) - 1974 - Dordrecht and Boston: Reidel.
    Articles by Ian Mueller, Ronald Zirin, Norman Kretzmann, John Corcoran, John Mulhern, Mary Mulhern,Josiah Gould, and others. Topics: Aristotle's Syllogistic, Stoic Logic, Modern Research in Ancient Logic.
    Download  
     
    Export citation  
     
    Bookmark  
  20. Review of Striker Translation of Aristotle's PRIOR ANALYTICS. [REVIEW]John Corcoran - 2010 - Notre Dame Philosophical Reviews:1-13.
    This review places this translation and commentary on Book A of Prior Analytics in historical, logical, and philosophical perspective. In particular, it details the author’s positions on current controversies. The author of this translation and commentary is a prolific and respected scholar, a leading figure in a large and still rapidly growing area of scholarship: Prior Analytics studies PAS. PAS treats many aspects of Aristotle’s Prior Analytics: historical context, previous writings that influenced it, preservation and transmission of its manuscripts, editions (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. SEPTEMBER 2015 UPDATE CORCORAN ARISTOTLE BIBLIOGRAPHY.John Corcoran - forthcoming - Aporia 5.
    This presentation includes a complete bibliography of John Corcoran’s publications relevant on Aristotle’s logic. The Sections I, II, III, and IV list respectively 23 articles, 44 abstracts, 3 books, and 11 reviews. Section I starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article—from Corcoran’s Philadelphia period that antedates his discovery of Aristotle’s natural deduction system—and the Journal of Symbolic Logic article—from his Buffalo period first reporting his original results. It ends with works published in 2015. (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark