27 found
Order:
Disambiguations
Scott Weinstein [26]Scott A. Weinstein [1]
  1. Preference Based on Reasons.Daniel Osherson & Scott Weinstein - 2012 - 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.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2. A Universal Inductive Inference Machine.Daniel N. Osherson, Michael Stob & Scott Weinstein - 1991 - 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 (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  21
    Identification in the Limit of First Order Structures.Daniel Osherson & Scott Weinstein - 1986 - Journal of Philosophical Logic 15 (1):55 - 81.
  4.  33
    Paradigms of Truth Detection.Daniel N. Osherson & Scott Weinstein - 1989 - 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)  
     
    Export citation  
     
    Bookmark   7 citations  
  5.  68
    Truth and Demonstratives.Scott Weinstein - 1974 - Noûs 8 (2):179-184.
  6.  50
    The Intended Interpretation of Intuitionistic Logic.Scott Weinstein - 1983 - Journal of Philosophical Logic 12 (2):261 - 270.
  7.  49
    A Reason for Theoretical Terms.Haim Gaifman, DanielN Osherson & Scott Weinstein - 1990 - 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)  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  30
    Identifiable Collections of Countable Structures.Daniel N. Osherson & Scott Weinstein - 1989 - 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 (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  27
    Mechanical Learners Pay a Price for Bayesianism.Daniel N. Osherson, Michael Stob & Scott Weinstein - 1988 - Journal of Symbolic Logic 53 (4):1245-1251.
  10.  25
    A Note on Formal Learning Theory.Daniel N. Osherson & Scott Weinstein - 1982 - Cognition 11 (1):77-88.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  23
    On Advancing Simple Hypotheses.Daniel N. Osherson & Scott Weinstein - 1990 - 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 (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  61
    On Charitable Translation.Daniel N. Osherson & Scott Weinstein - 1989 - Philosophical Studies 56 (2):127 - 134.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  21
    Elementary Properties of the Finite Ranks.Anuj Dawar, Kees Doets, Steven Lindell & Scott Weinstein - 1998 - Mathematical Logic Quarterly 44 (3):349-353.
    This note investigates the class of finite initial segments of the cumulative hierarchy of pure sets. We show that this class is first-order definable over the class of finite directed graphs and that this class admits a first-order definable global linear order. We apply this last result to show that FO = FO.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  25
    Relevant Consequence and Empirical Inquiry.Daniel N. Osherson & Scott Weinstein - 1993 - 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 (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  14
    Ideal Learning Machines.Daniel N. Osherson, Michael Stob & Scott Weinstein - 1982 - Cognitive Science 6 (3):277-290.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  12
    Some Applications of Kripke Models to Formal Systems of Intuitionistic Analysis.Scott Weinstein - 1979 - Annals of Mathematical Logic 16 (1):1-32.
  17.  41
    On the Danger of Half-Truths.Daniel Osherson & Scott Weinstein - 1995 - 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)  
     
    Export citation  
     
    Bookmark  
  18.  16
    Infinitary Methods in Finite Model Theory. [REVIEW]Scott Weinstein, Henry Towsner & Steven Lindell - 2015 - In Andrés Villaveces, Roman Kossak, Juha Kontinen & Åsa Hirvonen (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. De Gruyter. pp. 305-318.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  16
    2000-2001 Spring Meeting of the Association for Symbolic Logic.Michael Detlefsen, Erich Reck, Colin McLarty, Rohit Parikh, Larry Moss, Scott Weinstein, Gabriel Uzquiano, Grigori Mints & Richard Zach - 2001 - Bulletin of Symbolic Logic 7 (3):413-419.
  20.  9
    Mechanical Learners Pay a Price for Bayesianism.Daniel N. Osherson, Michael Stob & Scott Weinstein - 1988 - Journal of Symbolic Logic 53 (4):1245-1251.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  7
    Poem: Twist of Faith.Scott Weinstein - 2011 - Medical Humanities 37 (1):8.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  13
    Twist of Faith.Scott A. Weinstein - 2011 - Medical Humanities 37 (1):8-8.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  12
    Finite Axiomatizability and Scientific Discovery.Daniel N. Osherson & Scott Weinstein - 1988 - 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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  11
    Book Review. [REVIEW]Steven Lindell & Scott Weinstein - 2007 - Journal of Logic, Language and Information 16 (2):233-239.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  1
    Some Applications of Kripke Models to Formal Systems of Intuitionistic Analysis.Scott Weinstein - 1979 - Annals of Pure and Applied Logic 16 (1):1.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  38
    Finite Model Theory and its Applications.Erich Grädel, Phokion Kolaitis, Libkin G., Marx Leonid, Spencer Maarten, Vardi Joel, Y. Moshe, Yde Venema & Scott Weinstein - 2007 - 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 (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. 2002-2003 Winter Meeting of the Association for Symbolic Logic.Scott Weinstein - 2003 - Bulletin of Symbolic Logic 9 (2):250-255.