Results for ' Outdoor Adventure Pursuits: Foundations, Models, and Theories'

987 found
Order:
  1.  5
    More than Meets the “I”.Pam R. Sailors - 2010-09-24 - In Fritz Allhoff & Stephen E. Schmid (eds.), Climbing ‐ Philosophy for Everyone. Wiley‐Blackwell. pp. 81–92.
    This chapter contains sections titled: The Death Zone Summiteers Mountaineers Conclusion Notes.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Hubert L. Dreyfus and Stuart E. Dreyfus.Model Of Rationality - 1978 - In A. Hooker, J. J. Leach & E. F. McClennen (eds.), Foundations and Applications of Decision Theory. D. Reidel. pp. 115.
  3.  12
    Big Structures, Large Processes, Huge Comparisons.Charles Tilly & Russell Sage Foundation - 1984 - Russell Sage Foundation.
    This bold and lively essay is one of those rarest of intellectual achievements, a big small book. In its short length are condensed enormous erudition and impressive analytical scope. With verve and self-assurance, it addresses a broad, central question: How can we improve our understanding of the large-scale processes and structures that transformed the world of the nineteenth century and are transforming our world today? Tilly contends that twentieth-century social theories have been encumbered by a nineteenth century heritage of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  4. Models and theories I: The semantic view revisited.Chuang Liu - 1997 - International Studies in the Philosophy of Science 11 (2):147 – 164.
    The paper, as Part I of a two-part series, argues for a hybrid formulation of the semantic view of scientific theories. For stage-setting, it first reviews the elements of the model theory in mathematical logic (on whose foundation the semantic view rests), the syntactic and the semantic view, and the different notions of models used in the practice of science. The paper then argues for an integration of the notions into the semantic view, and thereby offers a hybrid semantic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  4
    A philosophical pursuit: Natural models and the practical arts in establishing the structure of the earth.Allison Ksiazkiewicz - 2015 - History of Science 53 (2):125-154.
    During the late eighteenth and early nineteenth centuries antiquarians, geologists and savants debated whether the summits of particular Highland mountains were the vestiges of iron-age forts or evidence of extinct volcanoes. A blend of antiquarian-historical methodology deeply affected the geological narratives that British savants and gentlemen of science developed during this period. The histories of architecture, and the fine and practical arts regularly functioned as proxies for visualizing the history, structure and operations of the earth. The case of vitrified forts (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  20
    Foundational Adventures: essays in honour of Harvey M. Friedman.Harvey Friedman & Neil Tennant (eds.) - 2014 - [London]: College Publications.
    This volume is a tribute by his peers, and by younger scholars of the next generation, to Harvey M. Friedman, perhaps the most profound foundationalist since Kurt Godel. Friedman's researches, beginning precociously in his mid-teens, have fundamentally shaped our contemporary understanding of set theory, recursion theory, model theory, proof theory and metamathematics. His achievements in concept formation and theory formulation have also renewed the standard set by Godel and Alfred Tarski for the general intellectual interest and importance of technical work (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  15
    The logical foundations of scientific theories. Languages, Structures, and Models.Decio Krause & Jonas R. B. Arenhart - 2016 - Nova Iorque, NY, EUA: Routledge. Edited by Becker Arenhart & R. Jonas.
    This book addresses the logical aspects of the foundations of scientific theories. Even though the relevance of formal methods in the study of scientific theories is now widely recognized and regaining prominence, the issues covered here are still not generally discussed in philosophy of science. The authors focus mainly on the role played by the underlying formal apparatuses employed in the construction of the models of scientific theories, relating the discussion with the so-called semantic approach to scientific (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  8. Models and theories in artificial intelligence.Y. Wilks - 1990 - In Derek Partridge & Y. Wilks (eds.), The Foundations of Artificial Intelligence: A Sourcebook. Cambridge University Press.
  9. Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.Philippos Papayannopoulos - 2018 - Dissertation,
    This dissertation examines aspects of the interplay between computing and scientific practice. The appropriate foundational framework for such an endeavour is rather real computability than the classical computability theory. This is so because physical sciences, engineering, and applied mathematics mostly employ functions defined in continuous domains. But, contrary to the case of computation over natural numbers, there is no universally accepted framework for real computation; rather, there are two incompatible approaches --computable analysis and BSS model--, both claiming to formalise algorithmic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10. A stochastic behavioral model and a?Microscopic? foundation of evolutionary game theory.Dirk Helbing - 1996 - Theory and Decision 40 (2):149-179.
  11.  12
    One Small Head--Models and Theories in Linguistics.Yorick Wilks - 1974 - Foundations of Language 11 (1):77-95.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  53
    Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.Filippos A. Papagiannopoulos - 2018 - Dissertation, University of Western Ontario
    This dissertation examines aspects of the interplay between computing and scientific practice. The appropriate foundational framework for such an endeavour is rather real computability than the classical computability theory. This is so because physical sciences, engineering, and applied mathematics mostly employ functions defined in continuous domains. But, contrary to the case of computation over natural numbers, there is no universally accepted framework for real computation; rather, there are two incompatible approaches --computable analysis and BSS model--, both claiming to formalise algorithmic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  41
    Building Theories: Heuristics and Hypotheses in Sciences.David Danks & Emiliano Ippoliti (eds.) - 2018 - Cham: Springer International Publishing.
    This book explores new findings on the long-neglected topic of theory construction and discovery, and challenges the orthodox, current division of scientific development into discrete stages: the stage of generation of new hypotheses; the stage of collection of relevant data; the stage of justification of possible theories; and the final stage of selection from among equally confirmed theories. The chapters, written by leading researchers, offer an interdisciplinary perspective on various aspects of the processes by which theories rationally (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  14.  26
    Foundations for Flow: A Philosophical Model for Studio Instruction.Krista Riggs - 2006 - Philosophy of Music Education Review 14 (2):175-191.
    In lieu of an abstract, here is a brief excerpt of the content:Foundations For Flow:A Philosophical Model For Studio InstructionKrista RiggsThe need for a new approach to studio instruction becomes evident when the current state of the profession and the effects of typical teaching methods are considered. In a profession with relatively little demand for a large supply of candidates for professional employment, realistically very few undergraduate music performance majors will achieve success as either orchestral players or as soloists. Extreme (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  15.  19
    Economic Models and Policy Advice: Theory Choice or Moral Choice?Robert Evans - 1999 - Science in Context 12 (2):351-376.
    The ArgumentThis paper examines the interaction between economic models and policy advice through a case study of the U.K. government's Panel of Independent Forecasters. The Panel, which met for the first time in February 1993, was part of the government's response to the policy vacuum created by its departure from the European Exchange Rate Mechanism. The paper focuses on the policy recommendations made by the Panel and their foundation in economic models. It is argued that, because of their ambiguity, economic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  55
    Mind the physics: Physics of mind.Andrew And Alexander Fingelkurts - 2018 - Physics of Life Reviews 25:75-77.
    The target paper of Schoeller, Perlovsky, and Arseniev is an essential and timely contribution to a current shift of focus in neuroscience aiming to merge neurophysiological, psychological and physical principles in order to build the foundation for the physics of mind. Extending on previous work of Perlovsky et al. and Badre, the authors of the target paper present interesting mathematical models of several basic principles of the physics of mind, such as perception and cognition, concepts and emotions, instincts and learning. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  14
    Rectification note to “Scientific models and metalinguistic negotiation” (Theoria. An International Journal for Theory, History and Foundations of Science, 34(2), 277-295). [REVIEW]Mirco Sambrotta - 2022 - Theoria 37 (2):257-261.
    Rectification note to “Scientific models and metalinguistic negotiation”, 277-295).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. Foundational Holism, Substantive Theory of Truth, and A New Philosophy of Logic: Interview with Gila Sher BY Chen Bo.Gila Sher & Chen Bo - 2019 - Philosophical Forum 50 (1):3-57.
    Gila Sher interviewed by Chen Bo: -/- I. Academic Background and Earlier Research: 1. Sher’s early years. 2. Intellectual influence: Kant, Quine, and Tarski. 3. Origin and main Ideas of The Bounds of Logic. 4. Branching quantifiers and IF logic. 5. Preparation for the next step. -/- II. Foundational Holism and a Post-Quinean Model of Knowledge: 1. General characterization of foundational holism. 2. Circularity, infinite regress, and philosophical arguments. 3. Comparing foundational holism and foundherentism. 4. A post-Quinean model of knowledge. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19. Causal Models and the Logic of Counterfactuals.Jonathan Vandenburgh - manuscript
    Causal models show promise as a foundation for the semantics of counterfactual sentences. However, current approaches face limitations compared to the alternative similarity theory: they only apply to a limited subset of counterfactuals and the connection to counterfactual logic is not straightforward. This paper addresses these difficulties using exogenous interventions, where causal interventions change the values of exogenous variables rather than structural equations. This model accommodates judgments about backtracking counterfactuals, extends to logically complex counterfactuals, and validates familiar principles of counterfactual (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  37
    Theories, models, and equations in systems biology.Kenneth F. Schaffner - 2007 - In Fred C. Boogerd, Frank J. Bruggeman, Jan-Hendrik S. Hofmeyr & Hans V. Westerhoff (eds.), Systems Biology: Philosophical Foundations. Elsevier. pp. 145--162.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  50
    Models versus theories as a primary carrier of nursing knowledge: A philosophical argument.Miriam Bender - 2018 - Nursing Philosophy 19 (1):e12198.
    Theories and models are not equivalent. I argue that an orientation towards models as a primary carrier of nursing knowledge overcomes many ongoing challenges in philosophy of nursing science, including the theory–practice divide and the paradoxical pursuit of predictive theories in a discipline that is defined by process and a commitment to the non‐reducibility of the health/care experience. Scientific models describe and explain the dynamics of specific phenomenon. This is distinct from theory, which is traditionally defined as propositions (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  22.  27
    Laying the Foundations for a Theory of Consciousness: The Significance of Critical Brain Dynamics for the Formation of Conscious States.Joachim Keppler - 2024 - Frontiers in Human Neuroscience 18:1379191.
    Empirical evidence indicates that conscious states, distinguished by the presence of phenomenal qualities, are closely linked to synchronized neural activity patterns whose dynamical characteristics can be attributed to self-organized criticality and phase transitions. These findings imply that insight into the mechanism by which the brain controls phase transitions will provide a deeper understanding of the fundamental mechanism by which the brain manages to transcend the threshold of consciousness. This article aims to show that the initiation of phase transitions and the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Jus post bellum: Foundational principles and a proposed model.George M. Clifford - 2012 - Journal of Military Ethics 11 (1):42-57.
    Abstract None of the numerous modern proposals for jus post bellum models has gained wide acceptance. The proposals tend to resemble laundry lists, often enumerated without an obvious and coherent ethical rationale. Recognizing the importance of jus post bellum, this article seeks to move the jus post bellum discourse forward. First, the article constructs a foundation of seven principles for jus post bellum models by modifying and integrating the separate proposals advanced by Bellamy and Evans. Then building on that revised (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  38
    The Philosophic Foundations of Mimetic Theory and Cognitive Science: (Including Artificial Intelligence).Jean-Pierre Dupuy - 2022 - Contagion: Journal of Violence, Mimesis, and Culture 29 (1):1-13.
    In lieu of an abstract, here is a brief excerpt of the content:The Philosophic Foundations of Mimetic Theory and Cognitive Science(Including Artificial Intelligence)Jean-Pierre Dupuy (bio)In the mid 1970s I discovered at the same time cognitive science and mimetic theory. Being a philosopher with a scientific background, I immediately brought them together and tried to reconceptualize the latter in terms of the former. In a sense, I haven't stopped doing that in the last 45 years. That is why I feel fully (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  14
    The Nature of Truth: Theories and Reflections.Ricardo Barroso Batista & Artur Ilharco Galvão - 2023 - Revista Portuguesa de Filosofia 79 (3):839-848.
    Truth is one of the main concepts of Philosophy, some even consider it the most important of all (W. Künne). This concept is also a foundation for other philosophical concepts. Some of them even depend intrinsically on it, such as the concepts of belief (to believe in something is to believe this something is true), knowledge (if you know something then that something is true), fact (facts are what make our statements true), existence (true reality is the external world that (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. Critique, norm, and utopia: a study of the foundations of critical theory.Seyla Benhabib - 1986 - New York: Columbia University Press.
    Displaying an impressive command of complex materials, Seyla Benhabib reconstructs the history of theories from a systematic point of view and examines the origins and transformations of the concept of critique from the works of Hegel to Habermas. Through investigating the model of the philosophy of the subject, she pursues the question of how Hegel´s critiques might be useful for reforumulating the foundations of critical social theory.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   131 citations  
  27.  13
    Classification Theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic Held in Chicago, Dec. 15-19, 1985.J. T. Baldwin & U. Workshop on Model Theory in Mathematical Logic - 1987 - Springer.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  14
    Foundations of a Theory of Gravity with a Constraint and Its Canonical Quantization.Alexander P. Sobolev - 2021 - Foundations of Physics 52 (1):1-44.
    The gravitational equations were derived in general relativity using the assumption of their covariance relative to arbitrary transformations of coordinates. It has been repeatedly expressed an opinion over the past century that such equality of all coordinate systems may not correspond to reality. Nevertheless, no actual verification of the necessity of this assumption has been made to date. The paper proposes a theory of gravity with a constraint, the degenerate variants of which are general relativity and the unimodular theory of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29. Models and fiction.Roman Frigg - 2010 - Synthese 172 (2):251-268.
    Most scientific models are not physical objects, and this raises important questions. What sort of entity are models, what is truth in a model, and how do we learn about models? In this paper I argue that models share important aspects in common with literary fiction, and that therefore theories of fiction can be brought to bear on these questions. In particular, I argue that the pretence theory as developed by Walton (1990, Mimesis as make-believe: on the foundations of (...)
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   189 citations  
  30.  38
    J. C. E. Dekker. Regressive isols. Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 272–296. [REVIEW]C. E. Bredlau - 1969 - Journal of Symbolic Logic 34 (3):519-519.
  31.  10
    Subjects that matter: philosophy, feminism, and postcolonial theory.Namita Goswami - 2019 - Albany: SUNY Press, State University of New York Press.
    Argues for postcoloniality as a model for philosophical practice. In this ambitious book, Namita Goswami draws on continental philosophy, postcolonial criticism, critical race theory, and African American and postcolonial feminisms to offer postcoloniality as a model for philosophical practice. Moving among and between texts, traditions, and frameworks, including the work of Gayatri Spivak, Theodor Adorno, Barbara Christian, Paul Gilroy, Neil Lazarus, and Hortense Spillers, among others, she charts a journey that takes us beyond Eurocentrism by understanding postcoloniality as the pursuit (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  57
    Jon Barwise and John Schlipf. On recursively saturated models of arithmetic. Model theory and algebra, A memorial tribute to Abraham Robinson, edited by D. H. Saracino and V. B. Weispfenning, Lecture notes in mathematics, vol. 498, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 42–55. - Patrick Cegielski, Kenneth McAloon, and George Wilmers. Modèles récursivement saturés de l'addition et de la multiplication des entiers naturels. Logic Colloquium '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edited by D. van Dalen, D. Lascar, and T. J. Smiley, Studies in logic and the foundations of mathematics, vol. 108, North-Holland Publishing Company, Amsterdam, New York, and London, 1982, pp. 57–68. - Julia F. Knight. Theories whose resplendent models are homogeneous. Israel journal of mathematics, vol. 42 , pp. 151–161. - Julia Knight and Mark Nadel. Expansions of models and Turing degrees. The journal of symbolic logic, vol. 47 , pp. 58. [REVIEW]J. -P. Ressayre - 1987 - Journal of Symbolic Logic 52 (1):279-284.
  33. Theories of Truth without Standard Models and Yablo’s Sequences.Eduardo Alejandro Barrio - 2010 - Studia Logica 96 (3):375-391.
    The aim of this paper is to show that it’s not a good idea to have a theory of truth that is consistent but ω-inconsistent. In order to bring out this point, it is useful to consider a particular case: Yablo’s Paradox. In theories of truth without standard models, the introduction of the truth-predicate to a first order theory does not maintain the standard ontology. Firstly, I exhibit some conceptual problems that follow from so introducing it. Secondly, I show (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  34. Models and Inferences in Science.Emiliano Ippoliti, Fabio Sterpetti & Thomas Nickles (eds.) - 2016 - Cham: Springer.
    The book answers long-standing questions on scientific modeling and inference across multiple perspectives and disciplines, including logic, mathematics, physics and medicine. The different chapters cover a variety of issues, such as the role models play in scientific practice; the way science shapes our concept of models; ways of modeling the pursuit of scientific knowledge; the relationship between our concept of models and our concept of science. The book also discusses models and scientific explanations; models in the semantic view of (...); the applicability of mathematical models to the real world and their effectiveness; the links between models and inferences; and models as a means for acquiring new knowledge. It analyzes different examples of models in physics, biology, mathematics and engineering. Written for researchers and graduate students, it provides a cross-disciplinary reference guide to the notion and the use of models and inferences in science. (shrink)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  44
    Jensen R. B.. Concrete models of set theory. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by Crossley John N., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 44–74. [REVIEW]Frank R. Drake - 1970 - Journal of Symbolic Logic 35 (3):472-473.
  36. Katsuhiko Sekine.Problème de Cauchy Dans le Modèle & En Métrique de LeeIndéfinie - 1968 - In Jean-Louis Destouches & Evert Willem Beth (eds.), Logic and foundations of science. Dordrecht,: D. Reidel.
    No categories
     
    Export citation  
     
    Bookmark  
  37.  77
    Writing the image: an adventure with art and theory.Yve Lomax - 1981 - New York: I.B. Tauris.
    Brought together for the first time, these writings by visual artist and writer Yve Lomax are united by a common thread: they place writing itself--the written image--into the repertoire of visual art. The book both proposes and demonstrates this development. It also has a twofold purpose and function: it can be read and enjoyed as performance, often resembling poetry, thick with ideas, images and metaphors. It is also an original contribution to theoretical writing on the visual, particularly relating to the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  20
    Patrick Suppes. Measurement, empirical meaningfulness, and three-valued logic. Measurement: Definitions and theories, edited by C. West Churchman and Philburn Ratoosh, John Wiley & Sons, Inc., New York, and Chapman & Hall, Limited, London 1959, pp. 129–143. - Patrick Suppes. Logics appropriate to empirical theories. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Co., Amsterdam1965, pp. 364–375. [REVIEW]Robert L. Causey - 1970 - Journal of Symbolic Logic 35 (1):129-131.
  39.  77
    The foundations of linguistics : mathematics, models, and structures.Ryan Mark Nefdt - 2016 - Dissertation, University of St Andrews
    The philosophy of linguistics is a rich philosophical domain which encompasses various disciplines. One of the aims of this thesis is to unite theoretical linguistics, the philosophy of language, the philosophy of science and the ontology of language. Each part of the research presented here targets separate but related goals with the unified aim of bringing greater clarity to the foundations of linguistics from a philosophical perspective. Part I is devoted to the methodology of linguistics in terms of scientific modelling. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  7
    Identify and Assess Hydropower Project’s Multidimensional Social Impacts with Rough Set and Projection Pursuit Model.Hui An, Wenjing Yang, Jin Huang, Ai Huang, Zhongchi Wan & Min An - 2020 - Complexity 2020:1-16.
    To realize the coordinated and sustainable development of hydropower projects and regional society, comprehensively evaluating hydropower projects’ influence is critical. Usually, hydropower project development has an impact on environmental geology and social and regional cultural development. Based on comprehensive consideration of complicated geological conditions, fragile ecological environment, resettlement of reservoir area, and other factors of future hydropower development in each country, we have constructed a comprehensive evaluation index system of hydropower projects, including 4 first-level indicators of social economy, environment, safety, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  41
    Gerald E. Sacks. Metarecursively enumerable sets and admissible ordinals. Bulletin of the American Mathematical Society, vol. 72 , pp. 59–64. - Gerald E. Sacks. Post's problem, admissible ordinals, and regularity. Transactions of the American Mathematical Society, vol. 124 , pp. 1–23. - Gerald E. Sacks. Metarecursion theory. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 243–263. - Graham C. DriscollJr., Metarecursively enumerable sets and their metadegrees. The Journal of symbolic logic, vol. 33 , pp. 389–11. [REVIEW]Richard A. Platek - 1969 - Journal of Symbolic Logic 34 (1):115-116.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  43
    Freyd Peter. The theories of functors and models. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 107–120. [REVIEW]Anne Preller - 1971 - Journal of Symbolic Logic 36 (2):336-337.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  43.  12
    Freyd Peter. The theories of functors and models. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 107–120. [REVIEW]Anne Preller - 1971 - Journal of Symbolic Logic 36 (2):336.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  35
    Heikki Mannila and Kari-Jouko Räihä. The design of relational databases. Addison-Wesley Publishing Company, Wokingham, England, and Reading, Mass., etc., 1992, vii + 318 pp. - Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of databases. Addison-Wesley Publishing Company, Reading, Mass., etc., 1995, xviii + 685 pp. - Paris C. Kanellakis. Elements of relational database theory. Handbook of theoretical computer science, Volume B, Formal models and semantics, edited by Jan van Leeuwen, Elsevier, Amsterdam, etc., and The MIT Press, Cambridge, Mass., 1990, pp. 1073–1156. [REVIEW]J. A. Makowsky - 1997 - Journal of Symbolic Logic 62 (1):324-326.
  45.  33
    Karp Carol. A proof of the relative consistency of the continuum hypothesis. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by Crossley John N., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 1–32. [REVIEW]Leslie H. Tharp - 1970 - Journal of Symbolic Logic 35 (2):344-345.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  20
    C. E. M. Yates. Recursively enumerable degrees and the degrees less than 0. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 264–271. [REVIEW]S. K. Thomason - 1970 - Journal of Symbolic Logic 35 (4):589-589.
  47.  23
    Moschovakis J. R.. Disjunction and existence in formalized intuitionistic analysis. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by Crossley John N., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 309–331. [REVIEW]W. A. Howard - 1970 - Journal of Symbolic Logic 35 (4):587-588.
  48. Anne Bottomley and Nathan Moore.on New Model Jurisprudence : The Scholar/Critic As Artisan - 2018 - In Andreas Philippopoulos-Mihalopoulos (ed.), Routledge Handbook of Law and Theory. New York, NY: Routledge.
     
    Export citation  
     
    Bookmark  
  49.  13
    Falsification of the Theory of Legal Rules and Legal Standards of Ronald Dworkin Using the Methodological Foundations of the Theory of Law and Morality of Leon Petrażycki.Krzysztof Majczyk - 2018 - Studia Humana 7 (3):31-38.
    Efficient thinking is the foundation of efficient operation. The correct definition of concepts, especially the basic ones for a given field, in order to reach the truth, is a condition for the development of science and its social utility. The Petrażycki’s research methodology of law is a thoroughly modern method, as it enables effective examination of the accuracy of contemporary legal theories created after Petrażycki’s input. A model contemporary theory susceptible to an examination through the research methodology of law (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50.  9
    Non-classical foundations of set theory.Sourav Tarafder - 2022 - Journal of Symbolic Logic 87 (1):347-376.
    In this paper, we use algebra-valued models to study cardinal numbers in a class of non-classical set theories. The algebra-valued models of these non-classical set theories validate the Axiom of Choice, if the ground model validates it. Though the models are non-classical, the foundations of cardinal numbers in these models are similar to those in classical set theory. For example, we show that mathematical induction, Cantor’s theorem, and the Schröder–Bernstein theorem hold in these models. We also study a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 987