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:
146 found
Search inside:
(import / add options)   Sort by:
1 — 50 / 146
  1. 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  
  2. 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  
  3. 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  
  4. 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  
  5. 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  
  6. Kazimierz Ajdukiewicz (1966). Preface. Studia Logica 19 (1):11-11.
  7. 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  
  8. Kazimierz Ajdukiewicz (1961). Pomiar. Studia Logica 11 (1):223 - 231.
  9. Kazimierz Ajdukiewicz (1958). Zagadnienie Uzasadnienia Zdań Analitycznych. Studia Logica 8 (1):273-276.
  10. Kazimierz Ajdukiewicz (1956). Okres Warunkowy a Implikacja Materialna. Studia Logica 4 (1):117 - 153.
  11. Kazimierz Ajdukiewicz (1955). Sprawa Planu Prac Badawczych W Zakresie Logiki. [REVIEW] Studia Logica 2 (1):267 - 277.
  12. Kazimierz Ajdukiewicz (1955). Concernig the Plan of Research in the Field of Logic. Studia Logica 2 (1):277-277.
  13. Kazimierz Ajdukiewicz (1955). Klasyfikacja Rozumowań. Studia Logica 2 (1):278 - 300.
  14. Kazimierz Ajdukiewicz & Ludwik Borkowski (1966). From the Methodology of the Deductive Sciences. Studia Logica 19 (1):9 - 45.
  15. 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  
  16. 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  
  17. 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  
  18. 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  
  19. 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  
  20. 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  
  21. 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  
  22. Aldo Antonelli, Alasdair Urquhart & Richard Zach (2008). Mathematical Methods in Philosophy Editors' Introduction. Review of Symbolic Logic 1 (2):143-145.
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  23. 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  
  24. Ayda I. Arruda, R. Chuaqui & Newton C. A. Costdaa (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  
  25. 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.
  26. 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  
  27. 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  
  28. 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  
  29. 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  
  30. 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  
  31. 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.
  32. James Mark Baldwin (1906/1975). Thought and Things: A Study of the Development and Meaning of Thought or Genetic Logic. Arno Press.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  33. 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  
  34. 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  
  35. 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  
  36. 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  
  37. 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  
  38. 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  
  39. 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  
  40. Jon Barwise, Robert Soare & Terrence Millar (1983). Meeting of the Association for Symbolic Logic: Milwaukee, 1981. Journal of Symbolic Logic 48 (2):514-518.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  41. Jon Barwise, Robert Vaught & Yiannis Moschovakis (1983). Meeting of the Association for Symbolic Logic: San Francisco, 1981. Journal of Symbolic Logic 48 (2):505-513.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  42. K. Jon Barwise & Richmond H. Thomason (1988). Logic and Linguistics Meeting, Stanford, 1987. Journal of Symbolic Logic 53 (4):1275-1282.
  43. T. Batóg (1961). A Logical Reconstruction of the Concept of Phoneme. Studia Logica 11 (1):183-183.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  44. Tadeusz Batóg (1971). On the Definition of Phonemic Basis. Studia Logica 27 (1):117 - 122.
  45. Tadeusz Batóg (1971). A Formal Approach to the Semantic Theory of Phoneme. Studia Logica 29 (1):27 - 42.
  46. Michael Baumgartner (2013). Exhibiting Interpretational and Representational Validity. Synthese:1-25.
    A natural language argument may be valid in at least two nonequivalent senses: it may be interpretationally or representationally valid (Etchemendy in The concept of logical consequence. Harvard University Press, Cambridge, 1990). Interpretational and representational validity can both be formally exhibited by classical first-order logic. However, as these two notions of informal validity differ extensionally and first-order logic fixes one determinate extension for the notion of formal validity (or consequence), some arguments must be formalized by unrelated nonequivalent formalizations in order (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  47. Michael Baumgartner (2010). Informal Reasoning and Logical Formalization. In S. Conrad & S. Imhof (eds.), Ding und Begriff. Ontos.
    According to a prevalent view among philosophers formal logic is the philosopher’s main tool to assess the validity of arguments, i.e. the philosopher’s ars iudicandi. By drawing on a famous dispute between Russell and Strawson over the validity of a certain kind of argument – of arguments whose premises feature definite descriptions – this paper casts doubt on the accuracy of the ars iudicandi conception. Rather than settling the question whether the contentious arguments are valid or not, Russell and Strawson, (...)
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  48. Michael Baumgartner & Timm Lampert (2004). Georg Brun, Die Richtige Formel, Philosophische Probleme der Logischen Formalisierung. Erkenntnis 60 (3):417-421.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  49. Charles A. Baylis (1947). Ninth Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 12 (1):30-32.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  50. Charles A. Baylis (1939). Fourth Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 4 (1):39-40.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 146