Results for 'Martin S. Laird'

1000+ found
Order:
  1.  21
    Cassian's Conferences Nine and Ten.Martin S. Laird - 1995 - Recherches de Theologie Et Philosophie Medievales 62:145-156.
    The Conferences of John Cassian constitute one of the more noteworthy contributions to early monastic literature. While it reveals decidedly Eastern influences, particularly Evagrius, it is a western contribution completed by the early decades of the fifth century. Among these recollections of what the Eastern fathers taught about the monastic life, Conferences Nine and Ten figure among the most important.4For in these two Conferences Cassian gives both his teaching on the nature and mystery of contemplative prayer and the method or (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. Imperative Programs as Proofs Via Game Semantics.Martin Churchill, Jim Laird & Guy McCusker - 2013 - Annals of Pure and Applied Logic 164 (11):1038-1078.
    Game semantics extends the Curry–Howard isomorphism to a three-way correspondence: proofs, programs, strategies. But the universe of strategies goes beyond intuitionistic logics and lambda calculus, to capture stateful programs. In this paper we describe a logical counterpart to this extension, in which proofs denote such strategies. The system is expressive: it contains all of the connectives of Intuitionistic Linear Logic, and first-order quantification. Use of Lairdʼs sequoid operator allows proofs with imperative behaviour to be expressed. Thus, we can embed first-order (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  3.  17
    Under Solomon's Tutelage: The Education of Desire in the Homilies on the Song of Songs.Martin Laird - 2002 - Modern Theology 18 (4):507-525.
  4. Learning to Pray Without Words: The Influence of Martin Laird's A Sunlit Absence: Silence, Awareness, and Contemplation.Richard Peace - 2017 - Journal of Spiritual Formation and Soul Care 10 (2):345-350.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  21
    Recovering Religion's Prophetic Voice for Business Ethics.Martin S. J. Calkins - 2000 - Journal of Business Ethics 23 (4):339 - 352.
    This article surveys western business ethics' recent history to show how this ethic has neglected recently its religious traditions and become construed more narrowly as an applied philosophy and social science. It argues that this narrowness has confused business ethics' role in business education and helped to weaken the distinctiveness of certain institutions of higher education. It then suggests ways that western business ethics might become more integrated, interesting, and autonomous as an academic discipline by incorporating its key religious traditions.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  6. A Preliminary Analysis of the Soar Architecture as a Basis for General Intelligence.Paul S. Rosenbloom, John E. Laird, Allen Newell & Robert McCarl - 1991 - Artificial Intelligence 47 (1-3):289-325.
  7.  40
    Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic.Tarek Sayed Ahmed - 2002 - Studia Logica 72 (2):285 - 309.
    We give a new characterization of the class of completely representable cylindric algebras of dimension 2 #lt; n w via special neat embeddings. We prove an independence result connecting cylindric algebra to Martin''s axiom. Finally we apply our results to finite-variable first order logic showing that Henkin and Orey''s omitting types theorem fails for L n, the first order logic restricted to the first n variables when 2 #lt; n#lt;w. L n has been recently (and quite extensively) studied as (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  8.  31
    Martin’s Conjecture and Strong Ergodicity.Simon Thomas - 2009 - Archive for Mathematical Logic 48 (8):749-759.
    In this paper, we explore some of the consequences of Martin’s Conjecture on degree invariant Borel maps. These include the strongest conceivable ergodicity result for the Turing equivalence relation with respect to the filter on the degrees generated by the cones, as well as the statement that the complexity of a weakly universal countable Borel equivalence relation always concentrates on a null set.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  9. Martin's Axioms, Measurability and Equiconsistency Results.Jaime I. Ihoda & Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (1):78-94.
    We deal with the consistency strength of ZFC + variants of MA + suitable sets of reals are measurable (and/or Baire, and/or Ramsey). We improve the theorem of Harrington and Shelah [2] repairing the asymmetry between measure and category, obtaining also the same result for Ramsey. We then prove parallel theorems with weaker versions of Martin's axiom (MA(σ-centered), (MA(σ-linked)), MA(Γ + ℵ 0 ), MA(K)), getting Mahlo, inaccessible and weakly compact cardinals respectively. We prove that if there exists r (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  10.  14
    Martin’s Maximum Revisited.Matteo Viale - 2016 - Archive for Mathematical Logic 55 (1-2):295-317.
    We present several results relating the general theory of the stationary tower forcing developed by Woodin with forcing axioms. In particular we show that, in combination with class many Woodin cardinals, the forcing axiom MM++ makes the Π2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi_2}$$\end{document}-fragment of the theory of Hℵ2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${H_{\aleph_2}}$$\end{document} invariant with respect to stationary set preserving forcings that preserve BMM. We argue that this is a promising generalization to (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  11.  49
    The Philosophy of J. L. Austin.Martin Gustafsson & Richard Sørli (eds.) - 2011 - Oxford University Press.
    These new essays on J. L. Austin's philosophy constitute the first major study of his thought in decades.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  12.  32
    Accounting for Graded Performance Within a Discrete Search Framework.Craig S. Miller & John E. Laird - 1996 - Cognitive Science 20 (4):499-537.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  23
    Martin's Axiom and the Dual Distributivity Number.Jörg Brendle - 2000 - Mathematical Logic Quarterly 46 (2):241-248.
    We show that it is consistent that Martin's axiom holds, the continuum is large, and yet the dual distributivity number ℌ is κ1. This answers a question of Halbeisen.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  26
    Martin’s Maximum and Definability in H.Paul B. Larson - 2008 - Annals of Pure and Applied Logic 156 (1):110-122.
    In [P. Larson, Martin’s Maximum and the axiom , Ann. Pure App. Logic 106 135–149], we modified a coding device from [W.H. Woodin, The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal, Walter de Gruyter & Co, Berlin, 1999] and the consistency proof of Martin’s Maximum from [M. Foreman, M. Magidor, S. Shelah, Martin’s Maximum. saturated ideals, and non-regular ultrafilters. Part I, Annal. Math. 127 1–47] to show that from a supercompact limit of supercompact cardinals one (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15.  19
    Fragments of Martin's Maximum in Generic Extensions.Y. Yoshinobu & B. Konig - 2004 - Mathematical Logic Quarterly 50 (3):297.
    We show that large fragments of MM, e. g. the tree property and stationary reflection, are preserved by strongly -game-closed forcings. PFA can be destroyed by a strongly -game-closed forcing but not by an ω2-closed.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  16.  10
    The Anatomy of Loving: The Story of Man's Quest to Know What Love Is.Martin S. Bergmann - 1987 - Columbia University Press.
    A psychoanalyst looks at the portrayal of love in poems from Homer to Shakespeare, discusses Freud's writings on love, and examines the relationship between narcissism and love.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  11
    Cabanis: Enlightenment and Medical Philosophy in the French Revolution.Martin S. Staum - 1980 - Princeton University Press.
    A physician and spokesman for the French Ideologues, Pierre-JeanGeorges Cabanis (1757-1808) stands at the crossroads of several influential developments in modern culture--Enlightenment optimism about human perfectibility, the clinical method in medicine, and the formation and adaptation of liberal social ideals in the French Revolution. This first major study of Cabanis in English traces the influences of these developments on his thought and career. Originally published in 1980. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  18.  96
    Some Weak Fragments of Martin’s Axiom Related to the Rectangle Refining Property.Teruyuki Yorioka - 2008 - Archive for Mathematical Logic 47 (1):79-90.
    We introduce the anti-rectangle refining property for forcing notions and investigate fragments of Martin’s axiom for ℵ1 dense sets related to the anti-rectangle refining property, which is close to some fragment of Martin’s axiom for ℵ1 dense sets related to the rectangle refining property, and prove that they are really weaker fragments.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  16
    Thomas Edison's Tuberculosis Films: Mass Media and Health Propaganda.Martin S. Pernick - 1978 - Hastings Center Report 8 (3):21-27.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. On Unified Theories of Cognition: A Response to the Reviews.Paul S. Rosenbloom & John E. Laird - 1993 - Artificial Intelligence 59 (1-2):389-413.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  13
    Commentary: Misguided Effort with Elusive Implications, and Sifting Signal From Noise with Replication Science.Martin S. Hagger & Nikos L. D. Chatzisarantis - 2016 - Frontiers in Psychology 7.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  97
    New Books. [REVIEW]E. S. Waterhouse, John Laird, H. B. Acton, T. Whittaker, J. S. Mackenzie & F. C. S. Schiller - 1933 - Mind 42 (168):529-538.
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  23. Advance Directives: Self-Determination, Physician's Responsibility, Value of Life.S. Hans-Martin - 2000 - Analecta Husserliana 64:239-254.
     
    Export citation  
     
    Bookmark  
  24.  8
    Eliminating Martin’s Substratum-Trope Categorial Ontology.Nemesio G. C. Puy - 2021 - Synthese 199 (5-6):13009-13033.
    Impure Eliminativism about Categories is the idea that ontological categories are not wholly eliminable insofar as they have epistemic value to understand the nature of ordinary and scientific objects. From the perspective of Impure Eliminativism, different criticisms have been addressed to substantialist approaches in metaphysics and, in particular, to John Heil’s substance-mode two-category ontology. The aim of this paper is to contribute to this critical project by extending its scope to C. B. Martin’s substantialism. The thesis I defend is (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  1
    The Validation and Further Development of the Multidimensional Cognitive Load Scale for Physical and Online Lectures.Martin S. Andersen & Guido Makransky - 2021 - Frontiers in Psychology 12.
    Cognitive load theory has been widely used to help understand the process of learning and to design teaching interventions. The Cognitive Load Scale developed by Leppink and colleagues has emerged as one of the most validated and widely used self-report measures of intrinsic load, extraneous load, and germane load. In this paper we investigated an expansion of the CLS by using a multidimensional conceptualization of the EL construct that is relevant for physical and online teaching environments. The Multidimensional Cognitive Load (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  10
    Interpersonal Style Should Be Included in Taxonomies of Behavior Change Techniques.Martin S. Hagger & Sarah J. Hardcastle - 2014 - Frontiers in Psychology 5.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  6
    St. Martin's Summer.Jon Wynne-Tyson - 1989 - Between the Species 5 (3):20.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  42
    A Characterization of Martin's Axiom in Terms of Absoluteness.Joan Bagaria - 1997 - Journal of Symbolic Logic 62 (2):366-372.
    Martin's axiom is equivalent to the statement that the universe is absolute under ccc forcing extensions for Σ 1 sentences with a subset of $\kappa, \kappa , as a parameter.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  29.  60
    Martin’s Axiom and Embeddings of Upper Semi-Lattices Into the Turing Degrees.Wang Wei - 2010 - Annals of Pure and Applied Logic 161 (10):1291-1298.
    It is shown that every locally countable upper semi-lattice of cardinality the continuum can be embedded into the Turing degrees, assuming Martin’s Axiom.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  30.  10
    The Meanings of the Physiognomic Stimuli Taketa and Maluma.Martin S. Lindauer - 1990 - Bulletin of the Psychonomic Society 28 (1):47-50.
  31.  9
    Bounded Martin’s Maximum with an Asterisk.David Asperó & Ralf Schindler - 2014 - Notre Dame Journal of Formal Logic 55 (3):333-348.
    We isolate natural strengthenings of Bounded Martin’s Maximum which we call ${\mathsf{BMM}}^{*}$ and $A-{\mathsf{BMM}}^{*,++}$, and we investigate their consequences. We also show that if $A-{\mathsf{BMM}}^{*,++}$ holds true for every set of reals $A$ in $L$, then Woodin’s axiom $$ holds true. We conjecture that ${\mathsf{MM}}^{++}$ implies $A-{\mathsf{BMM}}^{*,++}$ for every $A$ which is universally Baire.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32. Cabanis. Enlightenment and medical philosophy in the french Revolution.Martin S. Staum - 1983 - Revue de Métaphysique et de Morale 88 (4):562-563.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  33.  11
    Integrating Philosophy of Science Into Research on Ethical, Legal and Social Issues in the Life Sciences.Simon Lohse, Martin S. Wasmer & Thomas A. C. Reydon - 2020 - Perspectives on Science 28 (6):700-736.
    This paper argues that research on normative issues in the life sciences will benefit from a tighter integration of philosophy of science. We examine research on ethical, legal and social issues in the life sciences and discuss three illustrative examples of normative issues that arise in different areas of the life sciences. These examples show that important normative questions are highly dependent on epistemic issues which so far have not been addressed sufficiently in ELSI, RRI and related areas of research. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  14
    Fragments of Martin's Axiom and Δ13 Sets of Reals.Joan Bagaria - 1994 - Annals of Pure and Applied Logic 69 (1):1-25.
    We strengthen a result of Harrington and Shelah by showing that, unless ω1 is an inaccessible cardinal in L, a relatively weak fragment of Martin's axiom implies that there exists a δ13 set of reals without the property of Baire.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  35.  19
    Bounded Martin's Maximum, Weak [Image] Cardinals, and [Image].David Asperó & Philip D. Welch - 2002 - Journal of Symbolic Logic 67 (3):1141 - 1152.
    We prove that a form of the $Erd\H{o}s$ property (consistent with $V = L\lbrack H_{\omega_2}\rbrack$ and strictly weaker than the Weak Chang's Conjecture at ω1), together with Bounded Martin's Maximum implies that Woodin's principle $\psi_{AC}$ holds, and therefore 2ℵ0 = ℵ2. We also prove that $\psi_{AC}$ implies that every function $f: \omega_1 \rightarrow \omega_1$ is bounded by some canonical function on a club and use this to produce a model of the Bounded Semiproper Forcing Axiom in which Bounded (...)'s Maximum fails. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  30
    Bounded Martin's Maximum, Weak Erdős Cardinals, and $\psi\sb {AC}$.David Asperó & Philip Welch - 2002 - Journal of Symbolic Logic 67 (3):1141-1152.
  37.  5
    Bounded Martin's Maximum, Weak Erdӧs Cardinals, and Ψ Ac.David Asperó & Philip D. Welch - 2002 - Journal of Symbolic Logic 67 (3):1141-1152.
  38.  5
    Size and Distance Perception of the Physiognomic Stimulus “Taketa”.Martin S. Lindauer - 1988 - Bulletin of the Psychonomic Society 26 (3):217-220.
  39.  41
    Coordinate Transformations and the Theory of Measurement.Martin S. Altschul - 1978 - Foundations of Physics 8 (1-2):69-92.
    We discuss the criteria for deriving new information from coordinate transformations, focusing on the property of implementability, or measurability in practice. We contrast the role of coordinate transformations in classical and quantum physics, and demonstrate that many well-known applications fail to meet the criteria for new information. Finally, we discuss some mathematical properties of the coordinate transformations, and then relate these properties to a practical measurement scheme.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  1
    Martin Buber's Life and Work the Early Years, 1878-1923.Martin Friedman & Maurice S. Friedman - 1981 - Dutton Adult.
    This comprehensive, critical account of Buber's life and work incorporates extensive research and draws on the author's experiences as Buber's coworker and friend.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  43
    The Apocolocyntosis - P. T. Eden: Seneca: Apocolocyntosis. Pp. Xii + 169. Cambridge University Press, 1984. £17.50.Martin S. Smith - 1985 - The Classical Review 35 (2):302-303.
  42.  36
    Roman Satire - Michael Coffey: Roman Satire. Pp. Xvi + 289. London: Methuen, 1976. Cloth £7·50.Martin S. Smith - 1978 - The Classical Review 28 (2):274-275.
  43.  30
    Martin's Axiom and a Regular Topological Space with Uncountable Net Weight Whose Countable Product is Hereditarily Separable and Hereditarily Lindelöf.Krzysztof Ciesielski - 1987 - Journal of Symbolic Logic 52 (2):396-399.
  44. Imagery and the Arts.Martin S. Lindauer - 1983 - In Anees A. Sheikh (ed.), Imagery: Current Theory, Research, and Application. Wiley. pp. 468--506.
     
    Export citation  
     
    Bookmark  
  45. MARTIN'S Immanuel Kant, Ontologie Und Wissenschaftslehre. [REVIEW]Fales Fales - 1951 - Philosophy and Phenomenological Research 12:451.
     
    Export citation  
     
    Bookmark  
  46.  31
    La Religione E la Superstizione Nella Cena Trimalchionis. [REVIEW]Martin S. Smith - 1982 - The Classical Review 32 (1):97-98.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  40
    Martin's Axiom and Well-Ordering of the Reals.Uri Abraham & Saharon Shelah - 1996 - Archive for Mathematical Logic 35 (5):287-298.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  39
    The Architect in History.Martin S. Briggs - 1927 - Journal of Hellenic Studies 47:269.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. Doctors, Patients, and Society Power and Authority in Medical Care.Martin S. Staum, Donald E. Larsen, David J. Roy & Calgary Institute for the Humanities - 1981
     
    Export citation  
     
    Bookmark  
  50. Notes.Martin S. Staum - 1980 - In Cabanis: Enlightenment and Medical Philosophy in the French Revolution. Princeton University Press. pp. 315-370.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000