Year:

  1. Sampling Logic and Argumentation.D. Gabbay - 2010 - Journal of the Indian Council of Philosophical Research 28 (2):233-255.
     
    Export citation  
     
    My bibliography  
  2. Quantified Modal Logic.Horacio Costa - 2010 - Journal of the Indian Council of Philosophical Research 27 (2).
    The chapter is divided in two parts. The first part gives an introduction to issues in quantified modal logic . We provide an overview of recent work in QML and we presuppose the use of a relational semantics. We discuss models for constant domains, increasing domains and varying domains and present axiomatizations for the corresponding logics. We also discuss philosophical issues related to the interpretation of the quantifiers, terms and identity and we present a first-order quantified intensional logic. A crucial (...)
     
    Export citation  
     
    My bibliography  
  3. Logic and Probability.Kenny Easwaran - 2010 - Journal of the Indian Council of Philosophical Research 27 (2):229-253.
    As is clear from the other articles in this volume, logic has applications in a broad range of areas of philosophy. If logic is taken to include the mathematical disciplines of set theory, model theory, proof theory, and recursion theory (as well as first-order logic, second-order logic, and modal logic), then the only other area of mathematics with such wide-ranging applications in philosophy is probability theory.
    Direct download  
     
    Export citation  
     
    My bibliography  
  4. Sampling Logic and Argumentation Networks: A Manifesto.Dov Gabbay - 2010 - Journal of the Indian Council of Philosophical Research 27 (2).
     
    Export citation  
     
    My bibliography  
  5. Many-Valued Logic and Fuzzy Logic.Petr Hajek - 2010 - Journal of the Indian Council of Philosophical Research 27 (2).
    Mathematical fuzzy logic is presented as a kind of many-valued logic with a comparative notion of truth. Relation of fuzzy logic to theories of vagueness is briefly discussed.
     
    Export citation  
     
    My bibliography  
  6. Twelve Theses on the Use of Logic in Moral Philosophy.Sven Hansson - 2010 - Journal of the Indian Council of Philosophical Research 27 (2).
    Logic is a useful tool in moral philosophy, since it provides us with precise tools to study the structure of moral concepts and moral argumentation. Twelve theses on the use of logic in moral philosophy are put forward, emphasizing the possibilities but also pointing out some of the pitfalls.
     
    Export citation  
     
    My bibliography  
  7. Agency and Interaction What We Are and What We Do in Formal Epistemology.Jeffrey Helzner & Vincent Hendricks - 2010 - Journal of the Indian Council of Philosophical Research 27 (2).
    Formal epistemology is the study of crucial concepts in general or main- stream epistemology including knowledge, belief , certainty, ra- tionality, reasoning, decision, justi cation, learning, agent interaction and information processing using a spread of di¤erent formal tools. These formal tools may be drawn from elds such as logic, probability theory, game theory, decision theory, formal learning theory, and distributed com- puting –such variety is typical in formal epistemology, a eld in which interaction with topics outside of philosophy proper is (...)
     
    Export citation  
     
    My bibliography  
  8. Logic and Philosophy of Mathematics.Hannes Leitgeb - 2010 - Journal of the Indian Council of Philosophical Research 27 (2).
     
    Export citation  
     
    My bibliography  
  9.  1
    Logics of Informational Attitudes and Informative Actions.Eric Pacuit - 2010 - Journal of the Indian Council of Philosophical Research 27 (2):37.
  10. Epistemic Logic and the Foundations of Decision and Game Theory.Olivier Roy - 2010 - Journal of the Indian Council of Philosophical Research 27 (2):283-314.
     
    Export citation  
     
    My bibliography  
  11. Navya-Nyaya Logic.Prabal Sen & Amita Chatterjee - 2010 - Journal of the Indian Council of Philosophical Research 27 (2).
     
    Export citation  
     
    My bibliography  
  12. Logic and Quantum Physics.Sonja Smets - 2010 - Journal of the Indian Council of Philosophical Research 27 (2).
     
    Export citation  
     
    My bibliography   2 citations  
  13. Logic and Philosophy of Science.Bas van Fraassen - 2010 - Journal of the Indian Council of Philosophical Research 27 (2).
     
    Export citation  
     
    My bibliography  
  14. Logic and Categories as Tools for Building Theories.Samson Abramsky - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
     
    Export citation  
     
    My bibliography  
  15. Belief Change.Richard Booth & Thomas Meyer - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
    In this paper we present a brief overview of logic-based belief change, a research area concerned with the question of how a rational agent ought to change its mind in the face of new, possibly conflicting, information. Our intention is to provide the reader with a basic introduction to the work done in this area over the past 30 years. In doing so we hope to sketch the main historical results, provide appropriate pointers to further references, and discuss some current (...)
     
    Export citation  
     
    My bibliography  
  16. Computability Theory.Barry Cooper - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
     
    Export citation  
     
    My bibliography   3 citations  
  17. A Brief History Of Chinese Logic.Fenrong Liu & Wujing Yang - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
     
    Export citation  
     
    My bibliography   1 citation  
  18. Algebraic Logic.Hiroakira Ono - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
     
    Export citation  
     
    My bibliography  
  19. Some Remarks on Knowledge, Games and Society.Rohit Parikh - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
    No categories
     
    Export citation  
     
    My bibliography  
  20. Model Theory.Anand Pillay - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
     
    Export citation  
     
    My bibliography  
  21. Memory and Logic: A Tale From Automata Theory.R. Ramanujam - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
     
    Export citation  
     
    My bibliography  
  22. Two Indian Dialectical Logics: Saptabhaṅgī and Catuṣkoṭi.Fabien Schang - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
    A rational interpretation is proposed for two ancient Indian logics: the Jaina saptabhaṅgī, and the Mādhyamika catuṣkoṭi. It is argued that the irrationality currently imputed to these logics relies upon some philosophical preconceptions inherited from Aristotelian metaphysics. This misunderstanding can be corrected in two steps: by recalling their assumptions about truth; by reconstructing their ensuing theory of judgment within a common conceptual framework.
     
    Export citation  
     
    My bibliography  
  23. Set Theory.Jouko Vaananen - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
    No categories
     
    Export citation  
     
    My bibliography  
  24. Temporal and Dynamic Logic.Frank Wolter & Michael Wooldridge - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
    We present an introductory survey of temporal and dynamic logics: logics for reasoning about how environments change over time, and how dynamic processes affect their environments.We begin by introducing the historical development of temporal and dynamic logic, starting with the seminal work of Prior. This leads to a discussion of the use of temporal and dynamic logic in computer science. We describe LTL, CTL, and PDL; three key formalisms used in computer science for reasoning about programs, and illustrate how these (...)
     
    Export citation  
     
    My bibliography  
  25.  91
    Understanding, Formal Verification, and the Philosophy of Mathematics.Jeremy Avigad - 2010 - Journal of the Indian Council of Philosophical Research 27:161-197.
    The philosophy of mathematics has long been concerned with deter- mining the means that are appropriate for justifying claims of mathemat- ical knowledge, and the metaphysical considerations that render them so. But, as of late, many philosophers have called attention to the fact that a much broader range of normative judgments arise in ordinary math- ematical practice; for example, questions can be interesting, theorems important, proofs explanatory, concepts powerful, and so on. The as- sociated values are often loosely classied as (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  26.  23
    Sanskrit Philosophical Commentary.Jonardon Ganeri & M. Miri - 2010 - Journal of the Indian Council of Philosophical Research 27:187-207.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  27.  12
    Two Indian Dialectical Logics: Saptabha Ngı and Catus. Kot. I.Fabien Schang - 2010 - Journal of the Indian Council of Philosophical Research 27:45-75.
    Direct download  
     
    Export citation  
     
    My bibliography  
  28.  16
    Meaning, Context, and Logical Truth.Isidora Stojanovic - 2010 - Journal of the Indian Council of Philosophical Research 2.
    Included in a special issue, edited by J. van Benthem and A. Gupta, on "Logic and Philosophy Today".
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  29.  71
    Logic in Cognitive Science: Bridging the Gap Between Symbolic and Connectionist Paradigms.Alistair Isaac & Jakub Szymanik - 2010 - Journal of the Indian Council of Philosophical Research (2):279-309.
    This paper surveys applications of logical methods in the cognitive sciences. Special attention is paid to non-monotonic logics and complexity theory. We argue that these particular tools have been useful in clarifying the debate between symbolic and connectionist models of cognition.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues