Results for 'Logic of insight'

1000+ found
Order:
  1. Jacob’s Ladder: Logics of Magic, Metaphor and Metaphysics.Julio Michael Stern - 2020 - Sophia 59 (2):365-385.
    In this article, we discuss some issues concerning magical thinking—forms of thought and association mechanisms characteristic of early stages of mental development. We also examine good reasons for having an ambivalent attitude concerning the later permanence in life of these archaic forms of association, and the coexistence of such intuitive but informal thinking with logical and rigorous reasoning. At the one hand, magical thinking seems to serve the creative mind, working as a natural vehicle for new ideas and innovative insights, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  2. Jacob’s Ladder: Logics of Magic, Metaphor and Metaphysics: Narratives of the Unconscious, the Self, and the Assembly.Julio Michael Stern - 2020 - Sophia 59 (2):365-385.
    In this article, we discuss some issues concerning magical thinking—forms of thought and association mechanisms characteristic of early stages of mental development. We also examine good reasons for having an ambivalent attitude concerning the later permanence in life of these archaic forms of association, and the coexistence of such intuitive but informal thinking with logical and rigorous reasoning. At the one hand, magical thinking seems to serve the creative mind, working as a natural vehicle for new ideas and innovative insights, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  3. Constructivism and the Logic of Political Representation.Thomas Fossen - 2019 - American Political Science Review 113 (3):824-837.
    There are at least two politically salient senses of “representation”—acting-for-others and portraying-something-as-something. The difference is not just semantic but also logical: relations of representative agency are dyadic (x represents y), while portrayals are triadic (x represents y as z). I exploit this insight to disambiguate constructivism and to improve our theoretical vocabulary for analyzing political representation. I amend Saward’s claims-based approach on three points, introducing the “characterization” to correctly identify the elements of representational claims; explaining the “referent” in pragmatic, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. The Metaphysics and Logic of Psychology: Peirce's Reading of James's Principles.Mathias Girel - 2003 - Transactions of the Charles S. Peirce Society 39 (2):163-203.
    The present paper deals thus with some fundamental agreements and disagreements between Peirce and James, on crucial issues such as perception and consciousness. When Peirce first read the Principles, he was sketching his theory of the categories, testing its applications in many fields of knowledge, and many investigations were launched, concerning indexicals, diagrams, growth and development. James's utterances led Peirce to make his own views clearer on a wide range of topics that go to the heart of the foundations of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. The Artificial Intelligence Explanatory Trade-Off on the Logic of Discovery in Chemistry.José Ferraz-Caetano - 2023 - Philosophies 8 (2):17.
    Explanation is a foundational goal in the exact sciences. Besides the contemporary considerations on ‘description’, ‘classification’, and ‘prediction’, we often see these terms in thriving applications of artificial intelligence (AI) in chemistry hypothesis generation. Going beyond describing ‘things in the world’, these applications can make accurate numerical property calculations from theoretical or topological descriptors. This association makes an interesting case for a logic of discovery in chemistry: are these induction-led ventures showing a shift in how chemists can problematize research (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. The Dawn of Pure Logical Grammar: Husserl’s Study of Inauthentic Judgments from ‘On the Logic of Signs’ as the Germ of the Fourth Logical Investigation.Thomas Byrne - 2017 - Studia Phaenomenologica 1 (17):285-308.
    This paper accomplishes two goals. First, I elucidate Edmund Husserl’s theory of inauthentic judgments from his 1890 “On the Logic of Signs (Semiotic).” It will be shown how inauthentic judgments are distinct from other signitive experiences, in such a manner that when Husserl seeks to account for them, he is forced to revise the general structure of his philosophy of meaning and in doing so, is also able to realize novel insights concerning the nature of signification. Second, these conclusions (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Information and design: book symposium on Luciano Floridi’s The Logic of Information.D. Bawden, T. Gorichanaz, J. Furner, L. Robinson, M. Ma, K. Herold, B. Van der Veer Martens, L. Floridi & D. Dixon - manuscript
    Purpose – To review and discuss Luciano Floridi’s 2019 book The Logic of Information: A Theory of Philosophy as Conceptual Design, the latest instalment in his philosophy of information (PI) tetralogy, particularly with respect to its implications for library and information studies (LIS). Design/methodology/approach – Nine scholars with research interests in philosophy and LIS read and responded to the book, raising critical and heuristic questions in the spirit of scholarly dialogue. Floridi responded to these questions. Findings – Floridi’s PI, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Logics for AI and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, September 8-9 and 11-12, 2023, Hangzhou.Bruno Bentzen, Beishui Liao, Davide Liga, Reka Markovich, Bin Wei, Minghui Xiong & Tianwen Xu (eds.) - 2023 - College Publications.
    This comprehensive volume features the proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, held in Hangzhou, China on September 8-9 and 11-12, 2023. The collection offers a diverse range of papers that explore the intersection of logic, artificial intelligence, and law. With contributions from some of the leading experts in the field, this volume provides insights into the latest research and developments in the applications of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Political and economic theology after Carl Schmitt: The confessional logic of deferment.Andrea Mura - 2022 - Journal for Cultural Research 2022 (3):266-278.
    Carl Schmitt’s critical insights into ‘economic-technical thinking’ and the dominant role that a ‘magical technicity’ is said to assume in the social horizon of his times offers an opportunity to reframe contemporary debates on political and economic theology, exposing a theological core behind technocratic administration. Starting from this premise, the article engages with recent inquiries into so-called ‘debt economy’, assessing the affective function that ‘deferment’ and ‘confession’ perform as dominant operators in the social imaginary of neoliberal governance.
    Download  
     
    Export citation  
     
    Bookmark  
  10. Grice and Heidegger on the Logic of Conversation.Chad Engelland - 2020 - In Matt Burch & Irene McMullin (eds.), Transcending Reason: Heidegger on Rationality. London: pp. 171-186.
    What justifies one interlocutor to challenge the conversational expectations of the other? Paul Grice approaches conversation as one instance of joint action that, like all such action, is governed by the Cooperative Principle. He thinks the expectations of the interlocutors must align, although he acknowledges that expectations can and do shift in the course of a conversation through a process he finds strange. Martin Heidegger analyzes discourse as governed by the normativity of care for self and for another. It is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. The Reliability Challenge and the Epistemology of Logic.Joshua Schechter - 2010 - Philosophical Perspectives 24 (1):437-464.
    We think of logic as objective. We also think that we are reliable about logic. These views jointly generate a puzzle: How is it that we are reliable about logic? How is it that our logical beliefs match an objective domain of logical fact? This is an instance of a more general challenge to explain our reliability about a priori domains. In this paper, I argue that the nature of this challenge has not been properly understood. I (...)
    Download  
     
    Export citation  
     
    Bookmark   76 citations  
  12. Insight and the Enlightenment: Why Einsicht_ in Chapter Six of Hegel’s _Phenomenology of Spirit?Jeffrey Reid - 2016 - Hegel Bulletin (2):1-23.
    Hegel uses the term Einsicht (‘insight’) throughout several key subsections of Chapter Six of the Phenomenology of Spirit (notably in ‘Faith and Pure Insight’ and ‘The Struggle of the Enlightenment with Superstition’). Nowhere else in his work does the term enjoy such a sustained treatment. Commentators generally accept Hegel’s use of the term in the Phenomenology as simply referring to the type of counter-religious reasoning found in the French Enlightenment. I show how Hegel derives the term, through the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  13. The Logical Space of Democracy.Christian List - 2011 - Philosophy and Public Affairs 39 (3):262-297.
    Can we design a perfect democratic decision procedure? Condorcet famously observed that majority rule, our paradigmatic democratic procedure, has some desirable properties, but sometimes produces inconsistent outcomes. Revisiting Condorcet’s insights in light of recent work on the aggregation of judgments, I show that there is a conflict between three initially plausible requirements of democracy: “robustness to pluralism”, “basic majoritarianism”, and “collective rationality”. For all but the simplest collective decision problems, no decision procedure meets these three requirements at once; at most (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  14. Relevant Logics, Counterfactual Worlds, and the Understanding of Narrative.Luis Galván - 2019 - In Matei Chihaia & Katharina Rennhak (eds.), Relevance and Narrative Research. Lanham, USA / London: Lexington Books. pp. 37-60.
    The aim of this paper is to explore what insights relevant logics may provide for the understanding of literary fictional narrative. To date, hardly anyone has reflected on the intersection of relevant logics and narratology, and some could think that there is good reason for it. On the one hand, relevance has been a prominent issue in pragmatics, in the tradition of Grice, and Sperber and Wilson; thus framed, relevance is highly context-sensitive, so it seems unsuitable for formal analysis. On (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. The Dawn of Husserl’s Pure Logical Grammar.Thomas Byrne - 2017 - Studia Phaenomenologica 17:285-308.
    This paper accomplishes two goals. First, I elucidate Edmund Husserl’s theory of inauthentic judgments from his 1890 “On the Logic of Signs.” It will be shown how inauthentic judgments are distinct from other signitive experiences, in such a manner that when Husserl seeks to account for them, he is forced to revise the general structure of his philosophy of meaning and in doing so, is also able to realize novel insights concerning the nature of signification. Second, these conclusions are (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  16. Logical model of Personality and Cognition with possible Applications.Miro Brada - 2016 - In Park Woosuk (ed.), KAIST/KSBS International Workshop. KAIST. pp. 89-100.
    Although the cognition is significant in strategic reasoning, its role has been weakly analyzed, because only the average intelligence is usually considered. For example, prisoner's dilemma in game theory, would have different outcomes for persons with different intelligence. I show how various levels of intelligence influence the quality of reasoning, decision, or the probability of psychosis. I explain my original methodology developed for my MA thesis in clinical psychology in 1998, and grant research in 1999, demonstrating the bias of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. The value of thinking and the normativity of logic.Manish Oza - 2020 - Philosophers' Imprint 20 (25):1-23.
    (1) This paper is about how to build an account of the normativity of logic around the claim that logic is constitutive of thinking. I take the claim that logic is constitutive of thinking to mean that representational activity must tend to conform to logic to count as thinking. (2) I develop a natural line of thought about how to develop the constitutive position into an account of logical normativity by drawing on constitutivism in metaethics. (3) (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  18. Powerful Logic: Prime Matter as Principle of Individuation and Pure Potency.Paul Symington - 2020 - Review of Metaphysics 73 (3):495-529.
    A lean hylomorphism stands as a metaphysical holy grail. An embarrassing feature of traditional hylomorphic ontologies is prime matter. Prime matter is both so basic that it cannot be examined (in principle) and its engagement with the other hylomorphic elements is far from clear. One particular problem posed by prime matter is how it is to be understood both as a principle of individuation for material substances and as pure potency. I present Thomas Aquinas’s way of squeezing some intelligibility out (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. White Logic and the Constancy of Color.Helen A. Fielding - 2006 - In Dorothea Olkowski & Gail Weiss (eds.), Feminist Interpretations of Maurice Merleau-Ponty. University Park, Pennsylvania, USA: Pennsylvania State University Press. pp. 71-89.
    This chapter considers the ways in which whiteness as a skin color and ideology becomes a dominant level that sets the background against which all things, people and relations appear. Drawing on Merleau-Ponty's phenomenology, it takes up a series of films by Bruce Nauman and Marlon Riggs to consider ways in which this level is phenomenally challenged providing insights into the embodiment of racialization.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  20. The Evolution of Husserl’s Semiotics: The Logical Investigations and its Revisions (1901-1914).Thomas Byrne - 2018 - Bulletin d'Analyse Phénoménologique 14:1-23.
    This paper offers a more comprehensive and accurate picture of Edmund Husserl’s semiotics. I not only clarify, as many have already done, Husserl’s theory of signs from the 1901 Logical Investigations, but also examine how he transforms that element of his philosophy in the 1913/14 Revisions to the Sixth Logical Investigation. Specifically, the paper examines the evolution of two central tenets of Husserl’s semiotics. I first look at how he modifies his classification of signs. I disclose why he revised his (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  21. Forcing and the Universe of Sets: Must We Lose Insight?Neil Barton - 2020 - Journal of Philosophical Logic 49 (4):575-612.
    A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often forcing constructions that add subsets to models are cited as evidence in favour of the latter. This paper informs this debate by analysing ways the Universist might interpret this discourse that seems (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  22. A Judgmental Reconstruction of some of Professor Woleński’s logical and philosophical writings.Fabien Schang - 2020 - Studia Humana 9 (3):72-103.
    Roman Suszko said that “Obviously, any multiplication of logical values is a mad idea and, in fact, Łukasiewicz did not actualize it.” The aim of the present paper is to qualify this ‘obvious’ statement through a number of logical and philosophical writings by Professor Jan Woleński, all focusing on the nature of truth-values and their multiple uses in philosophy. It results in a reconstruction of such an abstract object, doing justice to what Suszko held a ‘mad’ project within a generalized (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Implicitness of Logos and Explicitness of Logics in Ancient Philosophy.Nijaz Ibrulj - 2022 - The Logical Foresight 2 (1):1-24.
    We consider semantic and syntactic transformations of the concept of "the logical" in the ancient philosophy in the form of crypto-logos, para-logismos, dia-logos, and syl-logismos. We interpret Heraclitus' concept of Logos as a cryptologos through which intuitive insight (epístasthai gnóomen) reveals hidden or implicit harmony (harmoníe aphanés) in nature (phýsis) as a conceptual unity of ontic opposites (tà enantía). In Pramenides' paraconsistent concept of the identity of Being and thought, we point to para-logical hypotheses about the One that are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Hegel’s Critique of Parmenides in the Science of Logic.Arif Yildiz - 2020 - Arkhe-Logos 10 (10):19-44.
    Parmenides plays an important role in the first section of Hegel’s Science of Logic due to his definition of being as a pure thought-determination. This article investigates, first, how Hegel conceives the Parmenidean being. Secondly, by discussing Hegel's logical analysis of pure being and pure nothing, it aims to show why and how such conception of being, according to Hegel, provides a crucial insight into the function of the understanding.
    Download  
     
    Export citation  
     
    Bookmark  
  25. The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle: Articles and Reviews 2006-2016.Michael Starks - 2016 - Michael Starks.
    This collection of articles was written over the last 10 years and the most important and longest within the last year. Also I have edited them to bring them up to date (2016). The copyright page has the date of this first edition and new editions will be noted there as I edit old articles or add new ones. All the articles are about human behavior (as are all articles by anyone about anything), and so about the limitations of having (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Logical ignorance and logical learning.Richard Pettigrew - 2021 - Synthese 198 (10):9991-10020.
    According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  27. The necessities of Hegel's logics.David Kolb - 2009 - In Angelica Nuzzo (ed.), Hegel and the Analytic Tradition. Continuum.
    want to question this idea of a pure presuppositionless self-developing sequence of logical categories. This is part of a larger investigation of the inherence of Hegel's thought in historical language. Concerning the necessary self-development of thought, I have three objections to propose. The first concerns the difficulty of recognizing a uniquely correct sequence of categories, when the various versions all express positive insights. The second concerns the very idea of a unified sequence. The third concerns the goal of pure self-development.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. A Little More Logical: Reasoning Well About Science, Ethics, Religion, and the Rest of Life.Brendan Shea - 2023 - Rochester, MN: Thoughtful Noodle Books.
    "A Little More Logical" is the perfect guide for anyone looking to improve their critical thinking and logical reasoning skills. With chapters on everything from logic basics to fallacies of weak induction to moral reasoning, this book covers all the essential concepts you need to become a more logical thinker. You'll learn about influential figures in the field of logic, such as Rudolph Carnap, Betrrand Russell, and Ada Lovelace, and how to apply your newfound knowledge to real-world situations. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Emergence, evolution, and the geometry of logic: Causal leaps and the myth of historical development. [REVIEW]Stephen Palmquist - 2007 - Foundations of Science 12 (1):9-37.
    After sketching the historical development of “emergence” and noting several recent problems relating to “emergent properties”, this essay proposes that properties may be either “emergent” or “mergent” and either “intrinsic” or “extrinsic”. These two distinctions define four basic types of change: stagnation, permanence, flux, and evolution. To illustrate how emergence can operate in a purely logical system, the Geometry of Logic is introduced. This new method of analyzing conceptual systems involves the mapping of logical relations onto geometrical figures, following (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  30. A Bio-Logical Theory of Animal Learning.David Guez - 2009 - Biological Theory 4 (2):148-158.
    This article provides the foundation for a new predictive theory of animal learning that is based upon a simple logical model. The knowledge of experimental subjects at a given time is described using logical equations. These logical equations are then used to predict a subject’s response when presented with a known or a previously unknown situation. This new theory suc- cessfully anticipates phenomena that existing theories predict, as well as phenomena that they cannot. It provides a theoretical account for phenomena (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. What Isn’t Obvious about ‘obvious’: A Data-driven Approach to Philosophy of Logic.Moti Mizrahi - 2019 - In Andrew Aberdein & Matthew Inglis (eds.), Advances in Experimental Philosophy of Logic and Mathematics. London: Bloomsbury Press. pp. 201-224.
    It is often said that ‘every logical truth is obvious’ (Quine 1970: 82), that the ‘axioms and rules of logic are true in an obvious way’ (Murawski 2014: 87), or that ‘logic is a theory of the obvious’ (Sher 1999: 207). In this chapter, I set out to test empirically how the idea that logic is obvious is reflected in the scholarly work of logicians and philosophers of logic. My approach is data-driven. That is to say, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. A Neglected Additament: Peirce on Logic, Cosmology, and the Reality of God.Jon Alan Schmidt - 2018 - Signs 9 (1):1-20.
    Two different versions of the ending of the first additament to C. S. Peirce's 1908 article, "A Neglected Argument for the Reality of God," appear in the Collected Papers but were omitted from The Essential Peirce. In one, he linked the hypothesis of God's Reality to his entire theory of logic as semeiotic, claiming that proving the latter would also prove the former. In the other, he offered a final outline of his cosmology, in which the Reality of God (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  33. Ingarden’s Husserl: A critical assessment of the 1915 review of the logical investigations.Thomas Byrne - 2020 - HORIZON. Studies in Phenomenology 9 (2):513-531.
    This essay critically assesses Roman Ingarden’s 1915 review of the second edition of Edmund Husserl’s Logical Investigations. I elucidate and critique Ingarden’s analysis of the differences between the 1901 first edition and the 1913 second edition. I specifically examine three tenets of Ingarden’s interpretation. First, I demonstrate that Ingarden correctly denounces Husserl’s claim that he only engages in an eidetic study of consciousness in 1913, as Husserl was already performing eidetic analyses in 1901. Second, I show that Ingarden is misguided, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  34. A “Principally Unacceptable” Theory: Husserl's Rejection and Revision of his Philosophy of Meaning Intentions from the Logical Investigations.Thomas Byrne - 2020 - Studia Phaenomenologica 20:359-380.
    This paper accomplishes two goals. First, the essay elucidates Husserl’s descriptions of meaning consciousness from the 1901 Logical Investigations. I examine Husserl’s observations about the three ways we can experience meaning and I discuss his conclusions about the structure of meaning intentions. Second, the paper explores how Husserl reworked that 1901 theory in his 1913/14 Revisions to the Sixth Investigation. I explore how Husserl transformed his descriptions of the three intentions involved in meaningful experience. By doing so, Husserl not only (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  35. Formalizing the logical (self-reference) error of the Liar Paradox.Pete Olcott - manuscript
    This paper decomposes the Liar Paradox into its semantic atoms using Meaning Postulates (1952) provided by Rudolf Carnap. Formalizing truth values of propositions as Boolean properties of these propositions is a key new insight. This new insight divides the translation of a declarative sentence into its equivalent mathematical proposition into three separate steps. When each of these steps are separately examined the logical error of the Liar Paradox is unequivocally shown.
    Download  
     
    Export citation  
     
    Bookmark  
  36. Contextualizing Individual Competencies for Managing the Corporate Social Responsibility Adaptation Process: The Apparent Influence of the Business Case Logic.Martin Mulder, Vincent Blok, Renate Wesselink & Eghe R. Osagie - 2019 - Business and Society 58 (2):369-403.
    Companies committed to corporate social responsibility should ensure that their managers possess the appropriate competencies to effectively manage the CSR adaptation process. The literature provides insights into the individual competencies these managers need but fails to prioritize them and adequately contextualize them in a manner that makes them meaningful in practice. In this study, we contextualized the competencies within the different job roles CSR managers have in the CSR adaptation process. We interviewed 28 CSR managers, followed by a survey to (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  37. Contextualizing Individual Competencies for Managing the Corporate Social Responsibility Adaptation Process: The Apparant Influence of the Business Case Logic.Eghe Osagie, Renate Wesselink, Vincent Blok & Martin Mulder - 2019 - Business and Society 2 (58):369-403.
    Companies committed to corporate social responsibility (CSR) should ensure that their managers possess the appropriate competencies to effectively manage the CSR adaptation process. The literature provides insights into the individual competencies these managers need but fails to prioritize them and adequately contextualize them in a manner that makes them meaningful in practice. In this study, we contextualized the competencies within the different job roles CSR managers have in the CSR adaptation process. We interviewed 28 CSR managers, followed by a survey (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Verified completeness in Henkin-style for intuitionistic propositional logic.Huayu Guo, Dongheng Chen & Bruno Bentzen - 2023 - In Bruno Bentzen, Beishui Liao, Davide Liga, Reka Markovich, Bin Wei, Minghui Xiong & Tianwen Xu (eds.), Logics for AI and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, September 8-9 and 11-12, 2023, Hangzhou. College Publications. pp. 36-48.
    This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional (...) with implication, conjunction, disjunction, and falsity given in terms of a Hilbert-style axiomatization. As far as we know, our implementation is the first verified Henkin-style proof of completeness for intuitionistic logic following Troelstra and van Dalen's method in the literature. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Logical and Spiritual Reflections.Avi Sion - 2008 - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
    Logical and Spiritual Reflections is a collection of six shorter philosophical works, including: Hume’s Problems with Induction; A Short Critique of Kant’s Unreason; In Defense of Aristotle’s Laws of Thought; More Meditations; Zen Judaism; No to Sodom. Of these works, the first set of three constitutes the Logical Reflections, and the second set constitutes the Spiritual Reflections. Hume’s Problems with Induction, which is intended to describe and refute some of the main doubts and objections David Hume raised with regard to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Partitioning Logical Space.Jeroen Groenendijk & Martin Stokhof - manuscript
    In the present version of these lecture notes only a number of typos and a few glaring mistakes have been corrected. Thanks to Paul Dekker for his help in this respect. No attempt has been been made to update the original text or to incorporate new insights and approaches. For a more recent overview, see our ‘Questions’ in the Handbook of Logic and Language (edited by Johan van Benthem and Alice ter Meulen, Elsevier, 1997).
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  41. Informal Logic: A 'Canadian' Approach to Argument.Federico Puppo (ed.) - 2019 - Windsor, Canada: Windsor Studies in Argumentation.
    The informal logic movement began as an attempt to develop – and teach – an alternative logic which can account for the real life arguing that surrounds us in our daily lives – in newspapers and the popular media, political and social commentary, advertising, and interpersonal exchange. The movement was rooted in research and discussion in Canada and especially at the University of Windsor, and has become a branch of argumentation theory which intersects with related traditions and approaches (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  42. "The Coloniality of Homelessness".Kevin Jobe - 1999 - In G. John M. Abbarno (ed.), The Ethics of Homelessness: Philosophical Perspectives. Rodopi. pp. 388–425.
    This chapter introduces the notion of the coloniality of homelessness as a way to make sense of how the anthropological imaginaries of Euro-American sovereignty were mapped onto a political economy of homelessness and nomadic forms of life and labor. By tracing the conceptual mapping of homelessness through the colonial encounters of anthropology and urban ethnography, we can see how constructions of homeless culture are bound up with the racial logics of Eurocentrism that distinguished superior Aryan races from inferior nomadic ones. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Different researchers’ opinion based survey: On the insights and the beliefs’ regarding the existence of God in various religions to the atheistic belief with ‘no presence of God at all’.Deep Bhattacharjee - manuscript
    If this can be seen as a long way from the beginning of the ancient history, where humans have envisioned different new things and then invented them to make their life’s working smoother and easier, then it can be found that they have attributed their discoveries to various aspects and names of Gods and tried to signify their belief in the form of portraying the God’s powers through the nature of their discovery. Rather, in much modern times, when humans have (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Deontic Logic and Ethics.Shyam Nair - forthcoming - In Gabbay, John Horty, Xavier Parent, Ron van der Meyden & Leon van der Torre (eds.), Handbook of Deontic Logic and Normative System, Volume 2. College Publications.
    Though there have been productive interactions between moral philosophers and deontic logicians, there has also been a tradition of neglecting the insights that the fields can offer one another. The most sustained interactions between moral philosophers and deontic logicians have notbeen systematic but instead have been scattered across a number of distinct and often unrelated topics. This chapter primarily focuses on three topics. First, we discuss the “actualism/possibilism” debate which, very roughly, concerns the relevance of what one will do at (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Kant’s Categories and Jung’s Types as Perspectival Maps To Stimulate Insight in a Counseling Session.Stephen R. Palmquist - 2005 - International Journal of Philosophical Practice 3 (1):1-27.
    After coining the term “philopsychy” to describe a “soul-loving” approach to philosophical practice, especially when it welcomes a creative synthesis of philosophy and psychology, this article identifies a system of geometrical figures (or “maps”) that can be used to stimulate reflection on various types of perspectival differences. The maps are part of the author’s previously established mapping methodology, known as the Geometry of Logic. As an illustration of how philosophy can influence the development of psychology, Immanuel Kant’s table of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  98
    Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations.Sara Ayhan - forthcoming - Journal of Logic and Computation.
    In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard correspondence, which has been well-established between the simply typed lambda-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Ruminations: Sundry Notes and Essays on Logic.Avi Sion - 2005 - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
    Ruminations is a collection of sundry notes and essays on Logic. These complement and enrich the author’s past writings, further analyzing or reviewing certain issues. Among the many topics covered are: the importance of the laws of thought, and how they are applied using the logic of paradox; details of formal logic, including some important new insights on the nesting, merger and splitting up of hypothetical propositions; details of causal logic, including analogical reasoning from cause to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Job's Final Insight, Narratives, and the Brain.Godehard Brüntrup - 2022 - European Journal for Philosophy of Religion 13 (4).
    In continental philosophy of religion, the hermeneutics of narratives takes a central role. Analytic philosophy of religion, on the other hand, considers religious statements mostly as assertions of fact. It examines the logical form and semantics of religious statements, addresses their logical commitments, and examines their epistemological status. Using the example of a passage in the Book of Job, it is investigated whether the methods of analytic philosophy are also suitable for analyzing religious narratives. The question is explored whether there (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Seeing Both: A Memoir of Chances.William M. Goodman - 2023 - Oshawa, Ontario: via Amazon. SeeingBoth(dot)com.
    Goodman draws together, in this memoir, his explorations of meaning and coincidence, and his lived experiences of chance, and his professional experiences teaching, writing, and consulting about risk. The book opens by describing the author's life-changing encounter with a Zen Buddhist monk in 1977, over a cup of tea. Returning to his beginnings, Goodman recounts his coming-of-age, from participating the 1960’s U.S. protests and Vietnam-War resistance, to finally settling down in Canada. He describes his role in a supporting, silent vigil (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000