Logics

Edited by Shay Logan (Kansas State University)
Related

Contents
19027 found
Order:
1 — 50 / 19027
Material to categorize
  1. Impossibilities without impossibilia.Bjørn Jespersen, Marie Duží & Massimiliano Carrara - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    Circumstantialists already have a logical semantics for impossibilities. They expand their logical space of possible worlds by adding impossible worlds. These are impossible circumstances serving as indices of evaluation, at which impossibilities are true. A variant of circumstantialism, namely modal Meinongianism (noneism), adds impossible objects as well. These are so-called incomplete objects that are necessarily non-existent. The opposite of circumstantialism, namely structuralism, has some catching-up to do. What might a structuralist logical semantics for impossibilities without impossibilia look like? This paper (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. Focussed Issue of The Reasoner on Infinitary Reasoning.A. C. Paseau & Owen Griffiths (eds.) - 2022
    A focussed issue of The Reasoner on the topic of 'Infinitary Reasoning'. Owen Griffiths and A.C. Paseau were the guest editors.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. Ancestral Links.A. C. Paseau - 2022 - The Reasoner 16 (7):55-56.
    This short article discusses the fact that the word ‘ancestor’ features in certain arguments that a) are apparently logically valid, b) contain infinitely many premises, and c) are such that none of their finite sub-arguments are logically valid. The article's aim is to motivate, within its brief compass, the study of infinitary logics.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  4. Categorical Quantification.Constantin C. Brîncuș - forthcoming - Bulletin of Symbolic Logic:1-27.
    Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. Asclepius of Tralles’ Infinite Regress Argument Against the Generation of Forms in Aristotle’s Met. Z 8 1033a34-1033b5.Marilù Papandreou - 2023 - Philosophie Antique 23 (23):63-88.
    In Metaphysics Z 8 Aristotle offers an infinite regress argument to deny that forms come to be. Briefly put, the argument states that, if we assume that every time an x composed of matter (m1) and form (f1) comes to be, f1 also comes to be, then there would be infinitely many xs coming to be – for f1 would itself be a compound, if it comes to be, and the same reasoning would in turn apply to it. This argument (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6. Hoare Logic-Based Genetic Programming.Pei He, LiShan Kang, Colin G. Johnson & Shi Ying - 2011 - Science China Information Sciences 54 (3):623-637.
    Almost all existing genetic programming systems deal with fitness evaluation solely by testing. In this paper, by contrast, we present an original approach that combines genetic programming with Hoare logic with the aid of model checking and finite state automata, henceby proposing a brand new verification-focused formal genetic programming system that makes it possible to evolve reliable programs with mathematicallyverified properties.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Allowed, or enabled, that is the question.Giovanni Sileno, Matteo Pascucci & Réka Markovich - 2023 - In Juliano Maranhao, Clayton Peterson, Christian Straßer & Leendert Van der Torre (eds.), DEON 2023. College Publications. pp. 297-317.
    The formal analysis of normative systems has traditionally focused on their deontic dimension rather than on their potestative dimension; yet, a growing amount of works aims at shedding light on the notion of power, its norm changing potential and its general interactions with deontic concepts. The present article contributes to this line of inquiry by adopting the following perspective: a normative system can be metaphorically seen as an agent that allocates abilities (powers) in order to promote the fulfillment of certain (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  8. ¿Existen las Máquinas Aceleradas de Turing? Paradojas y posibilidades lógicas.Jose Alejandro Fernández Cuesta - 2023 - Techno Review. International Technology, Science and Society Review 13 (1):49.74.
    Las máquinas aceleradas de Turing (ATMs) son dispositivos capaces de ejecutar súper-tareas. Sin embargo, el simple ejercicio de definirlas ha generado varias paradojas. En el presente artículo se definirán las nociones de súper-tarea y ATM de manera exhaustiva y se aclarará qué debe entenderse en un contexto lógico-formal cuando se pregunta por la existencia de un objeto. A partir de la distinción entre posibilidades lógicas y físicas se disolverán las paradojas y se concluirá que las ATMs son posibles y existen (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  9. How Can Christian Philosophers Improve Their Arguments?Marcin Będkowski & Jakub Pruś - 2023 - Forum Philosophicum: International Journal for Philosophy 28 (1):63-83.
    The purpose of this paper is to analyse and compare two concepts which tend to be treated as synonymous, and to show the difference between them: these are critical thinking and logical culture. Firstly, we try to show that these cannot be considered identical or strictly equivalent: i.e. that the concept of logical culture includes more than just critical thinking skills. Secondly, we try to show that Christian philosophers, when arguing about philosophical matters and teaching philosophy to students, should not (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Inferentialism.Julien Murzi & Florian Steinberger - 2017 - In Bob Hale, Crispin Wright & Alexander Miller (eds.), A Companion to the Philosophy of Language. Chichester, UK: Wiley. pp. 197–224.
    This chapter introduces inferential role semantics (IRS) and some of the challenges it faces. It also introduces inferentialism and places it into the wider context of contemporary philosophy of language. The chapter focuses on what is standardly considered both the most important test case for and the most natural application of IRS: logical inferentialism, the view that the meanings of the logical expressions are fully determined by the basic rules for their correct use, and that to understand a logical expression (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  11. Sesat Pikir Argumen Berbasis Kapasitas untuk IISMA.Raisa Rahima - 2023 - Antinomi.Org.
    Artikel ini hendak membuktikan kesesat-pikiran argumen berbasis kapasitas (merit-based argument) yang digunakan untuk mendukung IISMA. Argumen pro-IISMA yang dijangkarkan pada “pengafirmasian perasaan pencapaian dan kerja keras” dalam argumen berbasis kapasitas merupakan sesat pikir, karena mengganti proses justifikasi epistemis suatu kondisi x sehingga p dengan proses justifikasi perasaan psikologis sehingga p semata. Selebihnya, argumen ad hominem para penentang IISMA dalam tuduhan privilese justru datang atas reaksi sesat pikir para pendukung IISMA dalam mempertahankan IISMA. Jika melanggar cara kerja justifikasi, maka argumennya tidak (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  12. Supraclassical Consequence: Abduction, Induction, and Probability for Commonsense Reasoning.Luis M. Augusto - 2023 - Journal of Knowledge Structures and Systems 4 (1):1 - 46.
    Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  13. Reasoning and Its Limits.Kanit Sirichan - 2012 - Philosophia Osaka 7:31-45.
    The paper argues that logical reasoning is what constitutes critical thinking because reasoning is normative, and logic provides a norm for reasoning. If a logical way of thinking is simply the same thing as reasoning, then the only limit or constraint of reasoning is the nature of the (logical) “rule” the kind of which is engaged with the practice of reasoning; rather than with either a component of social context or a com- ponent of a purely non-inferential or “immediate” perception (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. On the Cognitive Parsimony of Paralogical Arguments and their Impact in Automated Persuasion: Findings and Lessons Learned for Building Automatic Counter-Arguers.Antonio Lieto - 2023 - In Online Lectures. pp. 1-14.
    Persuasive technologies can adopt several strategies to change the attitudes and behaviors of their users. In this work I synthesize the lessons learned from three empirical case studies on automated persuasion that have been carried out in the last decade in the contexts of: persuasive news recommendations, social robotics, and e-commerce, respectively. In particular, such studies have assessed, in the technological domain, the effects of nudging techniques relying on well known persuasive argumentation schemas and on framing strategies. In discussing the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  15. 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 (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16. Logic, Spatial Algorithms and Visual Reasoning.Andrew Schumann & Jens Lemanski - 2022 - Logica Universalis 16 (4):535-543.
    Spatial and diagrammatic reasoning is a significant part not only of logical abilities, but also of logical studies. The authors of this paper consider some novel trends in studying this type of reasoning. They show that there are the following two main trends in spatial logic: (i) logical studies of the distribution of various objects in space (logic of geometry, logic of colors, etc.); (ii) logical studies of the space algorithms applied by nature itself (logic of swarms, logic of fungi (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Selective Abduction in the Selection of Hypotheses and its Relationship with Inference to the Best Explanation (IBE).Seyed Ahmad Mirsanei - 2022 - Analytic Philosophy 19 (41):325-344.
    Selective abduction is in contrast with creative abduction as well as Inference to the Best Explanation (IBE). There are two types of selective abduction: Either hypotheses are selected among new and conjectural hypotheses without any prior knowledge ( Pierce s' selective abduction), or the selection of the best hypotheses and explanations is among a large number of possible hypotheses and explanations already known (L. Magnani's selective abduction and G. Schurz's factual abduction). According to both views, as well as an alternative (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  18. Bunge y la validez de la adición.Estrada-González Luis & Romero-Rodríguez Christian - 2022 - In German Guerrero-Pino (ed.), Ciencia, Realismo y materialismo. Universidad del Valle. pp. 191-202.
    En The paradox of Addition and its dissolution (1969), Mario Bunge presenta algunos argumentos para mostrar que la Regla de Adición puede ocasionar paradojas o problemas semánticos. Posteriormente, Margáin (1972) y Robles (1976) mostraron que las afirmaciones de Bunge son insostenibles, al menos desde el punto de vista de la lógica clásica. Aunque estamos de acuerdo con las críticas de Margáin y Robles, no estamos de acuerdo en el diagnóstico del origen del problema y tampoco con la manera en la (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  19. В начале было Слово.Andrej Poleev - 2022 - Enzymes.
    Сборник эссе о логике и логическом мышлении.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20. A Logic-based Tool for Dynamic Generation and Classification of Musical Content.Antonio Lieto - 2022 - In proceedings of AI*IA 2022. Springer LNCS. pp. 1-12.
    In this work we present NERVOUS, an intelligent recommender system exploiting a probabilistic extension of a Description Logic of typicality to dynamically generate novel contents in AllMusic, a comprehensive and in-depth resource about music, providing data about albums, bands, musicians and songs. The tool can be used for both the generation of novel music genres and styles, described by a set of typical properties characterizing them, and the reclassification of the available songs within such new genres.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  21. The Dismissal of ‘Substance’ and ‘Being’ in Peirce’s Regenerated Logic.Maria Regina Brioschi - forthcoming - Logic and Logical Philosophy.
    After introducing the debate between substance philosophy and process philosophy, and clarifying the relevance of the category of ‘substance’ in Peirce’s thought, the present paper reconstructs the role of ‘substance’ and ‘being’ from Peirce’s early works to his theory of the proposition, provided after his studies on the logic of relatives. If those two categories apparently disappear in Peirce’s writings from the mid-1890s onwards, the account of ‘subject’ and ‘copula’ in Peirce’s analysis of the proposition allows one to grasp the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. On definability of team relations with k-invariant atoms.Raine Rönnholm - 2022 - Annals of Pure and Applied Logic 173 (10):103136.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Separation logic and logics with team semantics.Darion Haase, Erich Grädel & Richard Wilke - 2022 - Annals of Pure and Applied Logic 173 (10):103063.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Two Sciences, Two Logics? Can or Should Politics and Ideology Provide Logical Evidence?Luis Felipe Bartolo Alegre -
    This paper discusses the question of whether politics and ideology could ever be considered sensible sources for logical evidence. After discussing some proposals for this possibility, I answer negatively by arguing that any attempt to deviate from classical logics on these grounds would consist of an ad hoc denial of a logic principle.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  25. A Bitstring Semantics for Calculus CL.Fabien Schang & Jens Lemanski - 2022 - In Jean-Yves Beziau & Ioannis Vandoulakis (eds.), The Exoteric Square of Opposition. Birkhauser. pp. 171–193.
    The aim of this chapter is to develop a semantics for Calculus CL. CL is a diagrammatic calculus based on a logic machine presented by Johann Christian Lange in 1714, which combines features of Euler-, Venn-type, tree diagrams, squares of oppositions etc. In this chapter, it is argued that a Boolean account of formal ontology in CL helps to deal with logical oppositions and inferences of extended syllogistics. The result is a combination of Lange’s diagrams with an algebraic semantics of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. A Semantics for the Impure Logic of Ground.Louis deRosset & Kit Fine - 2023 - Journal of Philosophical Logic 52 (2):415-493.
    This paper establishes a sound and complete semantics for the impure logic of ground. Fine (Review of Symbolic Logic, 5(1), 1–25, 2012a) sets out a system for the pure logic of ground, one in which the formulas between which ground-theoretic claims hold have no internal logical complexity; and it provides a sound and complete semantics for the system. Fine (2012b) [§§6-8] sets out a system for an impure logic of ground, one that extends the rules of the original pure system (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27. (TC* ،زمان فازی ) تاثیر و تاثر منطق و پارادوکسها بر نظریه محاسبات عام. [REVIEW]Didehvar Farzad - manuscript
    در تکوین نظریه محاسبات از اوایل قرن بیستم پارادکسها و خود ارجاعی نقش ویژه ای را بازی کرده اند. هر چند نظریه محاسبات عام بر اساس تعریف ماشین تورینگ، فرض تورینگ_چرچ و کاربردهای آن بنا شده ،اما از همان ابتدا تا به امروز منطق و حوزه های مختلف این علم در ارتباط تنگاتنگ با این تیوری و در ابتدا نظریه محاسبات خاص بوده و این ارتباط روز به روز گسترده و گسترده تر گشته است. از تاثیر پارادوکس دروغگو و پارادکس (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  28. A Leibnizian Logic of Possible Laws.Kordula Świętorzecka & Marcin Łyczak - forthcoming - Logic and Logical Philosophy:1-22.
    The so-called Principle of Plenitude was ascribed to Leibniz by A. O. Lovejoy in The Great Chain of Being: A Study of the History of an Idea. Its temporal version states that what holds always, holds necessarily. This temporal formulation is the subject of the current paper. Lovejoy’s idea was criticised by Hintikka. The latter supported his criticisms by referring to specific Leibnizian notions of absolute and hypothetical necessities interpreted in a possible-worlds semantics. In the paper, Hintikka’s interpretative suggestions are (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Fermat’s last theorem proved in Hilbert arithmetic. II. Its proof in Hilbert arithmetic by the Kochen-Specker theorem with or without induction.Vasil Penchev - 2022 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 14 (10):1-52.
    The paper is a continuation of another paper published as Part I. Now, the case of “n=3” is inferred as a corollary from the Kochen and Specker theorem (1967): the eventual solutions of Fermat’s equation for “n=3” would correspond to an admissible disjunctive division of qubit into two absolutely independent parts therefore versus the contextuality of any qubit, implied by the Kochen – Specker theorem. Incommensurability (implied by the absence of hidden variables) is considered as dual to quantum contextuality. The (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30. On Heck’s New Liar.Julien Murzi - 2012 - Thought: A Journal of Philosophy 1 (4):258-269.
    Richard Heck has recently drawn attention on a new version of the Liar Paradox, one which relies on logical resources that are so weak as to suggest that it may not admit of any ‘‘truly satisfying, consistent solution’’. I argue that this conclusion is too strong. Heck’s Liar reduces to absurdity principles that are already rejected by consistent paracomplete theories of truth, such as Kripke’s and Field’s. Moreover, the new Liar gives us no reasons to think that these principles cannot (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31. TO KNOW THEM, REMOVE THEM: AN OUTER METHODOLOGICAL APPROACH TO BIOPHYSICS AND HUMANITIES.Arturo Tozzi - manuscript
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  32. KF, PKF and Reinhardt’s Program.Luca Castaldo & Johannes Stern - 2022 - Review of Symbolic Logic (1):33-58.
    In “Some Remarks on Extending and Interpreting Theories with a Partial Truth Predicate”, Reinhardt [21] famously proposed an instrumentalist interpretation of the truth theory Kripke–Feferman ( $\mathrm {KF}$ ) in analogy to Hilbert’s program. Reinhardt suggested to view $\mathrm {KF}$ as a tool for generating “the significant part of $\mathrm {KF}$ ”, that is, as a tool for deriving sentences of the form $\mathrm{Tr}\ulcorner {\varphi }\urcorner $. The constitutive question of Reinhardt’s program was whether it was possible “to justify the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  33. The modal logic of set-theoretic potentialism and the potentialist maximality principles.Joel David Hamkins & Øystein Linnebo - 2022 - Review of Symbolic Logic 15 (1):1-35.
    We analyze the precise modal commitments of several natural varieties of set-theoretic potentialism, using tools we develop for a general model-theoretic account of potentialism, building on those of Hamkins, Leibman and Löwe [14], including the use of buttons, switches, dials and ratchets. Among the potentialist conceptions we consider are: rank potentialism, Grothendieck–Zermelo potentialism, transitive-set potentialism, forcing potentialism, countable-transitive-model potentialism, countable-model potentialism, and others. In each case, we identify lower bounds for the modal validities, which are generally either S4.2 or S4.3, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  34. The structuralist approach to underdetermination.Chanwoo Lee - 2022 - Synthese 200 (2):1-25.
    This paper provides an exposition of the structuralist approach to underdetermination, which aims to resolve the underdetermination of theories by identifying their common theoretical structure. Applications of the structuralist approach can be found in many areas of philosophy. I present a schema of the structuralist approach, which conceptually unifies such applications in different subject matters. It is argued that two classic arguments in the literature, Paul Benacerraf’s argument on natural numbers and W. V. O. Quine’s argument for the indeterminacy of (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Perceptron Connectives in Knowledge Representation.Pietro Galliani, Guendalina Righetti, Daniele Porello, Oliver Kutz & Nicolas Toquard - 2020 - In Knowledge Engineering and Knowledge Management - 22nd International Conference, {EKAW} 2020, Bolzano, Italy, September 16-20, 2020, Proceedings. Lecture Notes in Computer Science 12387. pp. 183-193.
    We discuss the role of perceptron (or threshold) connectives in the context of Description Logic, and in particular their possible use as a bridge between statistical learning of models from data and logical reasoning over knowledge bases. We prove that such connectives can be added to the language of most forms of Description Logic without increasing the complexity of the corresponding inference problem. We show, with a practical example over the Gene Ontology, how even simple instances of perceptron connectives are (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  36. Towards a Cognitive Semantics of Type.Daniele Porello & Giancarlo Guizzardi - 2017 - In AI*IA 2017 Advances in Artificial Intelligence - XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings. Lecture Notes in Computer Science 10640. pp. 428-440.
    Types are a crucial concept in conceptual modelling, logic, and knowledge representation as they are an ubiquitous device to un- derstand and formalise the classification of objects. We propose a logical treatment of types based on a cognitively inspired modelling that ac- counts for the amount of information that is actually available to a cer- tain agent in the task of classification. We develop a predicative modal logic whose semantics is based on conceptual spaces that model the ac- tual information (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  37. The Logica Yearbook 2012.Vit Puncochar & Petr Svarny (eds.) - 2013 - College Publications.
    This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2012, Hejnice, the Czech Republic. The articles range over mathematical and philosophical logic, history and philosophy of logic, and the analysis of natural language.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  38. Hannah Arendt on Racist Logomania.Joshua M. Hall - forthcoming - Journal of Mind and Behavior.
    In the present article, I offer a new reading of Hannah Arendt’s The Origins of Totalitarianism, specifically her argument that ideologies such as racism engender totalitarianism when the lonely and disenfranchised laborers of modern society develop a pathological fixation on formal logic, which I term “logomania.” That is, such logical deductions, from horrifically false premises, are the closest thing to thinking that individuals can engage in after their psyches, relationships, and communities have broken down. And it is only thus that (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  39. La logica della spiegazione come argomento per l'esistenza di Dio.Daniele Bertini - 2021 - Nuovo Giornale di Filosofia Della Religione 1 (1):77-106.
    Discuto la tesi di Micheletti secondo la quale ogni spiegazione fattuale presuppone premesse di ordine superiore rispetto alla spiegazione (M.Micheletti, “Radical Divine Alterity and the God-World Relationship”). Nella prima sezione del testo introdurrò la tesi, muovendo dalla analisi di alcuni esempi di spiegazione, ed elencherò le ragioni che (apparentemente) richiedono la postulazione di higher-degree propositions per rendere conto di factual propositions. Nella seconda sezione regimenterò logicamente la tesi di Micheletti. Nella terza sezione discuterò la validità della logica della spiegazione così (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. Introduction to Logic: Predicate Logic.Howard Pospesel - 1976 - Englewood Cliffs, NJ, USA: Prentice-Hall.
    This clearly written book makes logic interesting and easier to learn without sacrificing content or rigor. KEY TOPICS: It covers symbolization, proofs, counterexamples, and truth trees. These topics are presented in graded steps, beginning with the symbolization of categorical propositions and concluding with the properties of relations. Logic is applied to materials with which readers will be familiar; both examples and exercises are drawn from newspapers, television, and other popular sources. MARKET: For individuals intrigued by the formal study of logic.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  41. New Essays in Free Logic: In Honour of Karel Lambert.Edgar Morscher & Alexander Hieke (eds.) - 2001 - Dordrecht, Netherland: Springer.
    Free logic - i.e., logic free of existential presuppositions in general and with respect to singular terms in particular- began to come into its own as a field of research in the 1950s. As is the case with so many developments in Western philosophy, its roots can be traced back to ancient Greek philo sophy. It is only during the last fifty years, however, that it has become well established as a branch of modern logic. The name of Karel Lambert (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  42. Contemporary Research in Philosophical Logic and Linguistic Semantics: Proceedings of a Conference Held at the University of Western Ontario, London, Canada.Donald J. Hockney, William L. Harper & B. Freed (eds.) - 1975 - Dordrecht, Netherland: Reidel.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43. Logica, Seconda edizione.Achille C. Varzi, John Nolt & Dennis A. Rohatyn - 2007 - Milan: McGraw-Hill Italia.
    Extended revised edition of "Logica" (2003).
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  44. Logica.John Nolt, Dennis A. Rohatyn & Achille C. Varzi - 2003 - Milan: McGraw-Hill Italia.
    Italian translation of "Schaum's Outline of Theory and Problems of Logic" (1988).
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  45. A Note on Paradoxical Propositions from an Inferential Point of View.Ivo Pezlar - 2021 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020. College Publications. pp. 183-199.
    In a recent paper by Tranchini (Topoi, 2019), an introduction rule for the paradoxical proposition ρ∗ that can be simultaneously proven and disproven is discussed. This rule is formalized in Martin-Löf’s constructive type theory (CTT) and supplemented with an inferential explanation in the style of Brouwer-Heyting-Kolmogorov semantics. I will, however, argue that the provided formalization is problematic because what is paradoxical about ρ∗ from the viewpoint of CTT is not its provability, but whether it is a proposition at all.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  46. Problemas semánticos en filosofía de la lógica.Sergio Aramburu - 2021 - Actas y Comunicaciones UNGS 6:193-211.
    Este texto presenta, y en cierta medida analiza, ambigüedades existentes en textos de lógica y filosofía de la lógica (como la interpretación de los llamados principios, postulados, leyes o verdades lógicas, la coexistencia de la tesis de que toda relación presupone la existencia de al menos dos relata y la de que una cosa puede relacionarse consigo misma, o la llamada "paradoja del mentiroso") bajo el supuesto de que, dado que la lógica no es anterior a la semántica, un análisis (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  47. Semantic Dialetheism.Edwin D. Mares - 2006 - In Graham Priest, J. C. Beall & Bradley Armour-Garb (eds.), The Law of Non-Contradiction: New Philosophical Essays. Clarendon Press.
    The doctrine of semantic dialetheism is set out and contrasted with metaphysical dialetheism. We find that there is a lot to be said in favour of semantic dialetheism. Semantic dlaietheism is given credence by the doctrine of partially defined predicates. To make sense of a partially defined predicate, Tappenden and Soames suggest that the seman tics of predicates should be given in terms of a set of conditions under which the predicate can be applied to things and a set of (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   14 citations  
  48. Diagonal arguments and fixed points.Saeed Salehi - 2017 - Bulletin of the Iranian Mathematical Society 43 (5):1073-1088.
    ‎A universal schema for diagonalization was popularized by N. S‎. ‎Yanofsky (2003)‎, ‎based on a pioneering work of F.W‎. ‎Lawvere (1969)‎, ‎in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function‎. ‎It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema‎. ‎Here‎, ‎we fit more theorems in the universal‎ ‎schema of diagonalization‎, ‎such as Euclid's proof for the infinitude of the primes and new proofs (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. Axiomatization of Crisp Gödel Modal Logic.Ricardo Oscar Rodriguez & Amanda Vidal - 2020 - Studia Logica 109 (2):367-395.
    In this paper we consider the modal logic with both \ and \ arising from Kripke models with a crisp accessibility and whose propositions are valued over the standard Gödel algebra \. We provide an axiomatic system extending the one from Caicedo and Rodriguez :37–55, 2015) for models with a valued accessibility with Dunn axiom from positive modal logics, and show it is strongly complete with respect to the intended semantics. The axiomatizations of the most usual frame restrictions are given (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50. Introduction to Mathematical Logic, Edition 2021.Vilnis Detlovs & Karlis Podnieks - manuscript
    Textbook for students in mathematical logic. Part 1. Total formalization is possible! Formal theories. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms. Tableaux method. Resolution method. Herbrand's theorem.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 19027