Results for 'Light logics'

963 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. Branimir Boguraev and James Pustejovsky, eds., Corpus Processing for Lexical Acquisition.M. Light - 1998 - Journal of Logic Language and Information 7:111-114.
  4.  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.
  5.  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  
  6.  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  
  7.  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  
  8. 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  
  9.  23
    Light linear logics with controlled weakening: Expressibility, confluent strong normalization.Max Kanovich - 2012 - Annals of Pure and Applied Logic 163 (7):854-874.
  10.  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 (...)
  11.  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  
  12. 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 - +.
  13.  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  
  14.  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  
  15.  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  
  16.  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  
  17. 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  
  18. 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  
  19. FEFERMAN, S.-In the Light of Logic.D. Over - 2000 - Philosophical Books 41 (2):119-120.
     
    Export citation  
     
    Bookmark  
  20. Logic and coherence in the light of competitive games.Ahti-Veikko Pietarinen - 2000 - Logique Et Analyse 43:371-391.
  21.  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  
  22.  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  
  23. The tractatus in the light of intensional logic.P. Tichy - 1999 - Filosoficky Casopis 47 (2):249-261.
     
    Export citation  
     
    Bookmark  
  24. Evolving algebras and light linear logic.Dean Rosenzweig - 1997 - Bulletin of Symbolic Logic 3.
  25. Solomon Feferman, in the light of logic.G. Hellman - 2001 - Philosophia Mathematica 9 (2):231-237.
     
    Export citation  
     
    Bookmark  
  26. 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  
  27. 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  
  28. Mathematical Facts in Light of Nonfregean Logic.Wojciech Krysztofiak - 2011 - Filozofia Nauki 19 (4):83.
  29. 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  
  30. Logic and coherence in the light of competitive games, to appear in.A. Pietarinen - forthcoming - Logique Et Analyse.
     
    Export citation  
     
    Bookmark  
  31. Logic and Coherence in the Light of Competitive Games.Ahti Pietarinen - 2000 - Logique Et Analyse 43.
  32. 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  
  33. 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  
  34.  12
    In the Light of Logic. [REVIEW]Jeremy Avigad - 1999 - Journal of Philosophy 96 (12):638-642.
  35.  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  
  36.  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  
  37.  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  
  38. Hegel's Logic in the Light of Graph Theory.Adam Synowiecki, Krzysztof Kiwiel & John Dickson - 1973 - Dialectics and Humanism 1 (1):87-96.
  39. 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  
  40.  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  
  41. (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.
  42.  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  
  43.  71
    The Nature of Assertoric-Force and the Truth in Logic: An Elucidation of Fregean Truth in the Light of Husserl's Theory of Doxic-Modification.Gao Song - 2011 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 18 (4):423-446.
    The unique relation between logic and truth is crucial for understanding Fregean conception of logic. Frege has an insight that the nature of logic resides in the “truth“, which he finally locates in the assertoric-force of a sentence. Though Frege admits that assertoric-force is ineffable in ordinary language, he coins in his conceptual notation for such a force a much-disputed sign, i.e., judgment-stroke. In this paper, I will try to demonstrate that judgment-stroke is not adequate for the task its inventor (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  29
    The Logical Legacy of Nikolai Vasiliev and Modern Logic.Dmitry Zaitsev & Vladimir Markin (eds.) - 2017 - Cham: Springer Verlag.
    This volume offers a wide range of both reconstructions of Nikolai Vasiliev’s original logical ideas and their implementations in the modern logic and philosophy. A collection of works put together through the international workshop "Nikolai Vasiliev’s Logical Legacy and the Modern Logic," this book also covers foundations of logic in the light of Vasiliev’s contradictory ontology. Chapters range from a look at the Heuristic and Conceptual Background of Vasiliev's Imaginary Logic to Generalized Vasiliev-style Propositions. It includes works which cover (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45. Philosophical Logic = Philosophy + Logic?Ricardo Sousa Silvestre - 2021 - In J.-Y. Beziau, J.-P. Desclés, A. Moktefi & A. Pascau, Logic-in-Question (Workshop at the Sorbonne 2011-2019). pp. 299-327.
    My purpose in this paper is to shed some light on two questions: In what sense is logic philosophical? And what is philosophical logic? I take these two questions as co-extensive: an answer to one of them is also (or can easily be converted into) an answer to the other. I approach the problem from three perspectives: a conceptual, a descriptive and a prescriptive perspective. In other words, I try to answer the following questions: (i) In what sense can (...)
     
    Export citation  
     
    Bookmark  
  46.  57
    A Light Theory with Heavy Burdens.Joshua Gert - 2005 - Philosophical Studies 126 (1):57-70.
    In “ A Light Theory of Color”, Walter Sinnott-Armstrong and David Sparrow argue that color is neither a primary quality of objects, nor a disposition that objects have, nor a property of our visual fields. Rather, according to the view they present, color is a property of light. The present paper aims to show, first, that the light theory is vulnerable to many of the very same objections that Sinnott-Armstrong and Sparrow raise against rival views. Second, the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  47. Reading the Philosophy of Right in light of the Logic: Hegel on the Possibility of Multiple Modernities.Arash Abazari - 2022 - In Dean Moyar, Kate Padgett Walsh & Sebastian Rand, Hegel's philosophy of right: critical perspectives on freedom and history. New York, NY: Routledge.
    Broadly speaking, two views of modernity are prevalent in contemporary debates. According to the first view, i.e. “modernization theory,” there is one single form of modernity, which is tantamount to liberal, capitalist modernity. The West has already and fully achieved modernity; non-Western societies have lagged behind and must simply catch up with the West. In contrast, according to the second view, “post-colonial theory,” there is no such thing as modernity. What the West erroneously calls “modernity” is nothing but a highly (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  41
    Sartre’s Ontology. A Study of Being and Nothingness in the Light of Hegel’s Logic.Joseph P. Fell & Klaus Hartmann - 1968 - Philosophical Quarterly 18 (71):173.
  49.  81
    Informal Logic and the Foundations of Argument.Mark Weinstein - 2007 - The Proceedings of the Twenty-First World Congress of Philosophy 5:19-24.
    Informal logic offers a radical new perspective on the evaluation of arguments. But little work has been done on how deep concepts in the logical foundations of argument need to be modified in light of such efforts. This paper offers an indication of what might be done by sketching a new approach to the theory of entailment, truth and relevance.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50. The knower paradox in the light of provability interpretations of modal logic.Paul Égré - 2004 - Journal of Logic, Language and Information 14 (1):13-48.
    This paper propounds a systematic examination of the link between the Knower Paradox and provability interpretations of modal logic. The aim of the paper is threefold: to give a streamlined presentation of the Knower Paradox and related results; to clarify the notion of a syntactical treatment of modalities; finally, to discuss the kind of solution that modal provability logic provides to the Paradox. I discuss the respective strength of different versions of the Knower Paradox, both in the framework of first-order (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
1 — 50 / 963