View topic on PhilPapers for more information
Related categories

58 found
Order:
More results on PhilPapers
1 — 50 / 58
  1. The Integral Construct of Science.Joseph Krecz - manuscript
    A number of general theories of physics provide a model for the fundamental rules that govern our universe, becoming a structural framework to which the new discoveries must conform. The theory of relativity is such a general theory. The theory of relativity is a complex theoretical framework that facilitates the understanding of the universal laws of physics. It is based on the curved space-time continuum fabric abstract concept, and it is well suited for interpreting cosmic events. More so, a general (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. Qualia Logic.Paul Merriam - manuscript
    The logic of qualia is different than classical logic. We take the first steps in defining it and applying it to the Hard Problem.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. Impossible Fictions Part I: Lessons for Fiction.Daniel Nolan - 2021 - Philosophy Compass 16 (2):1-12.
    Impossible fictions are valuable evidence both for a theory of fiction and for theories of meaning, mind and epistemology. This article focuses on what we can learn about fiction from reflecting on impossible fictions. First, different kinds of impossible fiction are considered, and the question of how much fiction is impossible is addressed. What impossible fiction contributes to our understanding of "truth in fiction" and the logic of fiction will be examined. Finally, our understanding of unreliable narrators and unreliable narration (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. CRITIQUE OF IMPURE REASON: Horizons of Possibility and Meaning.Steven James Bartlett - 2020 - Salem, USA: Studies in Theory and Behavior.
    The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.2MB). It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. Stoic Logic and Multiple Generality.Susanne Bobzien & Simon Shogry - 2020 - Philosophers' Imprint 20 (31):1-36.
    We argue that the extant evidence for Stoic logic provides all the elements required for a variable-free theory of multiple generality, including a number of remarkably modern features that straddle logic and semantics, such as the understanding of one- and two-place predicates as functions, the canonical formulation of universals as quantified conditionals, a straightforward relation between elements of propositional and first-order logic, and the roles of anaphora and rigid order in the regimented sentences that express multiply general propositions. We consider (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  6. Vérité partielle et réalisme scientifique: une approche bungéenne.Jean-Pierre Marquis - 2020 - Mεtascience 1:293-314.
    Le réalisme scientifique occupe une place centrale dans le système philosophique de Mario Bunge. Au cœur de cette thèse, on trouve l’affirmation selon laquelle nous pouvons connaître le monde partiellement. Il s’ensuit que les théories scientifiques ne sont pas totalement vraies ou totalement fausses, mais plutôt partiellement vraies et partiellement fausses. Ces énoncés sur la connaissance scientifique, à première vue plausible pour quiconque est familier avec la pratique scientifique, demandent néanmoins à être clarifiés, précisés et, ultimement, à être inclus dans (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  7. Notes and Comments on Leibniz's Contigency.Florian Millo - 2020
    Contigency is a definition for which is noted for not having the principle of contradiction in itself, for which gives a different truths from what we are used to derive from geometry as an essential field for knowledge of creating strong logics. Leibniz clearly states one of his ideas for God, and why there must be contigent truths and necessary truths.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  8. Pan demos Alla ricerca di un nuovo pensiero.Donato Santarcangelo - 2020 - Dialoghi Mediterranei.
    Noi ancora non pensiamo autenticamente. M. Heidegger (1952) Che l'umanità sia progredita non c'è alcun dubbio, ma in quale senso, e a quale prezzo?
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. Logical Partisanhood.Jack Woods - 2019 - Philosophical Studies 176 (5):1203-1224.
    A natural suggestion and increasingly popular account of how to revise our logical beliefs treats revision of logic analogously to the revision of scientific theories. I investigate this approach and argue that simple applications of abductive methodology to logic result in revision-cycles, developing a detailed case study of an actual dispute with this property. This is problematic if we take abductive methodology to provide justification for revising our logical framework. I then generalize the case study, pointing to similarities with more (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   10 citations  
  10. Khunaji's al-Jumal in the Context of Logic Studies in the Seventh and Eighth Century (AH) and the Commentaries Written on His Work.Ramy ElBanna - 2018 - Tasavvur - Tekirdag Theology Journal 4 (1):73 - 93.
    The science of logic has occupied an important role in Islamic history. Especially when al-Gazali 505-1111 has come and claimed that who learned Islamic sciences, without learning the Logic we cannot trust in his knowledge. From this time The science of logic has been flourished and quietly began to include in many sciences even Tefsir and Fiqh. After that, Al-razzi 606/1210 has established a big school in Islamic philosophy in general and in logic in particular. al-Khonaji 646/1248 one of his (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. Kripke Semantics for Fuzzy Logics.Saeed Salehi - 2018 - Soft Computing 22 (3):839–844.
    Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example, intuitionistic logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the basic logic (of Visser) axiomatizes transitive Kripke frames (with persistent satisfaction relations). Here, we investigate whether Kripke frames/models could provide a semantics for fuzzy logics. For each axiom of the basic fuzzy logic, necessary and sufficient conditions are sought for Kripke frames/models which satisfy them. It turns out that (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. Introduction. The School: Its Genesis, Development and Significance.U. Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), in: The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer. pp. 3-14.
    The Introduction outlines, in a concise way, the history of the Lvov-Warsaw School – a most unique Polish school of worldwide renown, which pioneered trends combining philosophy, logic, mathematics and language. The author accepts that the beginnings of the School fall on the year 1895, when its founder Kazimierz Twardowski, a disciple of Franz Brentano, came to Lvov on his mission to organize a scientific circle. Soon, among the characteristic features of the School was its serious approach towards philosophical studies (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  13. Rejection in Łukasiewicz's and Słupecki' Sense.Urszula Wybraniec-Skardowska - 2018 - Lvov-Warsaw School. Past and Present.
    The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. New Dimensions of the Square of Opposition.Jean-Yves Beziau & Stamatios Gerogiorgakis (eds.) - 2017 - Munich: Philosophia.
    The square of opposition is a diagram related to a theory of oppositions that goes back to Aristotle. Both the diagram and the theory have been discussed throughout the history of logic. Initially, the diagram was employed to present the Aristotelian theory of quantification, but extensions and criticisms of this theory have resulted in various other diagrams. The strength of the theory is that it is at the same time fairly simple and quite rich. The theory of oppositions has recently (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. The Logical and Pragmatic Structure of Arguments From Analogy.Fabrizio Macagno - 2017 - Logique Et Analyse 240:465-490.
    The reasoning process of analogy is characterized by a strict interdependence between a process of abstraction of a common feature and the transfer of an attribute of the Analogue to the Primary Subject. The first reasoning step is regarded as an abstraction of a generic characteristic that is relevant for the attribution of the predicate. The abstracted feature can be considered from a logic-semantic perspective as a functional genus, in the sense that it is contextually essential for the attribution of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  16. The Symbolic Epistemological Implications of the Different Mythological Set Up of the (Egyptian)-Mesopotamian Culture Compared to the Grecian One.Donato Santarcangelo - 2017 - Enkelados 6.
    The Mesopotamian peoples were never really dominated by the reason the way we conceptualize it. It's to the revelation as direct emanation of the divine that they ascribed the appearance of knowledge.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  17. One's Modus Ponens: Modality, Coherence and Logic.Una Stojnić - 2017 - Philosophy and Phenomenological Research 95 (1):167-214.
    Recently, there has been a shift away from traditional truth-conditional accounts of meaning towards non-truth-conditional ones, e.g., expressivism, relativism and certain forms of dynamic semantics. Fueling this trend is some puzzling behavior of modal discourse. One particularly surprising manifestation of such behavior is the alleged failure of some of the most entrenched classical rules of inference; viz., modus ponens and modus tollens. These revisionary, non-truth-conditional accounts tout these failures, and the alleged tension between the behavior of modal vocabulary and classical (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   9 citations  
  18. Logika Komunikasi (Communication Logics).Zainul Maarif - 2016 - Jakarta, Indonesia: Rajawali Press.
    This book seeks to ground logic by applying it in the field of communication, which incidentally is closely related to logic. For reviewers of communication, this book is useful for logic about their communication. For reviewers of logic and philosophy, this book is useful for communicating their logic. For anyone who wants to be able to communicate rationally and think communicatively, this book is intended.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Interview with Francesco Berto.Luca Moretti - 2016 - The Reasoner 10 (5):36-38.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  20. Better Semantics for the Pure Logic of Ground.Louis deRosset - 2015 - Analytic Philosophy 56 (3):229-252.
    Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Kit Fine has made several seminal contributions to this discussion, including an exact treatment of the formal features of grounding [Fine, 2012a]. He has specified a language in which grounding claims may be expressed, proposed a system of axioms which capture the relevant formal features, and offered a semantics which interprets the language. Unfortunately, the semantics Fine offers faces a number of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   13 citations  
  21. On Weak Ground.Louis Derosset - 2014 - Review of Symbolic Logic 7 (4):713-744.
    Though the study of grounding is still in the early stages, Kit Fine, in ”The Pure Logic of Ground”, has made a seminal attempt at formalization. Formalization of this sort is supposed to bring clarity and precision to our theorizing, as it has to the study of other metaphysically important phenomena, like modality and vagueness. Unfortunately, as I will argue, Fine ties the formal treatment of grounding to the obscure notion of a weak ground. The obscurity of weak ground, together (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   12 citations  
  22. An Introduction to Partition Logic.David Ellerman - 2014 - Logic Journal of the IGPL 22 (1):94-125.
    Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the idea arises of a dual (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   14 citations  
  23. A Utility Based Evaluation of Logico-Probabilistic Systems.Paul D. Thorn & Gerhard Schurz - 2014 - Studia Logica 102 (4):867-890.
    Systems of logico-probabilistic (LP) reasoning characterize inference from conditional assertions interpreted as expressing high conditional probabilities. In the present article, we investigate four prominent LP systems (namely, systems O, P, Z, and QC) by means of computer simulations. The results reported here extend our previous work in this area, and evaluate the four systems in terms of the expected utility of the dispositions to act that derive from the conclusions that the systems license. In addition to conforming to the dominant (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  24. Surprises in Logic.John Corcoran & William Frank - 2013 - Bulletin of Symbolic Logic 19 (3):253.
    JOHN CORCORAN AND WILIAM FRANK. Surprises in logic. Bulletin of Symbolic Logic. 19 253. Some people, not just beginning students, are at first surprised to learn that the proposition “If zero is odd, then zero is not odd” is not self-contradictory. Some people are surprised to find out that there are logically equivalent false universal propositions that have no counterexamples in common, i. e., that no counterexample for one is a counterexample for the other. Some people would be surprised to (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  25. On Minimal Models for Pure Calculi of Names.Piotr Kulicki - 2013 - Logic and Logical Philosophy 22 (4):429–443.
    By pure calculus of names we mean a quantifier-free theory, based on the classical propositional calculus, which defines predicates known from Aristotle’s syllogistic and Leśniewski’s Ontology. For a large fragment of the theory decision procedures, defined by a combination of simple syntactic operations and models in two-membered domains, can be used. We compare the system which employs `ε’ as the only specific term with the system enriched with functors of Syllogistic. In the former, we do not need an empty name (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Clear and Present Thinking: A Handbook in Logic and Rationality.Brendan Myers, Charlene Elsby, Kimberly Baltzer-Jaray & Nola Semczyszyn - 2013 - Northwest Passage Books.
    The product of a Kickstarter fundraising campaign, "Clear and Present Thinking" is a college-level textbook in logic and critical thinking. Chapters: 1. Questions, Problems, and World Views 2. Good and Bad Thinking Habits 3. Basics of Argumentation 4. Fallacies 5. Reasonable Doubt 6. Moral Reasoning In an effort to reduce the cost of education for students, this textbook was funded by over 700 people through the Kickstarter online crowd-funding platform.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  27. A Fortiori Logic: Innovations, History and Assessments.Avi Sion - 2013 - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
    A Fortiori Logic: Innovations, History and Assessments is a wide-ranging and in-depth study of a fortiori reasoning, comprising a great many new theoretical insights into such argument, a history of its use and discussion from antiquity to the present day, and critical analyses of the main attempts at its elucidation. Its purpose is nothing less than to lay the foundations for a new branch of logic and greatly develop it; and thus to once and for all dispel the many fallacious (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  28. Imperatives, Logic Of.Peter B. M. Vranas - 2013 - In Hugh LaFollette (ed.), The International Encyclopedia of Ethics. Oxford: Blackwell. pp. 2575-2585.
    Suppose that a sign at the entrance of a hotel reads: “Don’t enter these premises unless you are accompanied by a registered guest”. You see someone who is about to enter, and you tell her: “Don’t enter these premises if you are an unaccompanied registered guest”. She asks why, and you reply: “It follows from what the sign says”. It seems that you made a valid inference from an imperative premise to an imperative conclusion. But it also seems that imperatives (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  29. Logic for Physical Space: From Antiquity to Present Days.Marco Aiello, Guram Bezhanishvili, Isabelle Bloch & Valentin Goranko - 2012 - Synthese 186 (3):619-632.
    Since the early days of physics, space has called for means to represent, experiment, and reason about it. Apart from physicists, the concept of space has intrigued also philosophers, mathematicians and, more recently, computer scientists. This longstanding interest has left us with a plethora of mathematical tools developed to represent and work with space. Here we take a special look at this evolution by considering the perspective of Logic. From the initial axiomatic efforts of Euclid, we revisit the major milestones (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  30. Some Sketchy Notes on the Reaper Argument.Vladimir Marko - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19 (3):361-387.
    The paper deals with the possible readings of The Reaper Argument premisses. Some conjectures related to the Stoics’ alleged proof of the argument are discussed.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. Enhancing the Diagramming Method in Informal Logic.Dale Jacquette - 2011 - Argument: Biannual Philosophical Journal 1 (2):327-360.
    The argument diagramming method developed by Monroe C. Beardsley in his (1950) book Practical Logic, which has since become the gold standard for diagramming arguments in informal logic, makes it possible to map the relation between premises and conclusions of a chain of reasoning in relatively complex ways. The method has since been adapted and developed in a number of directions by many contemporary informal logicians and argumentation theorists. It has proved useful in practical applications and especially pedagogically in teaching (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. On a Minimal System of Aristotle’s Syllogistic.Piotr Kulicki - 2011 - Bulletin of the Section of Logic 40 (3/4):129-145.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  33. The Systems of Relevance Logic.Ryszard Mirek - 2011 - Argument: Biannual Philosophical Journal 1 (1):87-102.
    The system R, or more precisely the pure implicational fragment R›, is considered by the relevance logicians as the most important. The another central system of relevance logic has been the logic E of entailment that was supposed to capture strict relevant implication. The next system of relevance logic is RM or R-mingle. The question is whether adding mingle axiom to R› yields the pure implicational fragment RM› of the system? As concerns the weak systems there are at least two (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  34. Introduction: Diagrammatical Reasoning and Peircean Logic Representations.João Queiroz & Frederik Stjernfelt - 2011 - Semiotica 2011 (186):1-4.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Model-Checking CTL* Over Flat Presburger Counter Systems.Stéphane Demri, Alain Finkel, Valentin Goranko & Govert van Drimmelen - 2010 - Journal of Applied Non-Classical Logics 20 (4):313-344.
    This paper concerns model-checking of fragments and extensions of CTL* on infinite-state Presburger counter systems, where the states are vectors of integers and the transitions are determined by means of relations definable within Presburger arithmetic. In general, reachability properties of counter systems are undecidable, but we have identified a natural class of admissible counter systems (ACS) for which we show that the quantification over paths in CTL* can be simulated by quantification over tuples of natural numbers, eventually allowing translation of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Hallden Incomplete Calculus of Names.Piotr Kulicki - 2010 - Buletin of the Section of Logic 39 (1/2):53-55.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  37. Aristotle's Demonstrative Logic.John Corcoran - 2009 - History and Philosophy of Logic 30 (1):1-20.
    Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   12 citations  
  38. Logic, Act and Product.Jacques P. Dubucs & Wioletta Miśkiewicz - 2009 - In Giuseppe Primiero (ed.), Knowledge and Judgment. Springer Verlag.
    Logic and psychology overlap in judgment, inference and proof. The problems raised by this commonality are notoriously difficult, both from a historical and from a philosophical point of view. Sundholm has for a long time addressed these issues. His beautiful piece of work [A Century of Inference: 1837-1936] begins by summarizing the main difficulty in the usual provocative manner of the author: one can start, he says, by the act of knowledge to go to the object, as the Idealist does; (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  39. Symbolic Logic Study Guide (a Textbook).Xinli Wang - 2009 - University Readers.
    The Symbolic Logic Study Guide is designed to accompany the widely used symbolic logic textbook Language, Proof and Logic (LPL), by Jon Barwise and John Etchemendy (CSLI Publications 2003). The guide has two parts. The first part contains condensed, essential lecture notes, which streamline and systematize the first fourteen chapters of the book into seven teaching sections, and thus provide a clear, well-designed roadmap for the understanding of the text. The second part consists of twelve sample quizzes and solutions. The (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  40. Effective Finite-Valued Approximations of General Propositional Logics.Matthias Baaz & Richard Zach - 2008 - In Arnon Avron, Nachum Dershowitz & Alexander Rabinovich (eds.), Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Berlin: Springer. pp. 107–129.
    Propositional logics in general, considered as a set of sentences, can be undecidable even if they have “nice” representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already intuitionistic logic is PSPACE-complete). On the other hand, finite-valued logics are computationally relatively simple—at worst NP. Moreover, finite-valued semantics are simple, and general methods for theorem proving exist. This raises the question to what extent and under what circumstances propositional logics represented in various ways can (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  41. Aristotle's Many-Sorted Logic.J. Corcoran - 2008 - Bulletin of Symbolic Logic 14 (1):155-156.
    As noted in 1962 by Timothy Smiley, if Aristotle’s logic is faithfully translated into modern symbolic logic, the fit is exact. If categorical sentences are translated into many-sorted logic MSL according to Smiley’s method or the two other methods presented here, an argument with arbitrarily many premises is valid according to Aristotle’s system if and only if its translation is valid according to modern standard many-sorted logic. As William Parry observed in 1973, this result can be proved using my 1972 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  42. New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers.Peter B. M. Vranas - 2008 - Noûs 42 (4):529-572.
    Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   29 citations  
  43. Argument Diagramming in Logic, Artificial Intelligence, and Law.Chris Reed, Douglas Walton & Fabrizio Macagno - 2007 - Artificial Intelligence, and Law 22 (1):87-109.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  44. Reciprocità.Sergio Volodia Marcello Cremaschi, Giuseppe Papagno & Ghio Michelangelo - 2006 - In Virgilio Melchiorre (ed.), Enciclopedia filosofica. Milano, Italy: Bompiani. pp. 94986-94989.
    A discussion of distinct usages of the term reciprocity in philosophy of language, ethics, logic, anthropology and game theory.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45. Making Sense of Questions in Logic and Mathematics: Mill Vs. Carnap.Esther Ramharter - 2006 - Prolegomena 5 (2):209-218.
    Whether mathematical truths are syntactical (as Rudolf Carnap claimed) or empirical (as Mill actually never claimed, though Carnap claimed that he did) might seem merely an academic topic. However, it becomes a practical concern as soon as we consider the role of questions. For if we inquire as to the truth of a mathematical statement, this question must be (in a certain respect) meaningless for Carnap, as its truth or falsity is certain in advance due to its purely syntactical (or (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Aristotle's Prior Analytics and Boole's Laws of Thought.John Corcoran - 2003 - History and Philosophy of Logic. 24 (4):261-288.
    Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   18 citations  
  47. Many-Valued Logic between the Degrees of Truth and the Limits of Knowledge.Salah Osman - 2002 - Alexandria, Egypt: Al Maaref Establishment Press.
    هو أول كتاب باللغة العربية يعرض لمراحل وآليات تطور المنطق الرمزي المعاصر متعدد القيم بأنساقه المختلفة، مركزًا على مشكلة الغموض المعرفي للإنسان بأبعادها اللغوية والإبستمولوجية والأنطولوجية، والتي تتجلى – على سبيل المثال – فيما تحفل به الدراسات الفلسفية والمنطقية والعلمية من مفارقات تمثل تحديًا قويًا لثنائية الصدق والكذب الكلاسيكية، وكذلك في اكتشاف «هيزنبرج» لمبدأ اللايقين، وتأكيده وعلماء الكمّ على ضرورة التفسيرات الإحصائية في المجال دون الذري، الأمر الذي يؤكد عدم فعالية قانون الثالث المرفوع في التعامل مع معطيات الواقع الفعلي، واستحالة (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. Second-Order Logic.John Corcoran - 2001 - In M. Zeleny (ed.), Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. KLUKER. pp. 61–76.
    “Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of our traditional intuitive logical framework and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  49. The Logic of “Improper Cross”.Joseph S. Fulda - 2000 - Artificial Intelligence and Law 8 (4):337-341.
    Uses erotetic logic to model the courtroom objection "Improper Cross!". -/- Readers downloading the article should also please download the erratum et corrigendum, which is locally available.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. CORCORAN'S 27 ENTRIES IN THE 1999 SECOND EDITION.John Corcoran - 1999 - In Robert Audi (ed.), The Cambridge Dictionary of Philosophy. CAMBRIDGE UP. pp. 65-941.
    Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more than (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 58