Results for 'logical constraint'

970 found
Order:
See also
  1. Logical Constraints on Judgement Aggregation.Marc Pauly & Martin van Hees - 2006 - Journal of Philosophical Logic 35 (6):569 - 585.
    Logical puzzles like the doctrinal paradox raise the problem of how to aggregate individual judgements into a collective judgement, or alternatively, how to merge collectively inconsistent knowledge bases. In this paper, we view judgement aggregation as a function on propositional logic valuations, and we investigate how logic constrains judgement aggregation. In particular, we show that there is no non-dictatorial decision method for aggregating sets of judgements in a logically consistent way if the decision method is local, i.e., only depends (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   116 citations  
  2.  21
    Logical Constraints on Judgement Aggregation.Marc Pauly & Martin Hees - 2006 - Journal of Philosophical Logic 35 (6):569-585.
    Logical puzzles like the doctrinal paradox raise the problem of how to aggregate individual judgements into a collective judgement, or alternatively, how to merge collectively inconsistent knowledge bases. In this paper, we view judgement aggregation as a function on propositional logic valuations, and we investigate how logic constrains judgement aggregation. In particular, we show that there is no non-dictatorial decision method for aggregating sets of judgements in a logically consistent way if the decision method is local, i.e., only depends (...)
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  3. Putting logic in its place: formal constraints on rational belief.David Phiroze Christensen - 2004 - New York: Oxford University Press.
    What role, if any, does formal logic play in characterizing epistemically rational belief? Traditionally, belief is seen in a binary way - either one believes a proposition, or one doesn't. Given this picture, it is attractive to impose certain deductive constraints on rational belief: that one's beliefs be logically consistent, and that one believe the logical consequences of one's beliefs. A less popular picture sees belief as a graded phenomenon.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   237 citations  
  4. The Problem of Evil and the Pauline Principle: Consent, Logical Constraints, and Free Will.Marilie Coetsee - 2023 - Religions 14 (1):1-15.
    James Sterba uses the Pauline Principle to argue that the occurrence of significant, horrendous evils is logically incompatible with the existence of a good God. The Pauline Principle states that (as a rule) one must never do evil so that good may come from it, and according to Sterba, this principle implies that God may not permit significant evils even if that permission would be necessary to secure other, greater goods. By contrast, I argue that the occurrence of significant evils (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  38
    Tractable query answering and rewriting under description logic constraints.Héctor Pérez-Urbina, Boris Motik & Ian Horrocks - 2010 - Journal of Applied Logic 8 (2):186-209.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  6. Logic and Natural Language: Commitments and Constraints.Gil Sagi - 2020 - Disputatio 12 (58):377-408.
    In his new book, Logical Form, Andrea Iacona distinguishes between two different roles that have been ascribed to the notion of logical form: the logical role and the semantic role. These two roles entail a bifurcation of the notion of logical form. Both notions of logical form, according to Iacona, are descriptive, having to do with different features of natural language sentences. I agree that the notion of logical form bifurcates, but not that the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Constraints for Input/Output Logics.David Makinson & Leendert van der Torre - 2001 - Journal of Philosophical Logic 30 (2):155 - 185.
    In a previous paper we developed a general theory of input/output logics. These are operations resembling inference, but where inputs need not be included among outputs, and outputs need not be reusable as inputs. In the present paper we study what happens when they are constrained to render output consistent with input. This is of interest for deontic logic, where it provides a manner of handling contrary-to-duty obligations. Our procedure is to constrain the set of generators of the input/output system, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   45 citations  
  8.  54
    Constraints on the lexicalization of logical operators.Roni Katzir & Raj Singh - 2013 - Linguistics and Philosophy 36 (1):1-29.
    We revisit a typological puzzle due to Horn (Doctoral Dissertation, UCLA, 1972) regarding the lexicalization of logical operators: in instantiations of the traditional square of opposition across categories and languages, the O corner, corresponding to ‘nand’ (= not and), ‘nevery’ (= not every), etc., is never lexicalized. We discuss Horn’s proposal, which involves the interaction of two economy conditions, one that relies on scalar implicatures and one that relies on markedness. We observe that in order to express markedness and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  9.  11
    Logic Programming Languages: Constraints, Functions, and Objects.Krzysztof R. Apt & J. J. M. M. Rutten - 1993 - MIT Press.
    This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped according to the unifying themes of functional programming, constraint, logic programming, and object-oriented programming.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  11
    The logic of constraint satisfaction.Alan K. Mackworth - 1992 - Artificial Intelligence 58 (1-3):3-20.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  25
    Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction.John Hooker - 2011 - Wiley.
    A pioneering look at the fundamental role of logic in optimizationand constraint satisfaction While recent efforts to combine optimization and constraintsatisfaction have received considerable attention, little has beensaid about using logic in optimization as the key to unifying thetwo fields. Logic-Based Methods for Optimization develops for thefirst time a comprehensive conceptual framework for integratingoptimization and constraint satisfaction, then goes a step furtherand shows how extending logical inference to optimization allowsfor more powerful as well as flexible modeling and (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. (1 other version)Putting Logic in Its Place. Formal Constraints on Rational Belief.David Christensen - 2007 - Erkenntnis 67 (1):143-146.
    No categories
     
    Export citation  
     
    Bookmark   108 citations  
  13.  43
    Logical possibility and the isomorphism constraint.Bernard Harrison - 1999 - Behavioral and Brain Sciences 22 (6):954-955.
    Palmer's “isomorphism constraint” presupposes the logical possibility of two qualitatively disparate sets of sensory experiences exhibiting the same relationships. Two arguments are presented to demonstrate that, because such a state of affairs cannot be coherently specified, its occurrence is not logically possible. The prospects for behavioral and biological science are better than Palmer suggests; those for functionalism are worse.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  14.  11
    Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings.John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv & Peter J. Stuckey - 2000 - Springer Verlag.
    These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  19
    Logic programs with abstract constraint atoms: The role of computations.Lengning Liu, Enrico Pontelli, Tran Cao Son & Miroslaw Truszczyński - 2010 - Artificial Intelligence 174 (3-4):295-315.
  16.  35
    Morgan, the ‘Gratuitous’ Logic of Sport, and the Art of Self-Imposed Constraints.Sigmund Loland - 2018 - Sport, Ethics and Philosophy 12 (4):348-360.
    Sport occupies a significant role in modern society and has a wide following. In his Leftist Theories of Sport, Morgan examines what he considers to be a degradation of modern sport and the lack of proper critical theory to address this challenge. In the latter part of LTS, Morgan presents a reconstructed critical theory with ‘a liberal twist’ in terms of an analysis of what he sees as the internal ‘gratuitous’ logic of sport, and a call for critical deliberation in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  17.  12
    The Hyperbolic Logic of Constraint in the Poetic Works of Jacques Jouet.Peter Poiana - 2019 - Substance 48 (2):65-80.
    In their brief online presentation "Qu'est-ce que l'Oulipo?", Jacques Roubaud and Marcel Bénabou explain how Oulipians proceed in the exploration of the lipo, littérature potentielle: "Certes, MAIS COMMENT?", they ask, before replying: "En inventant des contraintes. Des contraintes nouvelles et anciennes, difficiles et moins diiffficiles et trop diiffiiciiiles. La Littérature Oulipienne est une LITTÉRATURE SOUS CONTRAINTES." The vigorous tone conveyed by spelling and typography points to the distinct challenge posed by Oulipian writing, which relies on the difficulty of the (...) in its effort to reach as far as possible into the uncharted territory of potential literature.... (shrink)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  15
    Constraint satisfaction using constraint logic programming.Pascal Van Hentenryck, Helmut Simonis & Mehmet Dincbas - 1992 - Artificial Intelligence 58 (1-3):113-159.
  19. Formality in Logic: From Logical Terms to Semantic Constraints.Gil Sagi - 2014 - Logique Et Analyse 57 (227).
    In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  20.  16
    The Logic of Precedent: Constraint, Freedom, and Common Law Reasoning.John Horty - 2024 - Cambridge University Press.
    Unlike statutory law, which relies on the explicit formulation of rules, common law is thought to emerge from a complex doctrine of precedential constraint, according to which decisions in earlier cases constrain later courts while still allowing these courts the freedom to address new situations in creative ways. Although this doctrine is applied by legal practitioners on a daily basis, it has proved to be considerably more difficult to develop an adequate theoretical account of the doctrine itself. Drawing on (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  11
    Optimization Methods for Logical Inference.Vijay Chandru & John Hooker - 1999 - University of Texas Press.
    Merging logic and mathematics in deductive inference-an innovative, cutting-edge approach. Optimization methods for logical inference? Absolutely, say Vijay Chandru and John Hooker, two major contributors to this rapidly expanding field. And even though "solving logical inference problems with optimization methods may seem a bit like eating sauerkraut with chopsticks... it is the mathematical structure of a problem that determines whether an optimization model can help solve it, not the context in which the problem occurs." Presenting powerful, proven optimization (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  9
    Recent Advances in Constraints Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Csclp 2003, Budapest, Hungary, June 30 - July 2, 2003 : Selected Papers.Krzysztof Apt, Francois Fages, Francesca Rossi, Peter Szeredi & Josef Váncza - 2004 - Springer Verlag.
    Constraint programming is the fruit of several decades of research carried out in mathematical logic, automated deduction, operations research and arti?cial intelligence. The tools and programming languages arising from this research?eldhaveenjoyedrealsuccessintheindustrialworldastheycontributetosolving hard combinatorial problems in diverse domains such as production planning, communication networks, robotics and bioinformatics. This volume contains the extended and reviewed versions of a selection of papers presented at the Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, which was held from June (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. Logical Principles of Agnosticism.Luis Rosa - 2019 - Erkenntnis 84 (6):1263-1283.
    Logic arguably plays a role in the normativity of reasoning. In particular, there are plausible norms of belief/disbelief whose antecedents are constituted by claims about what follows from what. But is logic also relevant to the normativity of agnostic attitudes? The question here is whether logical entailment also puts constraints on what kinds of things one can suspend judgment about. In this paper I address that question and I give a positive answer to it. In particular, I advance two (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  24. Adaptive fuzzy logics for contextual hedge interpretation.Stephan der Waart van Gulivank - 2009 - Journal of Logic, Language and Information 18 (3).
    The article presents several adaptive fuzzy hedge logics . These logics are designed to perform a specific kind of hedge detection. Given a premise set Γ that represents a series of communicated statements, the logics can check whether some predicate occurring in Γ may be interpreted as being (implicitly) hedged by technically , strictly speaking or loosely speaking , or simply non-hedged. The logics take into account both the logical constraints of the premise set as well as conceptual information (...)
     
    Export citation  
     
    Bookmark  
  25. 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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  26. Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P.Veronica Biazzo, Angelo Gilio, Thomas Lukasiewicz & Giuseppe Sanfilippo - 2002 - Journal of Applied Non-Classical Logics 12 (2):189-213.
    We study probabilistic logic under the viewpoint of the coherence principle of de Finetti. In detail, we explore how probabilistic reasoning under coherence is related to model- theoretic probabilistic reasoning and to default reasoning in System . In particular, we show that the notions of g-coherence and of g-coherent entailment can be expressed by combining notions in model-theoretic probabilistic logic with concepts from default reasoning. Moreover, we show that probabilistic reasoning under coherence is a generalization of default reasoning in System (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  27. Recent Advances in Constraints Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : Selected Papers.B. O'sullivan - 2003
    No categories
     
    Export citation  
     
    Bookmark  
  28.  14
    Implementing logical connectives in constraint programming.Christopher Jefferson, Neil C. A. Moore, Peter Nightingale & Karen E. Petrie - 2010 - Artificial Intelligence 174 (16-17):1407-1429.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  56
    Connexive Logic, Probabilistic Default Reasoning, and Compound Conditionals.Niki Pfeifer & Giuseppe Sanfilippo - 2024 - Studia Logica 112 (1):167-206.
    We present two approaches to investigate the validity of connexive principles and related formulas and properties within coherence-based probability logic. Connexive logic emerged from the intuition that conditionals of the formif not-A,thenA, should not hold, since the conditional’s antecedentnot-Acontradicts its consequentA. Our approaches cover this intuition by observing that the only coherent probability assessment on the conditional eventAA{A| \overline{A}}A|A¯isp(AA)=0{p(A| \overline{A})=0}p(A|A¯)=0. In the first approach we investigate connexive principles within coherence-based probabilistic default reasoning, by interpreting defaults and negated defaults in terms (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  61
    Linear-time temporal logics with Presburger constraints: an overview ★.Stéphane Demri - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):311-347.
    We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are well-designed to specify and verify systems that can be modelled with counter systems. The paper recalls the general framework of LTL over concrete domains and presents the main decidability and complexity results related to fragments of Presburger LTL. Related formalisms are also briefly presented.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  31.  18
    Privacy, Deontic Epistemic Action Logic and Software Agents: An Executable Approach to Modeling Moral Constraints in Complex Informational Relationships.V. Wiegel, M. Hoven & G. Lokhorst - 2005 - Ethics and Information Technology 7 (4):251-264.
    In this paper we present an executable approach to model interactions between agents that involve sensitive, privacy-related information. The approach is formal and based on deontic, epistemic and action logic. It is conceptually related to the Belief-Desire-Intention model of Bratman. Our approach uses the concept of sphere as developed by Waltzer to capture the notion that information is provided mostly with restrictions regarding its application. We use software agent technology to create an executable approach. Our agents hold beliefs about the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  13
    Over-Constrained Systems.Michael Jampel, Eugene C. Freuder, Michael Maher & International Conference on Principles and Practice of Constraint Programming - 1996 - Springer Verlag.
    This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems. Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an introduction (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. Applied Logic without Psychologism.Gregory Wheeler - 2008 - Studia Logica 88 (1):137-156.
    Logic is a celebrated representation language because of its formal generality. But there are two senses in which a logic may be considered general, one that concerns a technical ability to discriminate between different types of individuals, and another that concerns constitutive norms for reasoning as such. This essay embraces the former, permutation-invariance conception of logic and rejects the latter, Fregean conception of logic. The question of how to apply logic under this pure invariantist view is addressed, and a methodology (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  34. Logical Maximalism in the Empirical Sciences.Constantin C. Brîncuș - 2021 - In Parusniková Zuzana & Merritt David, Karl Popper's Science and Philosophy. Cham, Switzerland: Springer. pp. 171-184.
    K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with a revision of logic in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35.  37
    Relevance logic as a conservative extension of classical logic.David C. Makinson - 2014 - In Sven Ove Hansson, David Makinson on Classical Methods for Non-Classical Problems. Series: Outstanding Contributions to Logic. Springer.
    Relevance logic is ordinarily seen as a subsystem of classical logic under the translation that replaces arrows by horseshoes. If, however, we consider the arrow as an additional connective alongside the horseshoe, then another perspective emerges: the theses of relevance logic, specifically the system R, may also be seen as the output of a conservative extension of the relation of classical consequence. We describe two ways in which this may be done. One is by defining a suitable closure relation out (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. Logic, Logical Form, and the Disunity of Truth.Will Gamester - 2019 - Analysis 79 (1):34-43.
    Monists say that the nature of truth is invariant, whichever sentence you consider; pluralists say that the nature of truth varies between different sets of sentences. The orthodoxy is that logic and logical form favour monism: there must be a single property that is preserved in any valid inference; and any truth-functional complex must be true in the same way as its components. The orthodoxy, I argue, is mistaken. Logic and logical form impose only structural constraints on a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  37. A Semantic Constraint on the Logic of Modal Conditionals.Zsófia Zvolenszky - 2006 - Proceedings of the Ninth Symposium on Logic and Language (LoLa 9).
  38.  38
    Philosophical Logic: A Contemporary Introduction.John MacFarlane - 2020 - Routledge.
    "Philosophical logic" describes two distinct areas: the investigation of the fundamental concepts of logic, the formal investigation of alternatives and extensions to classical logic. The first is a philosophical discipline, concerned with notions like truth, propositions, necessity, logical consequence, vagueness, and reasoning. The second is a technical discipline, devoted to developing formal logical systems-modal logics, second-order logics, intuitionistic logics, relevance logics, logics of vagueness and conditionals-and proving things about them. Most texts in philosophical logic focus on one of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  69
    Some logics of iterated belief change.John Cantwell - 1999 - Studia Logica 63 (1):49-84.
    The problems that surround iterated contractions and expansions of beliefs are approached by studying hypertheories, a generalisation of Adam Grove's notion of systems of spheres. By using a language with dynamic and doxastic operators different ideas about the basic nature of belief change are axiomatised. It is shown that by imposing quite natural constraints on how hypertheories may change, the basic logics for belief change can be strengthened considerably to bring one closer to a theory of iterated belief change. It (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  40. Another way logic might be normative.J. W. Evershed - 2021 - Synthese 199 (3):5861-5881.
    Is logic normative for reasoning? In the wake of work by Gilbert Harman and John MacFarlane, this question has been reduced to: are there any adequate bridge principles which link logical facts to normative constraints on reasoning? Hitherto, defenders of the normativity of logic have exclusively focussed on identifying adequate validity bridge principles: principles linking validity facts—facts of the form 'gamma entails phi'—to normative constraints on reasoning. This paper argues for two claims. First, for the time being at least, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  41.  52
    The complexity of modellability in finite and computable signatures of a constraint logic for head-driven phrase structure grammar.Paul John King, Kiril Ivanov Simov & Bjørn Aldag - 1999 - Journal of Logic, Language and Information 8 (1):83-110.
    The SRL of King is a sound, complete and decidable logic designed specifically to support formalisms for the HPSG of Pollard and Sag. The SRL notion of modellability in a signature is particularly important for HPSG, and the present paper modifies an elegant method due to Blackburn and Spaan in order to prove that – modellability in each computable signature is 1 0 – modellability in some finite signature is 1 0 -hard, and – modellability in some finite signature is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  17
    Complexity of modal logics with Presburger constraints.Stéphane Demri & Denis Lugiez - 2010 - Journal of Applied Logic 8 (3):233-252.
  43.  18
    A new probabilistic constraint logic programming language based on a generalised distribution semantics.Steffen Michels, Arjen Hommersom, Peter J. F. Lucas & Marina Velikova - 2015 - Artificial Intelligence 228 (C):1-44.
  44.  75
    Logic programming languages, constraints, functions, and objects, edited by K. R. Apt, J. W. de Bakker, and J. J. M. M. Rutten, Logic programming, The MIT Press, Cambridge, Mass., and London, 1993, xiv + 204 pp. [REVIEW]Peter H. Schmitt - 1995 - Journal of Symbolic Logic 60 (4):1327-1328.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  45. (1 other version)Logic and formal ontology.B. Smith - 1989 - In Barry Smith, Constraints on Correspondence. Hölder/Pichler/Tempsky. pp. 29-67.
    The current resurgence of interest in cognition and in the nature of cognitive processing has brought with it also a renewed interest in the early work of Husserl, which contains one of the most sustained attempts to come to grips with the problems of logic from a cognitive point of view. Logic, for Husserl, is a theory of science; but it is a theory which takes seriously the idea that scientific theories are constituted by the mental acts of cognitive subjects. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  46.  71
    Adaptive fuzzy logics for contextual hedge interpretation.Stephan van der Waart van Gulik - 2009 - Journal of Logic, Language and Information 18 (3):333-356.
    The article presents several adaptive fuzzy hedge logics. These logics are designed to perform a specific kind of hedge detection. Given a premise set Γ that represents a series of communicated statements, the logics can check whether some predicate occurring in Γ may be interpreted as being (implicitly) hedged by technically, strictly speaking or loosely speaking, or simply non-hedged. The logics take into account both the logical constraints of the premise set as well as conceptual information concerning the meaning (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  47.  15
    Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings.Bart Demoen & Vladimir Lifschitz - 2004 - Springer Verlag.
    This book constitutes the refereed proceedings of the 20th International Conference on Logic Programming, ICLP 2004, held in Saint-Malo, France in September 2004. The 28 revised full papers and 16 poster papers presented together with 2 invited papers were carefully reviewed and selected from 70 submissions. The papers are organized in topical sections on program analysis, constraints, alternative programming paradigms, answer set programming, and implementation.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. (1 other version)Logical Form.Miguel Hoeltje - 2013 - In Ernest LePore & Kirk Ludwig, A Companion to Donald Davidson (Blackwell Companions to Philosophy). Chichester, West Sussex: Wiley-Blackwell.
    Donald Davidson contributed to the discussion of logical form in two ways. On the one hand, he made several influential suggestions on how to give the logical forms of certain constructions of natural language. His account of adverbial modification and so called action-sentences is nowadays, in some form or other, widely employed in linguistics (Harman (forthcoming) calls it "the standard view"). Davidson's approaches to indirect discourse and quotation, while not as influential, also still attract attention today. On the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  11
    Logic Programming: Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming.Michael Maher - 1996 - MIT Press.
    Includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Constraints, Concurrency and Parallelism, Deductive Databases, Implementations, Meta and Higher-order Programming, Theory, and Semantic Analysis. September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. Structuring Logical Space.Alejandro Pérez Carballo - 2014 - Philosophy and Phenomenological Research 92 (2):460-491.
    I develop a non-representationalist account of mathematical thought, on which the point of mathematical theorizing is to provide us with the conceptual capacity to structure and articulate information about the physical world in an epistemically useful way. On my view, accepting a mathematical theory is not a matter of having a belief about some subject matter; it is rather a matter of structuring logical space, in a sense to be made precise. This provides an elegant account of the cognitive (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   19 citations  
1 — 50 / 970