Results for 'Light logics'

960 found
Order:
  1.  15
    From light logics to type assignments: a case study.M. Gaboardi & S. R. D. Rocca - 2009 - Logic Journal of the IGPL 17 (5):499-530.
  2. Symposium introduction Eric Katz's nature as subject.Andrew Light - 2002 - Ethics and the Environment 7 (1):102-108.
    In lieu of an abstract, here is a brief excerpt of the content:Ethics & the Environment 7.1 (2002) 102-108 [Access article in PDF] Symposium IntroductionEric Katz's Nature As Subject Andrew Light Can and should we distinguish between nature and culture? The question has become a perennial one in environmental ethics, as well as in allied fields in environmental history, sociology, and politics. And just when we think it is settled—as many did after William Cronon's famous deconstruction of wilderness in (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  3.  28
    Corpus processing for lexical acquisition, edited by Branimir boguraev and James Pustejovsky.Marc Light - 1998 - Journal of Logic, Language and Information 7 (1):111-114.
  4. Branimir Boguraev and James Pustejovsky, eds., Corpus Processing for Lexical Acquisition.M. Light - 1998 - Journal of Logic Language and Information 7:111-114.
  5.  49
    Data cultures of mobile dating and hook-up apps: Emerging issues for critical social science research.Rowan Wilken, Kane Race, Ben Light, Jean Burgess & Kath Albury - 2017 - Big Data and Society 4 (2).
    The ethical and social implications of data mining, algorithmic curation and automation in the context of social media have been of heightened concern for a range of researchers with interests in digital media in recent years, with particular concerns about privacy arising in the context of mobile and locative media. Despite their wide adoption and economic importance, mobile dating apps have received little scholarly attention from this perspective – but they are intense sites of data generation, algorithmic processing, and cross-platform (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  31
    In the following pages are to be found sixteen of the forty papers delivered at the Ontario Society for the Study of Argumentation (OSSA) conference held at Brock University, St. Catharines, Ontario in May of 1995. Most of the papers have been revised in light of comments raised at the conference and by referees for these" Proceedings". [REVIEW]Informal Logic - 1995 - Informal Logic 17 (2):123-126.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7. Logic and experience in the light of dialogic logic.Witold Marciszewski - 1983 - Bulletin of the Section of Logic 12 (4):173-178.
    There seems to be something mysterious about applications of for- mal systems, including those of logic, to empirical reality 1 . If logic is to be applied to empirical situations, like those described in an ordinary lan- guage, then { it seems to some people { its statements cannot be necessary, or analytic, propositions. However, they are both applicable and necessary. This supposed puzzle constitutes a signicant part of the problem of philo- sophical foundations of logic 2 . To this (...)
     
    Export citation  
     
    Bookmark  
  8.  50
    Logic in our common knowledge or logic in the light of common sense, common knowledge, and common understanding.William E. Ritter - 1944 - Philosophy of Science 11 (2):59-81.
    For thirty years at least, I have designated myself as a zoologist interested in the “philosophical aspects of biology”. But I have now to admit that not until within the last two or three years have I recognized that logic, particularly in its inductive aspect, is involved in such interest.For me as a zoologist with a predilection for natural history, observation has had a place of wide application and of implicit confidence. Until recently, I had rested in the supposition that (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  9. Logic and coherence in the light of competitive games, to appear in.A. Pietarinen - forthcoming - Logique Et Analyse.
     
    Export citation  
     
    Bookmark  
  10.  23
    Light linear logics with controlled weakening: Expressibility, confluent strong normalization.Max Kanovich - 2012 - Annals of Pure and Applied Logic 163 (7):854-874.
  11.  85
    The Epistemic Lightness of Truth: Deflationism and its Logic.Cezary Cieśliński - 2017 - Cambridge: Cambridge University Press.
    This book analyses and defends the deflationist claim that there is nothing deep about our notion of truth. According to this view, truth is a 'light' and innocent concept, devoid of any essence which could be revealed by scientific inquiry. Cezary Cieśliński considers this claim in light of recent formal results on axiomatic truth theories, which are crucial for understanding and evaluating the philosophical thesis of the innocence of truth. Providing an up-to-date discussion and original perspectives on this (...)
  12.  80
    In the Light of Logic.Solomon Feferman - 1998 - New York and Oxford: Oxford University Press.
    In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics. Most troubling among these is the revolutionary way in which Georg Cantor elaborated the nature of the infinite, and in doing so helped transform the face of twentieth-century mathematics. Feferman details the development of Cantorian concepts and the foundational difficulties they engendered. He argues that the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   48 citations  
  13. The Logic of “Asked and Answered!”: The case of the traffic light.Joseph S. Fulda - 2010 - Ratio Juris 23 (2):282-287.
    Uses erotetic logic to model the courtroom objection "Asked and Answered!".
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  28
    Images and Logic of the Light Cone: Tracking Robb’s Postulational Turn in Physical Geometry.Jordi Cat - 2016 - Revista de Humanidades de Valparaíso 8:39-100.
    Previous discussions of Robb’s work on space and time have offered a philosophical focus on causal interpretations of relativity theory or a historical focus on his use of non-Euclidean geometry, or else ignored altogether in discussions of relativity at Cambridge. In this paper I focus on how Robb’s work made contact with those same foundational developments in mathematics and with their applications. This contact with applications of new mathematical logic at Göttingen and Cambridge explains the transition from his electron research (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  48
    Logic in the Light of Cognitive Science.Jan Woleński - 2016 - Studies in Logic, Grammar and Rhetoric 48 (1):87-101.
    Logical theory codifies rules of correct inferences. On the other hand, logical reasoning is typically considered as one of the most fundamental cognitive activities. Thus, cognitive science is a natural meeting-point for investigations about the place of logic in human cognition. Investigations in this perspective strongly depend on a possible understanding of logic. This paper focuses on logic in the strict sense; that is, the theory of deductive inferences. Two problems are taken into account, namely: do humans apply logical rules (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  16.  39
    Subminimal Logics in Light of Vakarelov’s Logic.Satoru Niki - 2020 - Studia Logica 108 (5):967-987.
    We investigate a subsystem of minimal logic related to D. Vakarelov’s logic \, using the framework of subminimal logics by A. Colacito, D. de Jongh and A. L. Vargas. In the course of it, the relationship between the two semantics in the respective frameworks is clarified. In addition, we introduce a sequent calculus for the investigated subsystem, and some proof-theoretic properties are established. Lastly, we formulate a new infinite class of subsystems of minimal logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Logic and its Application in the Light of Ludwig Wittgenstein's Early Philosophy. Logical Notation and Natural Language.Mateusz Marek Radzki - 2010 - Filozofia Nauki 18 (1):35 - +.
  18. A logical determination of the ontological proof for the existence of God-Reflections on the concept of existence in light of Hegel's theory.A. Nuzzo - 1995 - Hegel-Studien 30:105-120.
     
    Export citation  
     
    Bookmark  
  19. FEFERMAN, S.-In the Light of Logic.D. Over - 2000 - Philosophical Books 41 (2):119-120.
     
    Export citation  
     
    Bookmark  
  20. The Limits of Logical Abductivism in Light of Theoretical Closure. 이진희 - 2025 - CHUL HAK SA SANG - Journal of Philosophical Ideas 95 (95):111-144.
    논리적 귀추주의란 논리학의 형이상학적, 인식론적 예외성을 인정하지 않고, 논리학 또한 과학과 유사하게 귀추적으로 평가되어야 한다는 주장이다. 필자는 이 글에서, 고전논리학과 양진주의의 사례를 통해, 귀추주의가 성립하지 않음을 보일 것이다. 이러한 필자의 주장은 ‘이론적 폐쇄성’에 기초한다. 이론적 폐쇄성이란, 논리학 이론은 형식적인 연산체계뿐 아니라 논리철학적 주장을 포함하는데, 이러한 논리철학적 주장은 논리학을 평가하는 귀추적 기준을 함축한다는 것이다. 간단히 말해, 논리이론은 귀추적 평가기준을 포함하는 폐쇄적 구조를 갖기 때문에, 경쟁하는 논리이론을 평가하는 독립적 기준을 제시할 수 없다는 것이다. 물론, 이러한 귀추주의의 문제점을 필자가 처음 제시한 것은 아니다. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  82
    Light affine lambda calculus and polynomial time strong normalization.Kazushige Terui - 2007 - Archive for Mathematical Logic 46 (3-4):253-280.
    Light Linear Logic (LLL) and Intuitionistic Light Affine Logic (ILAL) are logics that capture polynomial time computation. It is known that every polynomial time function can be represented by a proof of these logics via the proofs-as-programs correspondence. Furthermore, there is a reduction strategy which normalizes a given proof in polynomial time. Given the latter polynomial time “weak” normalization theorem, it is natural to ask whether a “strong” form of polynomial time normalization theorem holds or not. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Logic and coherence in the light of competitive games.Ahti-Veikko Pietarinen - 2000 - Logique Et Analyse 43:371-391.
  23. The tractatus in the light of intensional logic.P. Tichy - 1999 - Filosoficky Casopis 47 (2):249-261.
     
    Export citation  
     
    Bookmark  
  24. Moral particularism in the light of deontic logic.Xavier Parent - 2011 - Artificial Intelligence and Law 19 (2-3):75-98.
    The aim of this paper is to strengthen the point made by Horty about the relationship between reason holism and moral particularism. In the literature prima facie obligations have been considered as the only source of reason holism. I strengthen Horty’s point in two ways. First, I show that contrary-to-duties provide another independent support for reason holism. Next I outline a formal theory that is able to capture these two sources of holism. While in simple settings the proposed account coincides (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  25. Solomon Feferman, in the light of logic.G. Hellman - 2001 - Philosophia Mathematica 9 (2):231-237.
     
    Export citation  
     
    Bookmark  
  26.  60
    The Logic of Abduction in the Light of Peirce's Pragmatism.Atocha Aliseda - 2005 - Semiotica 2005 (153 - 1/4):363-374.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27. Logic and Coherence in the Light of Competitive Games.Ahti Pietarinen - 2000 - Logique Et Analyse 43.
  28.  40
    Consciousness by the lights of logic and commonsense.Selmer Bringsjord - 1997 - Behavioral and Brain Sciences 20 (1):144-146.
    I urge return by the lights of logic and commonsense to a dialectical tabula rasa – according to which: (1) consciousness, in the ordinary pre-analytic sense of the term, is identified with P-consciousness, and “A-consciousness” is supplanted by suitably configured terms from its Blockian definition; (2) the supposedly fallacious Searlean argument for the view that a function of P-consciousness is to allow flexible and creative cognition is enthymematic and, when charitably specified, quite formidable.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  29. Evolving algebras and light linear logic.Dean Rosenzweig - 1997 - Bulletin of Symbolic Logic 3.
  30.  12
    In the Light of Logic. [REVIEW]Jeremy Avigad - 1999 - Journal of Philosophy 96 (12):638-642.
  31. The unbearable lightness of logical conclusions.Roy Sorensen - unknown
    When my son Maxwell was a toddler, he did not believe he was ever an infant. This skepticism became manifest when he started identifying himself in photographs. Maxwell was accurate with photographs that were taken after age six months. But he dismissed earlier pictures as photographs of "BABIES".
     
    Export citation  
     
    Bookmark  
  32. Mathematical Facts in Light of Nonfregean Logic.Wojciech Krysztofiak - 2011 - Filozofia Nauki 19 (4):83.
  33.  40
    Logic, Vol. 1: Deduction.Alexander Bain - 1870 - Longmans, Green.
    Excerpt from Logic, Vol. 1: Deduction The present work aims at embracing a full course of Logic, both Formal and Inductive. In an introductory chapter, are set forth such doctrines of psychology as have a bearing on Logic, the nature of knowledge in general, and the classification of the sciences the intention being to avoid doctrinal digressions in the course of the work. Although preparatory to the under standing of what follows, this chapter may be passed over lightly on a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. Non-declarative Sentences and Communication in Husserl’s Logical Investigations. Contributions to a Theory on Communicative Acts in the Light of Husserl and Austin.Pedro Alves - unknown - Phainomena 74.
    In this paper I discuss the consistency and accuracy of Husserl’s sketch of a theory about non-declarative sentences in the last chapter of Logical Investigations. Whereas the consistency is acknowledged, the accuracy is denied, because Husserl’s treatment of non-declarative phrases such as questions or orders implies that those phrases contain, in some way, a declarative sentence and an objectifying act. To construct a question like »is A B?« as being equivalent to a declarative sentence such as »I ask whether A (...)
     
    Export citation  
     
    Bookmark  
  35. Demo Light for Composing Models.Jan van Eijck - unknown
    Light version of DEMO for composing epistemic models, based on the code for the ESSLLI 2008 course on Dynamic Epistemic Logic (see http:// homepages.cwi.nl/~jve/courses/esslli08/) extended with vocabulary information [EWS10]. Factual change is also treated. The piece ends with some examples: the muddy children, and hat puzzles, dealing with the interaction of perception and change [Eijar].
     
    Export citation  
     
    Bookmark  
  36. Probability logic.Niki Pfeifer - 2021 - In Markus Knauff & Wolfgang Spohn, The Handbook of Rationality. London: MIT Press.
    This chapter presents probability logic as a rationality framework for human reasoning under uncertainty. Selected formal-normative aspects of probability logic are discussed in the light of experimental evidence. Specifically, probability logic is characterized as a generalization of bivalent truth-functional propositional logic (short “logic”), as being connexive, and as being nonmonotonic. The chapter discusses selected argument forms and associated uncertainty propagation rules. Throughout the chapter, the descriptive validity of probability logic is compared to logic, which was used as the gold (...)
     
    Export citation  
     
    Bookmark   3 citations  
  37. Logical Form: Between Logic and Natural Language.Andrea Iacona - 2018 - Cham, Switzerland: Springer Verlag.
    Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  38.  41
    Luther as Nominalist: A Study of the Logical Methods Used in Martin Luther's Disputations in the Light of Their Medieval Background.Graham White - 1941 - Helsinki, Finland: Luther-Agricola Society.
    We examine a series of disputations which Luther participated in towards the end of his career: we argue that these disputations show that Luther was very familiar with the tools of medieval formal logic, and continued to make positive theological use of them until the end of his life.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  39. Hegel's Logic in the Light of Graph Theory.Adam Synowiecki, Krzysztof Kiwiel & John Dickson - 1973 - Dialectics and Humanism 1 (1):87-96.
  40.  37
    The Supplement of the Copula: Linguistic Light on an Old Logical Problem.John Deely - 1992 - Review of Metaphysics 46 (2):251 - 277.
    ASSERTIONS ARE A SYMBOLIC FORM that exists only within species--specifically human language. Language, of course, allows for many other conventions of symbolic expression: greetings, exclamations, commands, exhortations, imprecations, interrogatives, and so forth. But assertions are unique in possessing, of themselves, a truth-value--that is to say, in being adjudicable as true or false. All other varieties of discourse are adjudicable as true or false by reason of assertions they presuppose, contain, or imply. But the assertion as such is what is directly (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  17
    Logic and Philosophy: An Integrated Introduction.William H. Brenner - 1993 - Notre Dame, IN, USA: University of Notre Dame Press.
    In the Western philosophical tradition logical investigation and philosophical advance have been inextricably linked, each having stimulated and shaped the other. In Logic and Philosophy William H. Brenner examines a broad range of logical concepts and methods as they relate to the larger context of philosophical investigation and thus bring to light the philosophical depth of logic and its relevance to philosophy in general.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  4
    From logic to politics: a reading of Hegel's "Philosophy of right".Dessislav Valkanov - 2015 - [Plovdiv]: Plovdiv University Press.
    'From Logic to Politics' is a study of a promise: the promise of philosophy as universal science that could comprehend, connect and guide, and of politics elucidated and made transparent for thinking. Hegel's Philosophy of Right is built on that promise, and set on the goal of grasping its time and providing the ground of modern politics in the idea of right. The fulfilment of this task is made possible in the light of the first, fundamental science, which for (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  9
    Logical Perspectives on Language and Information.Cleo A. Condoravdi & Gerard Renardel de Lavalette (eds.) - 2001 - Center for the Study of Language and Inf.
    The rapid innovations in digital technology deeply influence views on language and information processing. These exciting developments raise many questions for researchers, and shed new light on old approaches. Researchers are drawn to closely investigate the relation between form and content, the ways that linguistic utterances change information content, and the dynamics of information change. Logic, as an established method of valid argumentation, is a tool that researchers can use to gain insight in these questions of language and computation. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  15
    Ultra-Light Clay Intervention Improves Responsiveness and Initiates the Communication of Children With ASD.Jing Zhang, Qingzhou Sun, Xue Liu & Fuyi Yang - 2022 - Frontiers in Psychology 13.
    The barriers to responsiveness and the initiation of communication are the two key problems encountered by children with autism spectrum disorders. Prior interventions based on behavioral reinforcement have had an obvious effect on responsive communication but a weak effect on the initiation of communication. Based on psychological development theory, we designed ultra-light clay interventions involving hands-on production or multi-interaction around key concepts and themes, teaching children about basic concepts, relationships, and logic, making abstract knowledge concrete and experience. Two studies (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. (1 other version)Definition in Plato's Meno. An inquiry in the light of logic and semantics into the kind of definition intended by Socrates when he asks « What is virtue? ».Laura Grimm - 1965 - Revue Philosophique de la France Et de l'Etranger 155:513-514.
  46.  18
    The Classical Conception of Truth in the Light of Hegel's "Logic“.Marek Kozłowski - 1988 - Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica 6:111-120.
    Ponieważ każda księga heglowskiej "Logiki" przedstawia tylko jej właściwy sposób przejawiania się bytu, więc zakłada ona także - określoną przez ten sposób przejawiania się bytu - charakterystyczną wykładnię prawdy. Niedowolna kolejność poszczególnych ksiąg określa wtedy także porządek, w jaki układają się założone w nich wykładnie prawdy. Skorelowanie klasycznej i innych wykładni prawdy z odpowiednimi księgami "Logiki" pozwala więc wykorzystać porządek "Logiki” do odtworzenia struktury całości prawdy, tzn. także do objaśnienia miejsca, jakie klasyczna wykładnia zajmuje zarówno w obrębie całości prawdy, jak (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  44
    The Logic of Learning.Christian Bennet - 2019 - Axiomathes 29 (2):173-187.
    An intensional logic is presented and suggested as a framework for a formal investigation of learning. The framework allows for discussing and comparing concepts and representations, and makes it possible to view learning processes as iterations of a certain type of functions. It is shown how this framework may be used to shed light on Meno’s paradox, but also on concepts such as Vygotsky’s ZPD and learning trajectories. In the case of mathematics, where there are recent attempts to merge (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48. Buddhist Logic.Koji Tanaka - forthcoming - Routledge Encyclopaedia of Philosophy.
    Buddhist philosophers have investigated the techniques and methodologies of debate and argumentation which are important aspects of Buddhist intellectual life. This was particularly the case in India, where Buddhism and Buddhist philosophy originated. But these investigations have also engaged philosophers in China, Japan, Korea and Tibet, and many other parts of the world that have been influenced by Buddhism and Buddhist philosophy. Several elements of the Buddhist tradition of philosophy are thought to be part of this investigation. -/- There are (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Logical anti‐exceptionalism meets the “logic‐as‐models” approach.Jonas R. Becker Arenhart - 2022 - Theoria 88 (6):1211-1227.
    Logical anti‐exceptionalism is the view that logic is not special, it is continuous with science. This continuity is typically understood in terms of the use of the abductive method in logical theory choice, with logical knowledge resulting from our choice of the theory best accounting for the data. In this paper, we argue for two related claims: (i) that this understanding of the continuity between logic and science faces considerable challenges; and (ii) that such challenges may be avoided by elaborating (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50. Shedding light on time.Craig Callender - 2000 - Philosophy of Science 67 (3):599.
    Throughout this century many philosophers and physicists have gone for thc ‘big ki11’ regarding tenses. They have tried to show via McTaggart’s paradox and special relativity that tcnscs arc logically and physically impossible, rcspcctivcly. Ncithcr attempt succccds, though as I argue, both lcavc their mark. In thc iirst two sections of thc paper I introduce some conceptual difficulties for the tensed theory of time. The next section then discusses the standing 0f tenses in light of special relativity, cspccially rcccnt (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   106 citations  
1 — 50 / 960