This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Siblings:
355 found
Search inside:
(import / add options)   Sort by:
1 — 50 / 355
  1. A. O. L. A. O. L. (1904). Fourth Annual Meeting of the Western Philosophical Association. Journal of Philosophy 1 (10):269.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  2. P. Aczel, J. B. Paris, A. J. Wilkie, G. M. Wilmers & C. E. M. Yates (1986). European Summer Meeting of the Association for Symbolic Logic: Manchester, England, 1984. Journal of Symbolic Logic 51 (2):480-502.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. M. E. Adams, K. V. Adaricheva, W. Dziobiak & A. V. Kravchenko (2004). From the Editors. Studia Logica 78 (1-2):3-5.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. M. E. Adams & W. Dziobiak (1996). From the Editors. Studia Logica 56 (1-2):3-5.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. J. W. Addison & H. B. Enderton (1984). Meeting of the Association for Symbolic Logic: Berkeley, 1983. Journal of Symbolic Logic 49 (1):322-326.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen & Yiannis N. Moschovakis (1979). The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 44 (3):469-480.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Kazimierz Ajdukiewicz (1966). Preface. Studia Logica 19 (1):11-11.
  8. Kazimierz Ajdukiewicz (1962). Subiektywność I Niepowtarzalność Metody Bezpośredniego Doświadczenia. Studia Logica 13 (1):209 - 212.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. Kazimierz Ajdukiewicz (1961). Pomiar. Studia Logica 11 (1):223 - 231.
  10. Kazimierz Ajdukiewicz (1958). Zagadnienie Uzasadnienia Zdań Analitycznych. Studia Logica 8 (1):273-276.
  11. Kazimierz Ajdukiewicz (1956). Okres Warunkowy a Implikacja Materialna. Studia Logica 4 (1):117 - 153.
  12. Kazimierz Ajdukiewicz (1955). Sprawa Planu Prac Badawczych W Zakresie Logiki. [REVIEW] Studia Logica 2 (1):267 - 277.
  13. Kazimierz Ajdukiewicz (1955). Concernig the Plan of Research in the Field of Logic. Studia Logica 2 (1):277-277.
  14. Kazimierz Ajdukiewicz (1955). Klasyfikacja Rozumowań. Studia Logica 2 (1):278 - 300.
  15. Kazimierz Ajdukiewicz & Ludwik Borkowski (1966). From the Methodology of the Deductive Sciences. Studia Logica 19 (1):9 - 45.
  16. Daniel M. Albert (1999). 22nd Annual Meeting Abstracts-2009. Annals of Science 56:25-45.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  17. Alan Ross Anderson (1959). Twenty-Fourth Annual Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 24 (4):312-326.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. Michael Anderson, Walid Gomaa, John Grant & Don Perlis, Active Logic Semantics for a Single Agent in a Static World.
    Artificial Intelligence, in press. Abstract: For some time we have been developing, and have had significant practical success with, a time-sensitive, contradiction-tolerant logical reasoning engine called the active logic machine (ALMA). The current paper details a semantics for a general version of the underlying logical formalism, active logic. Central to active logic are special rules controlling the inheritance of beliefs in general (and of beliefs about the current time in particular), very tight controls on what can be derived from direct (...)
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  19. Alessandro Andretta, Keith Kearnes & Domenico Zambella (eds.) (2008). Logic Colloquium 2004: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Torino, Italy, July 25-31, 2004. [REVIEW] Cambridge University Press.
    Highlights of this volume from the 2004 Annual European Meeting of the Association for Symbolic Logic (ASL) include a tutorial survey of the recent highpoints of universal algebra, written by a leading expert; explorations of foundational questions; a quartet of model theory papers giving an excellent reflection of current work in model theory, from the most abstract aspect "abstract elementary classes" to issues around p-adic integration.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  20. Rani Lill Anjum, Conditionals and Truth Functionality.
    The material interpretation of conditionals is commonly recognized as involving some paradoxical results. I here argue that the truth functional approach to natural language is the reason for the inadequacy of this material interpretation, since the truth or falsity of some pair of statements ‘p’ and ‘q’ cannot per se be decisive for the truth or falsity of a conditional relation ‘if p then q’. This inadequacy also affects the ability of the overall formal system to establish whether or not (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  21. Rani Lill Anjum, Logic - a Map of Language?
    This is the trial lecture for Anjum's doctoral defence in 2005 at University of Tromsø.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  22. Rani Lill Anjum, Paul Grice on Indicative Conditionals.
    Grice argues that indicative conditionals ‘if p then q’ have conventional, truth conditional meaning according to the material conditional ‘p  q’. In order to explain away the known paradoxes with this interpretation, he distinguishes between truth conditions and assertion conditions, attempting to demonstrate that the assumed connection between ‘p’ and ‘q’ (the Indirectness Condition) is a conversational implicature; hence a matter only relevant for the assertion conditions of a conditional. This paper argues that Grice fails to demonstrate i) that (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  23. Rani Lill Anjum & Johan Arnt Myrstad, All Men Are Animals: Hypothetical, Categorical, or Material?
    The conditional interpretation of general categorical statements like ‘All men are animals’ as universally quantified material conditionals ‘For all x, if x is F, then x is G’ suggests that the logical structure of law statements is conditional rather than categorical. Disregarding the problem that the universally quantified material conditional is trivially true whenever there are no xs that are F, there are some reasons to be sceptical of Frege’s equivalence between categorical and conditional expressions. -/- Now many philosophers will (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  24. Aldo Antonelli, Alasdair Urquhart & Richard Zach (2008). Mathematical Methods in Philosophy Editors' Introduction. Review of Symbolic Logic 1 (2):143-145.
    Mathematics and philosophy have historically enjoyed a mutually beneficial and productive relationship, as a brief review of the work of mathematician–philosophers such as Descartes, Leibniz, Bolzano, Dedekind, Frege, Brouwer, Hilbert, Gödel, and Weyl easily confirms. In the last century, it was especially mathematical logic and research in the foundations of mathematics which, to a significant extent, have been driven by philosophical motivations and carried out by technically minded philosophers. Mathematical logic continues to play an important role in contemporary philosophy, and (...)
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  25. Alessandro Armando (ed.) (2002). Frontiers of Combining Systems: 4th International Workshop, Frocos 2002, Santa Margherita Ligure, Italy, April 8-10, 2002: Proceedings. [REVIEW] Springer.
    This book constitutes the refereed proceedings of the 4th International Conference on Frontiers of Combining Systems, FroCoS 2002, held in Santa Margherita Ligure, Italy, in April 2002.The 14 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 35 submissions. Among the topics covered are combination of logics, combination of constraint solving techniques, combination of decision procedures, combination problems in verification, modular problems of theorem proving, and the integration of decision procedures and other solving processes (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  26. Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui & Newton C. A. Costa (1983). Meeting of the Association for Symbolic Logic: Bogotá, Colombia, 1981. Journal of Symbolic Logic 48 (3):884-892.
  27. Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui & Newton C. A. da Costa (1983). Meeting of the Association for Symbolic Logic: Bogotá, Colombia, 1981. Journal of Symbolic Logic 48 (3):884 - 892.
  28. Ayda I. Arruda, R. Chuaqui & Newton C. A. Costa (eds.) (1980). Mathematical Logic in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978. Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
    (or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  29. Ayda I. Arruda, Rolando Chuaqui, Newton C. A. Costa & Irene Mikenberg (1981). Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978. Journal of Symbolic Logic 46 (1):180-190.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  30. Ayda I. Arruda, Rolando Chuaqui, Newton C. A. da Costa & Irene Mikenberg (1981). Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978. Journal of Symbolic Logic 46 (1):180 - 190.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  31. Ayda I. Arruda, Francisco Miró Quesada, Newton C. A. Costa & Rolando Chuaqui (1978). Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976. Journal of Symbolic Logic 43 (2):352-364.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  32. Ayda I. Arruda, Francisco Miró Quesada, Newton C. A. Da Costa & Rolando Chuaqui (1978). Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976. Journal of Symbolic Logic 43 (2):352 - 364.
  33. S. Artemov, B. Kushner, G. Mints, E. Nogina & A. Troelstra (1999). In Memoriam: Albert G. Dragalin, 1941-1998. Bulletin of Symbolic Logic 5 (3):389-391.
  34. Sergei Artemov (2005). 2004 Annual Meeting of the Association for Symbolic Logic. Bulletin of Symbolic Logic 11 (1):92-119.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  35. Sergei Artemov, Peter Koellner, Michael Rabin, Jeremy Avigad, Wilfried Sieg, William Tait & Haim Gaifman (2006). Of the Association for Symbolic Logic. Bulletin of Symbolic Logic 12 (3-4):503.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  36. Jamin Asay (2012). Review of Truth, Reference and Realism. [REVIEW] International Studies in the Philosophy of Science 26 (3):345-348.
    International Studies in the Philosophy of Science, Volume 26, Issue 3, Page 345-348, September 2012.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  37. Steve Awodey (2007). In Memoriam: Saunders Mac Lane, 1909-2005. Bulletin of Symbolic Logic 13 (1):115-119.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  38. Nino B. Cocchiarella (1989). Essay Review. History and Philosophy of Logic 10 (1):77-83.
    L. E. HAHN and P. A. SCHILPP (eds.), The philosophy of W. V. Quine. La Salle, Illinois: Open Court, 1986. xvi + 705 pp. $35.95 cloth/$16.50 (paper).
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  39. Nino B. Cocchiarella (1989). Essay Review. History and Philosophy of Logic 10 (1):77-83.
    L. E. HAHN and P. A. SCHILPP (eds.), The philosophy of W. V. Quine. La Salle, Illinois: Open Court, 1986. xvi + 705 pp. $35.95 cloth/$16.50 (paper).
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  40. Stanisław Balcerzyk, Wiktor Bartol, Ewa Orłowska, Andrzej Wieczorek & Agnieszka Wojciechowska-Waszkiewicz (2000). Jerzy Łoś 1920–1998; Elements of Biography. Studia Logica 65 (3):301-314.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  41. Stanisław Balcerzyk, Wiktor Bartol, Ewa Orłowska, Andrzej Wieczorek & Agnieszka Wojciechowska-Waszkiewicz (2000). Jerzy Łoś 1920–1998; Elements of Biography. Studia Logica 65 (3):301-314.
  42. James Mark Baldwin (1906/1975). Thought and Things: A Study of the Development and Meaning of Thought or Genetic Logic. Arno Press.
  43. John Baldwin, Matt Kaufmann & Julia F. Knight (1985). Meeting of the Association for Symbolic Logic: Notre Dame, Indiana, 1984. Journal of Symbolic Logic 50 (1):284-286.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  44. John Baldwin, D. A. Martin, Robert I. Soare & W. W. Tait (1976). Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 41 (2):551-560.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  45. Linden J. Ball & Edward J. N. Stupple (2008). Belief-Logic Conflict Resolution in Syllogistic Reasoning: Inspection-Time Evidence for a Parallel-Process Model. Thinking and Reasoning 14 (2):168-181.
    An experiment is reported examining dual-process models of belief bias in syllogistic reasoning using a problem complexity manipulation and an inspection-time method to monitor processing latencies for premises and conclusions. Endorsement rates indicated increased belief bias on complex problems, a finding that runs counter to the “belief-first” selective scrutiny model, but which is consistent with other theories, including “reasoning-first” and “parallel-process” models. Inspection-time data revealed a number of effects that, again, arbitrated against the selective scrutiny model. The most striking inspection-time (...)
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  46. Wolfgang Balzer, Bernhard Lauth & Gerhard Zoubek (1993). A Model for Science Kinematics. Studia Logica 52 (4):519 - 548.
    A comprehensive model for describing various forms of developments in science is defined in precise, set-theoretic terms, and in the spirit of the structuralist approach in the philosophy of science. The model emends previous accounts in centering on single systems in a homogenous way, eliminating notions which essentially refer to sets of systems. This is achieved by eliminating the distinction between theoretical and non-theoretical terms as a primitive, and by introducing the notion of intended links. The force of the model (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  47. E. M. Barth & J. L. Martens (eds.) (1982). Argumentation: Approaches to Theory Formation: Containing the Contributions to the Groningen Conference on the Theory of Argumentation, October 1978. Benjamins.
    The contributions in the first part Re-modelling logic of this volume take account of formal logic in the theory of rational argumentation.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  48. Jon Barwise, Howard S. Becker, Chi Tat Chong, Herbert B. Enderton, Michael Hallett, C. Ward Henson, Harold Hodes, Neil Immerman, Phokion Kolaitis & Alistair Lachlan (1998). Association for Symbolic Logic. Bulletin of Symbolic Logic 4 (4).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  49. Jon Barwise, Solomon Feferman & David Israel (1986). Meeting of the Association for Symbolic Logic: Stanford, California, 1985. Journal of Symbolic Logic 51 (3):832-862.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  50. Jon Barwise, Kenneth Kunen & Joseph Ullian (1978). Annual Meeting of the Association for Symbolic Logic: Saint Louis, 1977. Journal of Symbolic Logic 43 (2):365-372.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 355