Results for 'Steven Givant'

999 found
Order:
  1.  87
    Bibliography of Alfred Tarski.Steven Givant - 1986 - Journal of Symbolic Logic 51 (4):913-941.
  2.  19
    Universal horn classes categorical or free in power.Steven Givant - 1978 - Annals of Mathematical Logic 15 (1):1-53.
  3. Tarski's system of geometry.Alfred Tarski & Steven Givant - 1999 - Bulletin of Symbolic Logic 5 (2):175-214.
    This paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski's system of foundations for Euclidean geometry, in particular its distinctive features, its historical evolution, the history of specific axioms, the questions of independence of axioms and primitive notions, and versions of the system suitable for the development of 1-dimensional geometry.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   44 citations  
  4. Introduction to Boolean algebras. Undergraduate Texts in Mathematics.Steven Givant & Paul Halmos - 2010 - Bulletin of Symbolic Logic 16 (2):281-282.
  5.  25
    A representation theorem for measurable relation algebras.Steven Givant & Hajnal Andréka - 2018 - Annals of Pure and Applied Logic 169 (11):1117-1189.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  17
    The variety of coset relation algebras.Steven Givant & Hajnal Andréka - 2018 - Journal of Symbolic Logic 83 (4):1595-1609.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  31
    Groups and algebras of binary relations.Steven Givant & Hajnal Andréka - 2002 - Bulletin of Symbolic Logic 8 (1):38-64.
    In 1941, Tarski published an abstract, finitely axiomatized version of the theory of binary relations, called the theory of relation algebras, He asked whether every model of his abstract theory could be represented as a concrete algebra of binary relations. He and Jonsson obtained some initial, positive results for special classes of abstract relation algebras. But Lyndon showed, in 1950, that in general the answer to Tarski's question is negative. Monk proved later that the answer remains negative even if one (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  5
    Logic as Algebra.Paul Halmos & Steven Givant - 1998 - Cambridge University Press.
    An introduction to logic from the perspective of algebra.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  9.  13
    A representation theorem for universal horn classes categorical in power.Steven Givant - 1979 - Annals of Mathematical Logic 17 (1-2):91-116.
  10.  40
    Inequivalent representations of geometric relation algebras.Steven Givant - 2003 - Journal of Symbolic Logic 68 (1):267-310.
    It is shown that the automorphism group of a relation algebra ${\cal B}_P$ constructed from a projective geometry P is isomorphic to the collineation group of P. Also, the base automorphism group of a representation of ${\cal B}_P$ over an affine geometry D is isomorphic to the quotient of the collineation group of D by the dilatation subgroup. Consequently, the total number of inequivalent representations of ${\cal B}_P$ , for finite geometries P, is the sum of the numbers ${\mid Col(P)\mid\over (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  11.  30
    Universal classes of simple relation algebras.Steven Givant - 1999 - Journal of Symbolic Logic 64 (2):575-589.
  12.  9
    Universal theories categorical in power and κ-generated models.Steven Givant & Saharon Shelah - 1994 - Annals of Pure and Applied Logic 69 (1):27-51.
    We investigate a notion called uniqueness in power κ that is akin to categoricity in power κ, but is based on the cardinality of the generating sets of models instead of on the cardinality of their universes. The notion is quite useful for formulating categoricity-like questions regarding powers below the cardinality of a theory. We prove, for universal theories T, that if T is κ-unique for one uncountable κ, then it is κ-unique for every uncountable κ; in particular, it is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  34
    Notions of density that imply representability in algebraic logic.Hajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi & András Simon - 1998 - Annals of Pure and Applied Logic 91 (2-3):93-190.
    Henkin and Tarski proved that an atomic cylindric algebra in which every atom is a rectangle must be representable . This theorem and its analogues for quasi-polyadic algebras with and without equality are formulated in Henkin, Monk and Tarski [13]. We introduce a natural and more general notion of rectangular density that can be applied to arbitrary cylindric and quasi-polyadic algebras, not just atomic ones. We then show that every rectangularly dense cylindric algebra is representable, and we extend this result (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  14.  32
    Nonrepresentable relation algebras from groups.Hajnal Andréka, István Németi & Steven Givant - 2020 - Review of Symbolic Logic 13 (4):861-881.
    A series of nonrepresentable relation algebras is constructed from groups. We use them to prove that there are continuum many subvarieties between the variety of representable relation algebras and the variety of coset relation algebras. We present our main construction in terms of polygroupoids.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  9
    Nonrepresentable relation algebras from groups - addendum.Hajnal Andréka, István Németi & Steven Givant - 2019 - Review of Symbolic Logic 12 (4):892-892.
  16.  46
    The lattice of varieties of representable relation algebras.Hajnal Andréka, Steven Givant & István Németi - 1994 - Journal of Symbolic Logic 59 (2):631-661.
    We shall show that certain natural and interesting intervals in the lattice of varieties of representable relation algebras embed the lattice of all subsets of the natural numbers, and therefore must have a very complicated lattice-theoretic structure.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  8
    Decision Problems for Equational Theories of Relation Algebras.H. Andréka, Steven R. Givant & I. Németi - 1997 - American Mathematical Soc..
    This work presents a systematic study of decision problems for equational theories of algebras of binary relations (relation algebras). For example, an easily applicable but deep method, based on von Neumann's coordinatization theorem, is developed for establishing undecidability results. The method is used to solve several outstanding problems posed by Tarski. In addition, the complexity of intervals of equational theories of relation algebras with respect to questions of decidability is investigated. Using ideas that go back to Jonsson and Lyndon, the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  22
    On tarski’s axiomatic foundations of the calculus of relations.Hajnal Andréka, Steven Givant, Peter Jipsen & István Németi - 2017 - Journal of Symbolic Logic 82 (3):966-994.
    It is shown that Tarski’s set of ten axioms for the calculus of relations is independent in the sense that no axiom can be derived from the remaining axioms. It is also shown that by modifying one of Tarski’s axioms slightly, and in fact by replacing the right-hand distributive law for relative multiplication with its left-hand version, we arrive at an equivalent set of axioms which is redundant in the sense that one of the axioms, namely the second involution law, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  39
    Perfect extensions and derived algebras.Hajnal Andréka, Steven Givant & István Németi - 1995 - Journal of Symbolic Logic 60 (3):775-796.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  20.  10
    Steven Givant and Paul Halmos. Introduction to Boolean algebras. Undergraduate Texts in Mathematics. Springer, 2009, xiv + 574 pp. [REVIEW]Natasha Dobrinen - 2010 - Bulletin of Symbolic Logic 16 (2):281-282.
  21.  13
    Alfred Tarski and Steven Givant. A formalization of set theory without variables. American Mathematical Society colloquium publications, vol. 41. American Mathematical Society, Providence1987, xxi + 318 pp. [REVIEW]István Németi - 1990 - Journal of Symbolic Logic 55 (1):350-352.
  22. Review: Alfred Tarski, Steven Givant, A Formalization of Set Theory Without Variables. [REVIEW]Istvan Nemeti - 1990 - Journal of Symbolic Logic 55 (1):350-352.
     
    Export citation  
     
    Bookmark  
  23.  16
    Paul Halmos and Steven Givant. Logic as algebra. The Dolciani mathematical expositions, no. 21. The Mathematical Association of America, Washington 1998, ix + 141 pp. [REVIEW]Stephen D. Comer - 1998 - Journal of Symbolic Logic 63 (4):1604.
  24.  8
    Review: Paul Halmos, Steven Givant, Logic as Algebra. [REVIEW]Stephen D. Comer - 1998 - Journal of Symbolic Logic 63 (4):1604-1604.
  25. REVIEW OF Alfred Tarski, Collected Papers, vols. 1-4 (1986) edited by Steven Givant and Ralph McKenzie. [REVIEW]John Corcoran - 1991 - MATHEMATICAL REVIEWS 91 (h):01101-4.
    Alfred Tarski (1901--1983) is widely regarded as one of the two giants of twentieth-century logic and also as one of the four greatest logicians of all time (Aristotle, Frege and Gödel being the other three). Of the four, Tarski was the most prolific as a logician. The four volumes of his collected papers, which exclude most of his 19 monographs, span over 2500 pages. Aristotle's writings are comparable in volume, but most of the Aristotelian corpus is not about logic, whereas (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  9
    Spinoza: a life.Steven M. Nadler - 2018 - New York: Cambridge University Press.
    Baruch Spinoza (1632-1677) was one of the most important philosophers of all time; he was also one of the most radical and controversial. The story of Spinoza's life takes the reader into the heart of Jewish Amsterdam in the seventeenth century and, with Spinoza's exile from Judaism, into the midst of the tumultuous political, social, intellectual, and religious world of the young Dutch Republic. This new edition of Steven Nadler's biography, winner of the Koret Jewish Book Award for biography (...)
    Direct download  
     
    Export citation  
     
    Bookmark   29 citations  
  27.  28
    Normativity and Phenomenology in Husserl and Heidegger.Steven Galt Crowell - 2013 - New York: Cambridge University Press.
    Steven Crowell has been for many years a leading voice in debates on twentieth-century European philosophy. This volume presents thirteen recent essays that together provide a systematic account of the relation between meaningful experience and responsiveness to norms. They argue for a new understanding of the philosophical importance of phenomenology, taking the work of Husserl and Heidegger as exemplary, and introducing a conception of phenomenology broad enough to encompass the practices of both philosophers. Crowell discusses Husserl's analyses of first-person (...)
    Direct download  
     
    Export citation  
     
    Bookmark   68 citations  
  28. A Value-Sensitive Design Approach to Intelligent Agents.Steven Umbrello & Angelo Frank De Bellis - 2018 - In Yampolskiy Roman (ed.), Artificial Intelligence Safety and Security. CRC Press. pp. 395-410.
    This chapter proposed a novel design methodology called Value-Sensitive Design and its potential application to the field of artificial intelligence research and design. It discusses the imperatives in adopting a design philosophy that embeds values into the design of artificial agents at the early stages of AI development. Because of the high risk stakes in the unmitigated design of artificial agents, this chapter proposes that even though VSD may turn out to be a less-than-optimal design methodology, it currently provides a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  29.  29
    Think Least of Death: Spinoza on How to Live and How to Die.Steven M. Nadler - 2020 - Princeton: Princeton University Press.
    From Pulitzer Prize-finalist Steven Nadler, an engaging guide to what Spinoza can teach us about life’s big questions In 1656, after being excommunicated from Amsterdam’s Portuguese-Jewish community for “abominable heresies” and “monstrous deeds,” the young Baruch Spinoza abandoned his family’s import business to dedicate his life to philosophy. He quickly became notorious across Europe for his views on God, the Bible, and miracles, as well as for his uncompromising defense of free thought. Yet the radicalism of Spinoza’s views has (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  30.  8
    Kyoto school philosophy in comparative perspective: ideology, ontology, modernity.Bernard Stevens - 2023 - Lanham: Lexington Books.
    This book presents the thought of the Kyoto School in comparison with continental philosophers better known in the West and addresses the affiliation of some of its members with the militarism of the 1930s and 1940s.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  25
    Intellectual Humility and Humbling Environments.Steven Bland - forthcoming - Review of Philosophy and Psychology:1-22.
    While there are many competing accounts and scales of intellectual humility, philosophers and psychologists are generally united in treating it as an epistemically _beneficial_ disposition of _individual_ agents. I call the research guided by this supposition the _traditional approach_ to studying intellectual humility. The traditional approach is entirely understandable in light of recent findings that individual differences in intellectual humility are associated with various deleterious epistemic tendencies. Nonetheless, I argue that its near monopoly has resulted in an underestimation of important (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  90
    I ❤️ ♦️ S.Steven F. Savitt - 2015 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 50:19-24.
    Richard Arthur and I proposed that the present in Minkowski spacetime should be thought of as a small causal diamond. That is, given two timelike separated events p and q, with p earlier than q, they suggested that the present is the set I+ ∩ I-. Mauro Dorato presents three criticisms of this proposal. I rebut all three and then offer two more plausible criticisms of the Arthur/Savitt proposal. I argue that these criticisms also fail.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33. The Picture Theory of Disability.Steven J. Firth - 2023 - Cambridge Quarterly of Healthcare Ethics 1 (2):198-216.
    The leading models of disability struggle to fully encompass all aspects of “disability.” This difficulty arises, the author argues, because the models fundamentally misunderstand the nature of disability. Current theoretical approaches to disability can be understood as “nounal,” in that they understand disability as a thing that is caused or embodied. In contrast, this paper presents an adverbial perspective on disability, which shows that disability is experienced as a personally irremediable impediment to daily-living tasks or goals-like-ours. The picture theory of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  24
    The theory of descriptions: Russell and the philosophy of language.Graham Stevens - 2011 - New York: Palgrave-Macmillan.
    This book combines a historical and philosophical study of Russell's theory of descriptions. It defends, develops, and extends the theory as a contribution to natural language semantics while also arguing for a reassessment of the importance of linguistic inquiry to Russell's philosophical project.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  35. Occasionalism: causation among the Cartesians.Steven M. Nadler - 2011 - New York: Oxford University Press.
    These essays examine the philosophical, scientific, theological and religious themes and arguments of occasionalism, as well as its roots in medieval views on ...
  36.  88
    Cognitive Pluralism.Steven W. Horst - 2016 - Cambridge, Massachusetts: MIT Press.
    This book introduces an account of cognitive architecture, Cognitive Pluralism, on which the basic units of understanding are models of particular content domains. Having many mental models is a good adaptive strategy for cognition, but models can be incompatible with one another, leading to paradoxes and inconsistencies of belief, and it may not be possible to integrate the understanding supplied by multiple models into a comprehensive and self-consistent "super model". The book applies the theory to explaining intuitive reasoning and cognitive (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  37. Nietzsche's Perspectivism.Steven D. Hales & Rex Welshon - 2000 - University of Illinois Press.
    In "Nietzsche's Perspectivism", Steven Hales and Rex Welshon offer an analytic approach to Nietzsche's important idea that truth is perspectival. Drawing on Nietzsche's entire published corpus, along with manuscripts he never saw to press, they assess the different perspectivisms at work in Nietzsche's views with regard to truth, logic, causality, knowledge, consciousness, and the self. They also examine Nietzsche's perspectivist ontology of power and the attendant claims that substances and subjects are illusory while forces and alliances of power constitute (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  38. CRITIQUE OF IMPURE REASON: Horizons of Possibility and Meaning.Steven James Bartlett - 2021 - Salem, USA: Studies in Theory and Behavior.
    PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...)
    Direct download (15 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  44
    Transcendental Phenomenology and the Seductions of Naturalism: Subjectivity, Consciousness, and Meaning.Steven Crowell - 2012 - In Dan Zahavi (ed.), The Oxford handbook of contemporary phenomenology. Oxford: Oxford University Press.
    This paper introduces phenomenology as a distinctive form of transcendental philosophy by exploring a problem that arises with the phenomenological concept of “constitution,” namely, the “paradox of human subjectivity” – the idea that under the transcendental reduction the human subject is both a entity in the world and the ground of all such constitution. Focusing on the question of what conditions must obtain for something to be the bearer of normatively structured intentional content, the paper argues that the appearance of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  40. Linguistic Intuitions: Error Signals and the Voice of Competence.Steven Gross - 2020 - In Samuel Schindler, Anna Drożdżowicz & Karen Brøcker (eds.), Linguistic Intuitions: Evidence and Method. Oxford, UK: Oxford University Press.
    Linguistic intuitions are a central source of evidence across a variety of linguistic domains. They have also long been a source of controversy. This chapter aims to illuminate the etiology and evidential status of at least some linguistic intuitions by relating them to error signals of the sort posited by accounts of on-line monitoring of speech production and comprehension. The suggestion is framed as a novel reply to Michael Devitt’s claim that linguistic intuitions are theory-laden “central systems” responses, rather than (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  41.  14
    Environmental, Social, and Corporate Governance and the Threat of Authoritarianism.Steven Umbrello & Nathan G. Wood - 2024 - In Harald Pechlaner, Michael de Rachewiltz, Maximilian Walder & Elisa Innerhofer (eds.), Shaping the Future: Sustainability and Technology at the Crossroads of Arts and Science. Llanelli: Graffeg. pp. 77-81.
    Worsening energy crises and the growing effects of climate change have spurred, among other things, concerted efforts to tackle global problems through what the United Nations calls Sustainable Development Goals (SDGs). These are in turn argued to be best achieved via the adoption of environmental, social, and corporate governance (ESG) as the vehicle for guiding our efforts. However, though these things are often presented as the solution to global issues, they are increasingly being used as a means to centralize power (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Rethinking outside the toolbox : reflecting again on the relationship between philosophy of science and metaphysics.Steven French & Kerry McKenzie - 2015 - In Tomasz Bigaj & Christian Wüthrich (eds.), Metaphysics in Contemporary Physics. Boston: Brill | Rodopi.
     
    Export citation  
     
    Bookmark   11 citations  
  43.  14
    On Grief’s Ethical Task.Steven Gormley - 2023 - International Journal of Philosophical Studies 31 (5):613-632.
    The aim of this paper is to bring into view an ethical task that we face when grieving the loss of a loved one. That task is to see the independent reality of the lost other. I shall do so through a reading of C. S. Lewis’s A Grief Observed. I shall try to show that Lewis’s struggle to see the independent reality of his wife, Joy, provides an important, and troubling, insight into what it means for us to grieve (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  95
    The Cambridge Companion to Existentialism.Steven Galt Crowell (ed.) - 2012 - New York: Cambridge University Press..
    Existentialism exerts a continuing fascination on students of philosophy and general readers. As a philosophical phenomenon, though, it is often poorly understood, as a form of radical subjectivism that turns its back on reason and argumentation and possesses all the liabilities of philosophical idealism but without any idealistic conceptual clarity. In this volume of original essays, the first to be devoted exclusively to existentialism in over forty years, a team of distinguished commentators discuss the ideas of Kierkegaard, Nietzsche, Heidegger, Sartre, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  45. Spinoza on good and bad.Steven Nadler - 2019 - In Jack Stetter & Charles Ramond (eds.), Spinoza in Twenty-First-Century American and French Philosophy: Metaphysics, Philosophy of Mind, Moral and Political Philosophy. London: Bloomsbury Academic.
     
    Export citation  
     
    Bookmark  
  46.  83
    Interstitial Life: Subtractive Vitalism in Whitehead and Deleuze.Steven Shaviro - 2010 - Deleuze and Guatarri Studies 4 (1):107-119.
    Deleuze and Whitehead are both centrally concerned with the problem of how to reconcile the emergence of the New with the evident continuity and uniformity of the world through time. They resolve this problem through the logic of what Deleuze calls ‘double causality’, and Whitehead the difference between efficient and final causes. For both thinkers, linear cause-and-effect coexists with a vital capacity for desire and decision, guaranteeing that the future is not just a function of the past. The role of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  21
    Ethics in comedy: essays on crossing the line.Steven A. Benko (ed.) - 2020 - Jefferson, North Carolina: McFarland & Company, Inc., Publishers.
    All humans laugh. However, there is little agreement about what is appropriate to laugh at. While laughter can unite people by showing how they share values and perspectives, it is also has the power to separate and divide. Humor that "crosses the line" can make people feel excluded and humiliated. This collection of new essays addresses possible ways that moral and ethical lines can be drawn around humor and laughter. What would a Kantian approach to humor look like? Do games (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  11
    The moment of truth.Steven J. Lawson - 2018 - Orlando, Florida: Reformation Trust.
    The reality of truth -- The reality of truth in a fallen world -- The reality of truth in the inerrant word -- The reality of truth in the written word -- The reality of truth in the exclusive Gospel -- The rejection of truth -- The rejection of truth by the first couple -- The rejection of truth by an unbelieving age -- The rejection of truth by a worldly church -- The rejection of truth in the Christian's life (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  30
    Dalla Soggettività all’Oggettività: La Filosofia di Bernard Lonergan come Fondamento per il Design Sensibile ai Valori.Steven Umbrello - 2024 - Archivio Teologico Torinese 1 (2024):161-171.
    This article explores the potential of Bernard Lonergan’s philosophy of subjectivity as objectivity as a grounding for value sensitive design (VSD) and the design turn in applied ethics. The rapid pace of scientific and technological advancement has created a gap between technical abilities and our moral assessments of those abilities, calling for a reflection on the philosophical tools we have for applying ethics. In particular, applied ethics often presents interconnected problems that require a more general framework for ethical reflection. Lonergan’s (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  57
    The End of Comparative Philosophy and the Task of Comparative Thinking: Heidegger, Derrida, and Daoism.Steven Burik - 2009 - State University of New York Press.
    A work of and about comparative philosophy that stresses the importance of language in intercultural endeavors.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
1 — 50 / 999