Logics

Edited by Shay Logan (Kansas State University)
View topic on PhilPapers for more information
Related categories

1546 found
Order:
More results on PhilPapers
1 — 50 / 1546
Material to categorize
  1. 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   Download  
     
    Export citation  
     
    Bookmark  
  2. A Semantics for the Impure Logic of Ground.Louis deRosset & Kit Fine - forthcoming - Journal of Philosophical Logic:1-79.
    This paper establishes a sound and complete semantics for the impure logic of ground. Fine [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, sec. 6-8] sets out a system for an impure logic of ground, one that extends the rules of the original pure system with rules for the truth-functional (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. (TC* ،زمان فازی ) تاثیر و تاثر منطق و پارادوکسها بر نظریه محاسبات عام. [REVIEW]Didehvar Farzad - manuscript
    در تکوین نظریه محاسبات از اوایل قرن بیستم پارادکسها و خود ارجاعی نقش ویژه ای را بازی کرده اند. هر چند نظریه محاسبات عام بر اساس تعریف ماشین تورینگ، فرض تورینگ_چرچ و کاربردهای آن بنا شده ،اما از همان ابتدا تا به امروز منطق و حوزه های مختلف این علم در ارتباط تنگاتنگ با این تیوری و در ابتدا نظریه محاسبات خاص بوده و این ارتباط روز به روز گسترده و گسترده تر گشته است. از تاثیر پارادوکس دروغگو و پارادکس (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. 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   Download  
     
    Export citation  
     
    Bookmark  
  5. 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   Download  
     
    Export citation  
     
    Bookmark  
  6. 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   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. 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   Download  
     
    Export citation  
     
    Bookmark  
  8. 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   Download  
     
    Export citation  
     
    Bookmark  
  9. 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   Download  
     
    Export citation  
     
    Bookmark  
  10. 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   Download  
     
    Export citation  
     
    Bookmark  
  11. 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   Download  
     
    Export citation  
     
    Bookmark  
  12. 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   Download  
     
    Export citation  
     
    Bookmark  
  13. 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   Download  
     
    Export citation  
     
    Bookmark  
  14. Analyticity and Modulation. Broadening the Rescale Perspective on Language Logicality.Salvatore Pistoia-Reda & Uli Sauerland - 2021 - International Review of Pragmatics 1 (13):1-13.
    Acceptable analyticities, i.e. contradictions or tautologies, constitute problematic evidence for the idea that language includes a deductive system. In recent discussion, two accounts have been presented in the literature to explain the available evidence. According to one of the accounts, grammatical analyticities are accessible to the system but a pragmatic strengthening repair mechanism can apply and prevent the structures from being actually interpreted as contradictions or tautologies. The proposed data, however, leaves it open whether other versions of the meaning modulation (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  15. Logic of Faith and Dead. The Idea and Outline of the Theoretical Conception.Wybraniec-Skardowska Urszula - 2019 - Philosophia Christine 55 (2):125-149.
    This paper discusses the theoretical assumptions behind the conception of the logic of faith and deed (LF&D) and outlines its formal-axiomatic frame and its method of construction, which enable us to understand it as a kind of deductive science. The paper is divided into several sections, starting with the logical analysis of the ambiguous terms of 'faith’ and 'action', and focusing in particular on the concepts of religious faith and deed as a type of conscious activity relating to a matter (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. Structure and Logic of Conceptual Mind.Venkata Rayudu Posina - manuscript
    Mind, according to cognitive neuroscience, is a set of brain functions. But, unlike sets, our minds are cohesive. Moreover, unlike the structureless elements of sets, the contents of our minds are structured. Mutual relations between the mental contents endow the mind its structure. Here we characterize the structural essence and the logical form of the mind by focusing on thinking. Examination of the relations between concepts, propositions, and syllogisms involved in thinking revealed the reflexive graph structure of the conceptual mind. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  17. No New Solutions to the Logical Problem of the Trinity.Beau Branson - 2019 - Journal of Applied Logics 6 (6):1051-1092.
    Analytic theologians have proposed numerous “solutions” to the Logical Problem of the Trinity (LPT), mostly versions of Social Trinitarianism (ST) and Relative Identity Trinitarianism (RI). Both types of solution are controversial, but many hold out hope that further “Trinitarian theorizing” may yield some as yet unimagined, and somehow importantly different, solution to the LPT. I first give a precise definition of the LPT and of what would count as a solution to it. I then show how, though there are infinitely (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  18. Beyond Subgoaling: A Dynamic Knowledge Generation Framework for Creative Problem Solving in Cognitive Architectures.Antonio Lieto - 2019 - Cognitive Systems Research 58:305-316.
    In this paper we propose a computational framework aimed at extending the problem solving capabilities of cognitive artificial agents through the introduction of a novel, goal-directed, dynamic knowledge generation mechanism obtained via a non monotonic reasoning procedure. In particular, the proposed framework relies on the assumption that certain classes of problems cannot be solved by simply learning or injecting new external knowledge in the declarative memory of a cognitive artificial agent but, on the other hand, require a mechanism for the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   7 citations  
  19. Philosophical Investigation Series: Selected Texts on Logic / Série Investigação Filosófica: Textos Selecionados de Lógica.Danilo Fraga Dantas & Rodrigo Cid - 2020 - Pelotas - Princesa, Pelotas - RS, Brasil: UFPEL's Publisher / Editora da UFPEL.
    Este livro marca o início da Série Investigação Filosófica. Uma série de livros de traduções de textos de plataformas internacionalmente reconhecidas, que possa servir tanto como material didático para os professores das diferentes subáreas e níveis da Filosofia quanto como material de estudo para o desenvolvimento pesquisas relevantes na área. Nós, professores, sabemos o quão difícil é encontrar bons materiais em português para indicarmos. E há uma certa deficiência na graduação brasileira de filosofia, principalmente em localizações menos favorecidas, com relação (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  20. A Classical Logic of Existence and Essence.Sergio Galvan & Alessandro Giordani - 2020 - Logic and Logical Philosophy 29 (4):541-570.
    The purpose of this paper is to provide a new system of logic for existence and essence, in which the traditional distinctions between essential and accidental properties, abstract and concrete objects, and actually existent and possibly existent objects are described and related in a suitable way. In order to accomplish this task, a primitive relation of essential identity between different objects is introduced and connected to a first order existence property and a first order abstractness property. The basic idea is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. More Observations.Paul Merriam - manuscript
    Anthropic principle, Perspectival ontology, Hard problem, Why something rather than nothing, Life after death, Buddhism, God.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  22. Modal Logic with Non-Deterministic Semantics: Part I—Propositional Case.Marcelo E. Coniglio, Luis Fariñas del Cerro & Newton Peron - 2020 - Logic Journal of the IGPL 28 (3):281-315.
    Dugundji proved in 1940 that most parts of standard modal systems cannot be characterized by a single finite deterministic matrix. In the eighties, Ivlev proposed a semantics of four-valued non-deterministic matrices (which he called quasi-matrices), in order to characterize a hierarchy of weak modal logics without the necessitation rule. In a previous paper, we extended some systems of Ivlev’s hierarchy, also proposing weaker six-valued systems in which the (T) axiom was replaced by the deontic (D) axiom. In this paper, we (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  23. Understanding Predication in Conceptual Spaces.Daniele Porello & Claudio Masolo - 2016 - In Roberta Ferrario & Werner Kuhn (eds.), Formal Ontology in Information Systems. Proceedings of the Ninth International Conference (FOIS 2016). pp. 139--152.
    We argue that a cognitive semantics has to take into account the possibly partial information that a cognitive agent has of the world. After discussing Gärdenfors's view of objects in conceptual spaces, we offer a number of viable treatments of partiality of information and we formalize them by means of alternative predicative logics. Our analysis shows that understanding the nature of simple predicative sentences is crucial for a cognitive semantics.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  24. Representing Concepts by Weighted Formulas.Daniele Porello & Claudio Masolo - 2018 - In Stefano Borgo, Pascal Hitzler & Oliver Kutz (eds.), Formal Ontology in Information Systems - Proceedings of the 10th International Conference, {FOIS} 2018, Cape Town, South Africa, 19-21 September 2018. IOS Press. pp. 55--68.
    A concept is traditionally defined via the necessary and sufficient conditions that clearly determine its extension. By contrast, cognitive views of concepts intend to account for empirical data that show that categorisation under a concept presents typicality effects and a certain degree of indeterminacy. We propose a formal language to compactly represent concepts by leveraging on weighted logical formulas. In this way, we can model the possible synergies among the qualities that are relevant for categorising an object under a concept. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  25. Intuitionist Reasoning in the Tri-Unitarian Theology of Nicholas of Cues (1401-1464).Antonino Drago - 2019 - Journal of Applied Logic 6 (6):1143-1186.
    The main subject of Cusanus’ investigations was the name of God. He claimed to have achieved the best possible one, Not-Other. Since Cusanus stressed that these two words do not mean the corresponding affirmative word, i.e. the same, they represent the failure of the double negation law and there￾fore belong to non-classical, and above all, intuitionist logic. Some of his books implicitly applied intuitionist reasoning and the corresponding organization of a theory which is governed by intuitionist logic. A comparison of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. End of the Square?Fabien Schang - 2018 - South American Journal of Logic 4 (2):485-505.
    It has been recently argued that the well-known square of opposition is a gathering that can be reduced to a one-dimensional figure, an ordered line segment of positive and negative integers [3]. However, one-dimensionality leads to some difficulties once the structure of opposed terms extends to more complex sets. An alternative algebraic semantics is proposed to solve the problem of dimensionality in a systematic way, namely: partition (or bitstring) semantics. Finally, an alternative geometry yields a new and unique pattern of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  27. Les attitudes russelliennes.Fabien Schang - 2017 - Cahiers de Philosophie de L’Université de Caen 54:149-168.
    Russell prétend qu’un examen des croyances est indispensable pour définir nos raisonnements quotidiens et comprendre ce que les philosophes entendent par la notion de vérité. Cela étant, l’auteur considère qu’une étude de ces croyances n’a aucun rapport avec la logique, laquelle concerne uniquement le vrai et le faux. En d’autres termes, Russell associe croyance et psychologie tout en réservant le domaine de la logique au thème de la proposition, vraie ou fausse par définition. Une certaine théorie de la vérité sous-tend (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  28. Logical Inquiries Into a New Formal System with Plural Reference.Ran Lanzet & Hanoch Ben-Yami - 2004 - In Vincent Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Schefler & Wansing Heinrich (eds.), First-Order Logic Revisited. Berlin: Logos Verlag. pp. 173-223.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   9 citations  
  29. Theories with the Independence Property, Studia Logica 2010 95:379-405.Mlj van de Vel - 2010 - Studia Logica 95 (3):379-405.
    A first-order theory T has the Independence Property provided deduction of a statement of type (quantifiers) (P -> (P1 or P2 or .. or Pn)) in T implies that (quantifiers) (P -> Pi) can be deduced in T for some i, 1 <= i <= n). Variants of this property have been noticed for some time in logic programming and in linear programming. We show that a first-order theory has the Independence Property for the class of basic formulas provided it (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  30. Strong Normalization via Natural Ordinal.Daniel Durante Pereira Alves - 1999 - Dissertation,
    The main objective of this PhD Thesis is to present a method of obtaining strong normalization via natural ordinal, which is applicable to natural deduction systems and typed lambda calculus. The method includes (a) the definition of a numerical assignment that associates each derivation (or lambda term) to a natural number and (b) the proof that this assignment decreases with reductions of maximal formulas (or redex). Besides, because the numerical assignment used coincide with the length of a specific sequence of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  31. Sistema Experto para Resolver Problemas Lógicos de Deducción.Gabriel Garduño-Soto, David René Thierry García, Rafael Vidal Uribe & Hugo Padilla Chacón - 1989 - In Va. Conferencia Internacional: Las Computadoras en Instituciones de Educación y de Investigación. Cómputo Académico, UNAM, UNISYS, México, noviembre 14–16, 1989. Mexico City, México: National Autonomous University of Mexico.
    Proceeding of the first public presentation of the work of the mexican logical group "Deduktor" under the direction of the mexican professor Hugo Padilla Chacón. This work was in fact the first whole and stand alone arithmetization of logics.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  32. I Exist.Cosmin Visan - 2015 - Journal of Consciousness Exploration & Research 6 (3):185-193.
    Why is there something rather than nothing? This is probably the most profound question that can be asked. In this paper, a rather unexpected simple solution is provided. The solution comes from analysing the truth value of the proposition “I exist.” It will be shown that this proposition is always true, so our existence is a logical necessity. Speculations about the implications over the universe as a whole are then provided.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  33. Probabilities on Sentences in an Expressive Logic.Marcus Hutter, John W. Lloyd, Kee Siong Ng & William T. B. Uther - 2013 - Journal of Applied Logic 11 (4):386-420.
    Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability of being (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. LOGIC TEACHING IN THE 21ST CENTURY.John Corcoran - 2016 - Quadripartita Ratio: Revista de Argumentación y Retórica 1 (1):1-34.
    We are much better equipped to let the facts reveal themselves to us instead of blinding ourselves to them or stubbornly trying to force them into preconceived molds. We no longer embarrass ourselves in front of our students, for example, by insisting that “Some Xs are Y” means the same as “Some X is Y”, and lamely adding “for purposes of logic” whenever there is pushback. Logic teaching in this century can exploit the new spirit of objectivity, humility, clarity, observationalism, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. What is Nominalistic Mereology?Jeremy Meyers - 2012 - Journal of Philosophical Logic 43 (1):71-108.
    Hybrid languages are introduced in order to evaluate the strength of “minimal” mereologies with relatively strong frame definability properties. Appealing to a robust form of nominalism, I claim that one investigated language \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {m}}$\end{document} is maximally acceptable for nominalistic mereology. In an extension \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {gem}}$\end{document} of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {m}}$\end{document}, a modal analog (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  36. METAPHYSICAL RELATIVITY THEORY I: M-LOGIC.Eric Hahn - manuscript
    The present text provides a logical theory which originated in the unification of a number of well-known philosophical logics as well as the introduction and study of new operators. Further M-logic contains an object theory. With both the logical part and the object part we achieve a formal calculus that is able to express many metaphysical dogmas.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  37. Subregular Tetrahedra.John Corcoran - 2008 - Bulletin of Symbolic Logic 14 (3):411-2.
    This largely expository lecture deals with aspects of traditional solid geometry suitable for applications in logic courses. Polygons are plane or two-dimensional; the simplest are triangles. Polyhedra [or polyhedrons] are solid or three-dimensional; the simplest are tetrahedra [or triangular pyramids, made of four triangles]. -/- A regular polygon has equal sides and equal angles. A polyhedron having congruent faces and congruent [polyhedral] angles is not called regular, as some might expect; rather they are said to be subregular—a word coined for (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  38. Logically Equivalent False Universal Propositions with Different Counterexample Sets.John Corcoran - 2007 - Bulletin of Symbolic Logic 11:554-5.
    This paper corrects a mistake I saw students make but I have yet to see in print. The mistake is thinking that logically equivalent propositions have the same counterexamples—always. Of course, it is often the case that logically equivalent propositions have the same counterexamples: “every number that is prime is odd” has the same counterexamples as “every number that is not odd is not prime”. The set of numbers satisfying “prime but not odd” is the same as the set of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  39. Un acercamiento preliminar a la semántica fregeana.Esteban J. Beltrán Ulate - 2013 - INVENIO 31:23-31.
    El artículo no pretende ser estudio detallado de la semántica de Gottlob Frege, más bien, se caracteriza por ser un acercamiento a la distinción entre signo (Zeichen), representaciones (Vortellungen), sentido (Sinn) y referencia (Bedeutung) expuesta por el autor. La argumentación fregeana discute la manera desde la cual se puede referir, a través de signos, y como, de éstos, emerge un mundo (tercer mundo), de sentido, que puede estar o no ligado a una referencia. El presente estudio recurre a dos obras (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  40. Free Logics Their Foundations, Character and Some Applications Thereof.Karel Lambert - 1997
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  41. Compositionality and Modest Inferentialism.James Trafford - 2014 - Teorema: International Journal of Philosophy (1):39-56.
    This paper provides both a solution and a problem for the account of compositionality in Christopher Peacocke’s modest inferentialism. The immediate issue facing Peacocke’s account is that it looks as if compositionality can only be understood at the level of semantics, which is difficult to reconcile with inferentialism. Here, following up a brief suggestion by Peacocke, I provide a formal framework wherein compositionality occurs the level of the determining relation between inference and semantics. This, in turn provides a “test” for (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  42. Completeness and Correspondence in Chellas–Segerberg Semantics.Matthias Unterhuber & Gerhard Schurz - 2014 - Studia Logica 102 (4):891-911.
    We investigate a lattice of conditional logics described by a Kripke type semantics, which was suggested by Chellas and Segerberg – Chellas–Segerberg (CS) semantics – plus 30 further principles. We (i) present a non-trivial frame-based completeness result, (ii) a translation procedure which gives one corresponding trivial frame conditions for arbitrary formula schemata, and (iii) non-trivial frame conditions in CS semantics which correspond to the 30 principles.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  43. Metamodeling Abduction.Angel Nepomuceno Fernández & Fernando Soler Toscano - 2007 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 22 (3):285-293.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  44. Modulated Logics and Flexible Reasoning.Walter Carnielli & Maria Cláudia C. Grácio - 2008 - Logic and Logical Philosophy 17 (3):211-249.
    This paper studies a family of monotonic extensions of first-order logic which we call modulated logics, constructed by extending classical logic through generalized quantifiers called modulated quantifiers. This approach offers a new regard to what we call flexible reasoning. A uniform treatment of modulated logics is given here, obtaining some general results in model theory. Besides reviewing the “Logic of Ultrafilters”, which formalizes inductive assertions of the kind “almost all”, two new monotonic logical systems are proposed here, the “Logic of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  45. XVI Brazilian Logic Conference (EBL 2011).Walter Carnielli, Renata de Freitas & Petrucio Viana - 2012 - Bulletin of Symbolic Logic 18 (1):150-151.
    This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  46. Quine l’extensionaliste. Entre naturalisme et esthétisme.Fabien Schang - 2005 - Philosophia Scientiae 9 (2):279-293.
    La position résolument extensionaliste de Quine a été appuyée par des arguments de nature différente, dans ses multiples articles destinés à rejeter le projet de logique modale. On peut classer ces arguments en trois catégories : un argument naturaliste, où l’auteur tente de baser le langage scientifique sur une notation tâchée de décrire la “structure ultime de la réalité” ; un argument esthétique, où Quine fait allusion à des raisons de clarté et d’efficacité démonstrative pour privilégier la théorie des fonctions (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Information Closure and the Sceptical Objection.Luciano Floridi - 2014 - Synthese 191 (6):1037-1050.
    In this article, I define and then defend the principle of information closure (pic) against a sceptical objection similar to the one discussed by Dretske in relation to the principle of epistemic closure. If I am successful, given that pic is equivalent to the axiom of distribution and that the latter is one of the conditions that discriminate between normal and non-normal modal logics, a main result of such a defence is that one potentially good reason to look for a (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   7 citations  
  48. The Master Argument of Diodorus Cronus.Ludger Jansen - 2011 - In Michael Bruce & Steven Barbone (eds.), Just the Arguments: 100 of the Most Important Arguments in Western Philosophy. Wiley-Blackwell.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  49. An Analytic Tableau System for Natural Logic.Reinhard Muskens - 2010 - In Maria Aloni, H. Bastiaanse, T. De Jager & Katrin Schulz (eds.), Logic, Language and Meaning. Springer. pp. 104-113.
    Logic has its roots in the study of valid argument, but while traditional logicians worked with natural language directly, modern approaches first translate natural arguments into an artificial language. The reason for this step is that some artificial languages now have very well developed inferential systems. There is no doubt that this is a great advantage in general, but for the study of natural reasoning it is a drawback that the original linguistic forms get lost in translation. An alternative approach (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  50. What the Prophet and the Philosopher Told Their Nations: A Multi-Modal Systems View of Norms and Civilisation.J. D. R. de Raadt - 1996 - World Futures 47 (1):53-67.
    (1996). What the prophet and the philosopher told their nations: A multi‐modal systems view of norms and civilisation. World Futures: Vol. 47, Unity and Diversity in Contemporary Systems Tinking: Systematic Pictures at an Exhibition, pp. 53-67.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1546