24 found
Sort by:
Disambiguations:
Scott Weinstein [23]Scott A. Weinstein [1]
  1. Daniel Osherson & Scott Weinstein (2012). Preference Based on Reasons. Review of Symbolic Logic 5 (1):122-147.
    We describe a logic of preference in which modal connectives reflect reasons to desire that a sentence be true. Various conditions on models are introduced and analyzed.
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Scott A. Weinstein (2011). Twist of Faith. Medical Humanities 37 (1):8-8.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Erich Grädel, Phokion Kolaitis, Libkin G., Marx Leonid, Spencer Maarten, Vardi Joel, Y. Moshe, Yde Venema & Scott Weinstein (2007). Finite Model Theory and its Applications. Springer.
    This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Steven Lindell & Scott Weinstein (2007). Book Review. [REVIEW] Journal of Logic, Language and Information 16 (2):233-239.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Scott Weinstein (2003). 2002-2003 Winter Meeting of the Association for Symbolic Logic. Bulletin of Symbolic Logic 9 (2).
     
    My bibliography  
     
    Export citation  
  6. Michael Detlefsen, Erich Reck, Colin McLarty, Rohit Parikh, Larry Moss, Scott Weinstein, Gabriel Uzquiano, Grigori Mints & Richard Zach (2001). 2000-2001 Spring Meeting of the Association for Symbolic Logic. Bulletin of Symbolic Logic 7 (3).
     
    My bibliography  
     
    Export citation  
  7. Michael Detlefsen, Erich Reck, Colin McLarty, Rohit Parikh, Larry Moss, Scott Weinstein, Gabriel Uzquiano, Grigori Mints & Richard Zach (2001). The Minneapolis Hyatt Regency, Minneapolis, Minnesota May 3–4, 2001. Bulletin of Symbolic Logic 7 (3).
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Anuj Dawar, Kees Doets, Steven Lindell & Scott Weinstein (1998). Elementary Properties of the Finite Ranks. Mathematical Logic Quarterly 44 (3):349-353.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Daniel Osherson & Scott Weinstein (1995). On the Danger of Half-Truths. Journal of Philosophical Logic 24 (1):85 - 115.
    Criteria of approximate scientific success are defined within a formal paradigm of empirical inquiry. One consequence of aiming for less than perfect truth is examined.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Daniel N. Osherson & Scott Weinstein (1993). Relevant Consequence and Empirical Inquiry. Journal of Philosophical Logic 22 (4):437 - 448.
    A criterion of adequacy is proposed for theories of relevant consequence. According to the criterion, scientists whose deductive reasoning is limited to some proposed subset of the standard consequence relation must not thereby suffer a reduction in scientific competence. A simple theory of relevant consequence is introduced and shown to satisfy the criterion with respect to a formally defined paradigm of empirical inquiry.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11. Daniel N. Osherson, Michael Stob & Scott Weinstein (1991). A Universal Inductive Inference Machine. Journal of Symbolic Logic 56 (2):661-672.
    A paradigm of scientific discovery is defined within a first-order logical framework. It is shown that within this paradigm there exists a formal scientist that is Turing computable and universal in the sense that it solves every problem that any scientist can solve. It is also shown that universal scientists exist for no regular logics that extend first-order logic and satisfy the Löwenheim-Skolem condition.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Haim Gaifman, Daniel N. Osherson & Scott Weinstein (1990). A Reason for Theoretical Terms. Erkenntnis 32 (2):149 - 159.
    The presence of nonobservational vocabulary is shown to be necessary for wide application of a conservative principle of theory revision.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  13. Daniel N. Osherson & Scott Weinstein (1990). On Advancing Simple Hypotheses. Philosophy of Science 57 (2):266-277.
    We consider drawbacks to scientific methods that prefer simple hypotheses to complex ones that cover the same data. The discussion proceeds in the context of a precise model of scientific inquiry.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  14. Daniel N. Osherson & Scott Weinstein (1989). Identifiable Collections of Countable Structures. Philosophy of Science 56 (1):94-105.
    A model of idealized scientific inquiry is presented in which scientists are required to infer the nature of the structure that makes true the data they examine. A necessary and sufficient condition is presented for scientific success within this paradigm.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  15. Daniel N. Osherson & Scott Weinstein (1989). On Charitable Translation. Philosophical Studies 56 (2):127 - 134.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  16. Daniel N. Osherson & Scott Weinstein (1989). Paradigms of Truth Detection. Journal of Philosophical Logic 18 (1):1 - 42.
    Alternative models of idealized scientific inquiry are investigated and compared. Particular attention is devoted to paradigms in which a scientist is required to determine the truth of a given sentence in the structure giving rise to his data.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  17. Daniel N. Osherson, Michael Stob & Scott Weinstein (1988). Mechanical Learners Pay a Price for Bayesianism. Journal of Symbolic Logic 53 (4):1245-1251.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  18. Daniel N. Osherson & Scott Weinstein (1988). Finite Axiomatizability and Scientific Discovery. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:409 - 412.
    This paper provides a mathematical model of scientific discovery. It is shown in the context of this model that any discovery problem that can be solved by a computable scientist can be solved by a computable scientist all of whose conjectures are finitely axiomatizable theories.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Daniel Osherson & Scott Weinstein (1986). Identification in the Limit of First Order Structures. Journal of Philosophical Logic 15 (1):55 - 81.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  20. Scott Weinstein (1983). The Intended Interpretation of Intuitionistic Logic. Journal of Philosophical Logic 12 (2):261 - 270.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  21. Daniel N. Osherson, Michael Stob & Scott Weinstein (1982). Ideal Learning Machines. Cognitive Science 6 (3):277-290.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  22. Daniel N. Osherson & Scott Weinstein (1982). A Note on Formal Learning Theory. Cognition 11 (1):77-88.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. Scott Weinstein (1979). Some Applications of Kripke Models to Formal Systems of Intuitionistic Analysis. Annals of Mathematical Logic 16 (1):1-32.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. Scott Weinstein (1974). Truth and Demonstratives. Noûs 8 (2):179-184.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation