Results for 'elementary inclusion'

1000+ found
Order:
  1.  15
    Considering Perspectives on Transgender Inclusion in Canadian Catholic Elementary Schools: Perspectives, Challenges, and Opportunities.Cory Wright-Maley, Trent Davis, Eileen M. Gonzalez & Ryan Colwell - 2016 - Journal of Social Studies Research 40 (3):187-204.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  41
    Elementary Equivalence of Some Rings of Definable Functions.Vincent Astier - 2008 - Archive for Mathematical Logic 47 (4):327-340.
    We characterize elementary equivalences and inclusions between von Neumann regular real closed rings in terms of their boolean algebras of idempotents, and prove that their theories are always decidable. We then show that, under some hypotheses, the map sending an L-structure R to the L-structure of definable functions from R n to R preserves elementary inclusions and equivalences and gives a structure with a decidable theory whenever R is decidable. We briefly consider structures of definable functions satisfying an (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  17
    Normal Forms for Elementary Patterns.Timothy J. Carlson & Gunnar Wilken - 2012 - Journal of Symbolic Logic 77 (1):174-194.
    A notation for an ordinal using patterns of resemblance is based on choosing an isominimal set of ordinals containing the given ordinal. There are many choices for this set meaning that notations are far from unique. We establish that among all such isominimal sets there is one which is smallest under inclusion thus providing an appropriate notion of normal form notation in this context. In addition, we calculate the elements of this isominimal set using standard notations based on collapsing (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  10
    Relating First-Order Set Theories and Elementary Toposes.Steve Awodey & Thomas Streicher - 2007 - Bulletin of Symbolic Logic 13 (3):340-358.
    We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions . As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations. Since every elementary topos is equivalent to one carrying a dssi, we thus obtain a first-order set theory whose associated categories of sets are exactly the elementary toposes. In addition, we show (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  5.  51
    Relating First-Order Set Theories and Elementary Toposes.Steve Awodey, Carsten Butz & Alex Simpson - 2007 - Bulletin of Symbolic Logic 13 (3):340-358.
    We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations. Since every elementary topos is equivalent to one carrying a dssi, we thus obtain a first-order set theory whose associated categories of sets are exactly the elementary toposes. In addition, we show (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  70
    An Exploratory Study of Human Rights Knowledge: A Sample of Kindergarten and Elementary School Pre-Service Teachers in Spain. [REVIEW]Claudia Messina & Liliana Jacott - 2013 - Human Rights Review 14 (3):213-230.
    This study aims to explore the level of information and knowledge 150 Spanish kindergarten and elementary school teachers in pre-service training have about human rights. We compared two groups of students: students with no specific training and students with specific training (the students with specific training study with the new training teaching programme that includes a compulsory subject related to citizenship education). The contents are organized around three thematic areas. Human rights are included in the first area ‘Basic concepts (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  10
    How Well Elementary Teachers Identify Parallelogram?Asuman Duatepe-Paksu, Esra İymen & Gül Sinem Pakmak - 2012 - Educational Studies 38 (4):415-418.
    This report summarises a study examining preservice elementary teachers? geometry content knowledge with a focus on parallelogram. It was a descriptive study examining 45 preservice teachers? reasoning in the process of determining which quadrilateral can be classified as a parallelogram. Findings have revealed that these elementary teachers do not possess sound understanding of parallelogram and class inclusion between parallelogram and trapezoid at the expected level.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  26
    Some Model Theory for Almost Real Closed Fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
    We study the model theory of fields k carrying a henselian valuation with real closed residue field. We give a criteria for elementary equivalence and elementary inclusion of such fields involving the value group of a not necessarily definable valuation. This allows us to translate theories of such fields to theories of ordered abelian groups, and we study the properties of this translation. We also characterize the first-order definable convex subgroups of a given ordered abelian group and (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  8
    Periodicite Des Theories Elementaires Des Corps De Series Formelles Iterees.Françoise Delon - 1986 - Journal of Symbolic Logic 51 (2):334-351.
    C. U. Jensen suggested the following construction, starting from a field $K: K_0 = K, K_{\alpha + 1} = K_\alpha ((X_\alpha)), K_\alpha = \bigcup K_\beta$ if $\alpha$ is limit and asked when two fields $k_\alpha$ and $K_\beta$ are equivalent. We give a complete answer in the case of a field $K$ of characteristic 0.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  10.  47
    The Modal Logic of Bayesian Belief Revision.Zalán Gyenis, Miklós Rédei & William Brown - 2019 - Journal of Philosophical Logic 48 (5):809-824.
    In Bayesian belief revision a Bayesian agent revises his prior belief by conditionalizing the prior on some evidence using Bayes’ rule. We define a hierarchy of modal logics that capture the logical features of Bayesian belief revision. Elements in the hierarchy are distinguished by the cardinality of the set of elementary propositions on which the agent’s prior is defined. Inclusions among the modal logics in the hierarchy are determined. By linking the modal logics in the hierarchy to the strongest (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  11.  33
    The Question of Belonging: Towards an Affirmative Biopolitics.Ryan McVeigh - 2013 - Thesis Eleven 119 (1):78-90.
    Relations of belonging are at the heart of biopolitical analysis. They determine, at the biological level, who is included in the polis and who is excluded from it. More abstractly, belonging is the conceptual mechanism of classification. By examining the specific relations of belonging within the biopolitical paradigms of four key works – Durkheim’s Elementary Forms of Religious Life, Girard’s Violence and the Sacred, Agamben’s Homo Sacer, and Esposito’s Bios – this article will highlight the dynamic of classification at (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Why the World Does Not Exist.Markus Gabriel - 2015 - Polity.
    Where do we come from? Are we merely a cluster of elementary particles in a gigantic world receptacle? And what does it all mean? In this highly original new book, the philosopher Markus Gabriel challenges our notion of what exists and what it means to exist. He questions the idea that there is a world that encompasses everything like a container life, the universe, and everything else. This all-inclusive being does not exist and cannot exist. For the world itself (...)
     
    Export citation  
     
    Bookmark   4 citations  
  13.  3
    The Modal Logic of Bayesian Belief Revision.William Brown, Zalán Gyenis & Miklós Rédei - 2019 - Journal of Philosophical Logic 48 (5):809-824.
    In Bayesian belief revision a Bayesian agent revises his prior belief by conditionalizing the prior on some evidence using Bayes’ rule. We define a hierarchy of modal logics that capture the logical features of Bayesian belief revision. Elements in the hierarchy are distinguished by the cardinality of the set of elementary propositions on which the agent’s prior is defined. Inclusions among the modal logics in the hierarchy are determined. By linking the modal logics in the hierarchy to the strongest (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  7
    ‘Foucault Se Sodomiet’: Damianus Se Liber Gomorrhianus Heropen.Johann Beukes - 2019 - Hts Theological Studies 75 (4):1-13.
    'Foucault's sodomite': Damian's Liber gomorrhianus reopened. Taking Michel Foucault's famous statement about the difference between the 'Medieval sodomite' and the heteronormative '19th century homosexual' as its cue, this article surveys the discursive source of that statement in the work of Peter Damian with regard to his obscure, yet consequential text, Liber gomorrhianus. Drawing on the recent research by Ranft and because Damian is such an understated figure in the corpus of Medieval philosophy, an overview of Damian's life and work is (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  19
    Relational Dual Tableau Decision Procedures and Their Applications to Modal and Intuitionistic Logics.Joanna Golińska-Pilarek, Taneli Huuskonen & Emilio Muñoz-Velasco - 2014 - Annals of Pure and Applied Logic 165 (2):409-427.
    This paper introduces Basic Intuitionistic Set Theory BIST, and investigates it as a first-order set theory extending the internal logic of elementary toposes. Given an elementary topos, together with the extra structure of a directed structural system of inclusions on the topos, a forcing-style interpretation of the language of first-order set theory in the topos is given, which conservatively extends the internal logic of the topos. This forcing interpretation applies to an arbitrary elementary topos, since any such (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  5
    Relational Dual Tableau Decision Procedures and Their Applications to Modal and Intuitionistic Logics.Joanna Golińska-Pilarek & Taneli Huuskonen - 2014 - Annals of Pure and Applied Logic 165 (2):428-502.
    This paper introduces Basic Intuitionistic Set Theory BIST, and investigates it as a first-order set theory extending the internal logic of elementary toposes. Given an elementary topos, together with the extra structure of a directed structural system of inclusions on the topos, a forcing-style interpretation of the language of first-order set theory in the topos is given, which conservatively extends the internal logic of the topos. This forcing interpretation applies to an arbitrary elementary topos, since any such (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  11
    The Birth of the Gods.Alexandra Maryanski - 2014 - Sociological Theory 32 (4):352-376.
    Emile Durkheim’s ideas on religion have long served as foundational blocks for sociological theories. Yet, a mystery remains over where Durkheim’s insights into religion came from and especially the event that opened his eyes to religion’s importance in social life. Durkheim never supplied details on this conversion, but he did credit Robertson Smith for his new understanding. Did Smith really play the key role in Durkheim’s turn to religion? This essay examines Durkheim’s revelation in 1895 by starting from a novel (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  20
    Relation Algebra Reducts of Cylindric Algebras and Complete Representations.Robin Hirsch - 2007 - Journal of Symbolic Logic 72 (2):673 - 703.
    We show, for any ordinal γ ≥ 3, that the class RaCAγ is pseudo-elementary and has a recursively enumerable elementary theory. ScK denotes the class of strong subalgebras of members of the class K. We devise games, Fⁿ (3 ≤ n ≤ ω), G, H, and show, for an atomic relation algebra A with countably many atoms, that Ǝ has a winning strategy in Fω(At(A)) ⇔ A ∈ ScRaCAω, Ǝ has a winning strategy in Fⁿ(At(A)) ⇐ A ∈ (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  9
    Bezkwantyfikatorowy rachunek nazw z regułą ekstensjonalności.Eugeniusz Wojciechowski - 2008 - Roczniki Filozoficzne 56 (1):417-429.
    Ludwik Borkowski has constructed a quantifier-less calculus of names (BRN1), which is regarded as a base system here. The system can be extended with the use of the deductive power of rules of introduction and omission of functors π and σ (BRN2), which serve here as the substitutes of quantifiers. If we adopt the extensionality rule for the functor of singular inclusion (REε), we obtain yet another extending of the system (BRN3) accompanied by simultaneous considerable reduction of the primary (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  20.  12
    Relating Topos Theory and Set Theory Via Categories of Classes.Steve Awodey, Alex Simpson & Thomas Streicher - unknown
    We investigate a certain system of intuitionistic set theory from three points of view: an elementary set theory with bounded separation, a topos with distinguished inclusions, and a category of classes with a system of small maps. The three presentations are shown to be equivalent in a strong sense.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  14
    The British Idealists on Disjunction.David J. Crossley - 1978 - Idealistic Studies 8 (2):115-123.
    In truth-functional analysis we need not worry about the purported ambiguity of the English ‘or,’ for we can assign different symbols and define each by means of a truth table. However, at least in classes in elementary logic, we often try to indicate that there is some rationale to the assignation of truth values by marshaling English disjunctive sentences which will clearly render an inclusive or an exclusive reading, without the explicit addition of one of the qualifying phrases, “or (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22.  24
    Group Theory and Solutions of Classical Field Theories with Polynomial Nonlinearities.A. M. Grundland, J. A. Tuszyński & P. Winternitz - 1993 - Foundations of Physics 23 (4):633-665.
    In this paper we investigate a number of analytical solutions to the polynomial class of nonlinear Klein-Gordon equations in multidimensional spacetime. This is done in the context of classical φ4 and φ6 field theory, the former with and without the inclusion of an external force field conjugate to φ. Both massive (m≠0) and massless (m=0) cases are considered, as well as tachyonic solutions allowed (v>c). We first present a complete set of translationally invariant solutions for the φ4 model and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23. Optimisation and Stability Theory for Economic Analysis.Brian Beavis & Ian Dobbs - 1990 - Cambridge University Press.
    This book presents a coherent and systematic exposition of the mathematical theory of the problems of optimization and stability. Both of these are topics central to economic analysis since the latter is so much concerned with the optimizing behaviour of economic agents and the stability of the interaction processes to which this gives rise. The topics covered include convexity, mathematical programming, fixed point theorems, comparative static analysis and duality, the stability of dynamic systems, the calculus of variations and optimal control (...)
     
    Export citation  
     
    Bookmark  
  24.  4
    Human Rights Ethics.Clark Butler - 2018 - Proceedings of the XXIII World Congress of Philosophy 12:41-49.
    Human rights have increasingly come to the center of political and social philosophy since 1945. The have been widely discussed in publications on topical human rights issues, in the work of some of the most notable philosophers of the time like Jürgen Habermas and John Rawls, and in volumes on global justice. But, despite Habermas work in Diskurs Ethik, discussion ethics has never clearly been presented as a normative ethical theory in competition with the classical rivals such as utilitarianism and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  29
    Leibniz's Theory of Proof.Mark Julian Cass - 2013 - Scientiae Studia 11 (2):267-279.
    Leibniz propôs que demonstrações fossem reformuladas como deduções a partir de identidades, e que proposições do tipo A = A fossem a fonte única de verdade. Neste artigo, procuro explicar essa teoria da prova (e do conhecimento), assim como seus conceitos elementares, ou seja, os conceitos de identidade, verdade (ou possibilidade) e proposição (inclusive a teoria leibniziana da redutibilidade a proposições sujeito-predicado). Leibniz proposed that demonstrations be reformulated as deductions from identities, and that propositions of the type A = A (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26.  28
    What is Value? [REVIEW]C. S. - 1972 - Review of Metaphysics 25 (4):751-751.
    In a fluent, easy-to-read style, Frondizi presents a useful, elementary analysis of the nature of value; the basic problems of value theory; an historical survey of the various solutions to these problems; and finally, his own theory concerning the answers to these issues. The basic problem of axiology is exposed by the author as the dilemma between subjectivism and objectivism. It is in this frame of reference that the views of R. B. Perry, Wittgenstein, Carnap, Ayer, and Russell are (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  34
    The Elementary Forms of the Religious Life. [Les Formes Élémentaires de la Vie Religieuse, Le Systeme Totémique En Australie]. Transl. By Joseph Ward Swain. Intr. By Robert Nisbet. (2. Ed.).Émile Durkheim - 1915 - New York: the Macmillan Company.
    In The Elementary Forms of Religious Life (1912), Emile Durkheim sets himself the task of discovering the enduring source of human social identity.
    Direct download  
     
    Export citation  
     
    Bookmark   161 citations  
  28. An Elementary Notion of Gauge Equivalence.Gordon Belot - 2008 - General Relativity and Gravitation 40 (1):199–215.
    An elementary notion of gauge equivalence is introduced that does not require any Lagrangian or Hamiltonian apparatus. It is shown that in the special case of theories, such as general relativity, whose symmetries can be identified with spacetime diffeomorphisms this elementary notion has many of the same features as the usual notion. In particular, it performs well in the presence of asymptotic boundary conditions.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  29.  47
    Elementary Logic.W. V. O. Quine - 1941 - Harvard University Press.
    Now much revised since its first appearance in 1941, this book, despite its brevity, is notable for its scope and rigor.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  30. The Elementary Structures of Kinship.Claude Lévi-Strauss - 1969 - Beacon Press.
    'At last one of the most famous generalizing works in anthropology by the field's most stimulating and controversial contemporary figure has been translated, beautifully, and with the enlightening preface of the second French edition.
    Direct download  
     
    Export citation  
     
    Bookmark   212 citations  
  31. Inclusion and Democracy.Iris Marion Young - 2000 - Oxford University Press.
    This latest work from one of the world's leading political philosophers will appeal to audiences from a variety of fields, including philosophy, political science, women's studies, ethnic studies, sociology, and communications studies.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   336 citations  
  32.  33
    Elementary Logic.Benson Mates - 1965 - New York: Oxford University Press.
    The present text book is intended as an introduction to elementary logic. Its content, structure, and manner have been determined in large measure - perhaps 'caused' is the better word- by certain desiderata about which the reader should be informed at the outset. The leading idea is that even an introductory treatment of logic may profitably be fashioned around a rigorous framework.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   74 citations  
  33.  30
    Questions From Methow Valley Elementary.Methow Valley Elementary - 2010 - Questions 10:1-1.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34.  13
    Questions From Methow Valley Elementary.Methow Valley Elementary - 2010 - Questions: Philosophy for Young People 10:1-1.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  24
    Abstract Elementary Classes with Löwenheim-Skolem Number Cofinal with Ω.Gregory M. Johnson - 2010 - Notre Dame Journal of Formal Logic 51 (3):361-371.
    In this paper we study abstract elementary classes with Löwenheim-Skolem number $\kappa$ , where $\kappa$ is cofinal with $\omega$ , which have finite character. We generalize results obtained by Kueker for $\kappa=\omega$ . In particular, we show that $\mathbb{K}$ is closed under $L_{\infty,\kappa}$ -elementary equivalence and obtain sufficient conditions for $\mathbb{K}$ to be $L_{\infty,\kappa}$ -axiomatizable. In addition, we provide an example to illustrate that if $\kappa$ is uncountable regular then $\mathbb{K}$ is not closed under $L_{\infty,\kappa}$ -elementary equivalence.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  21
    Between Inclusion and Exclusion: On the Topology of Global Space and Borders.Sandro Mezzadra & Brett Neilson - 2012 - Theory, Culture and Society 29 (4-5):58-75.
    The research hypothesis that we call border as method offers a fertile ground upon which to test the potentiality and the limits of the topological approach. In this article we present our hypothesis and address three questions relevant for topology. First, we ask how the topological approach can be applied within the heterogeneous space of globalization, which we argue does not obey the dialectic of inclusion and exclusion. Second, we address the claim of neutrality that is often linked to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  26
    Elementary Symbolic Logic.William Gustason - 1973 - New York: Holt, Rinehart and Winston.
    This is a college-level textbook that discusses elementary symbolic logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   44 citations  
  38.  86
    Elementary Canonical Formulae: Extending Sahlqvist’s Theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.
    We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  39. Elementary Quantum Metaphysics.David Albert - 1996 - In J. T. Cushing, Arthur Fine & Sheldon Goldstein (eds.), Bohmian Mechanics and Quantum theory: An Appraisal. Kluwer Academic Publishers. pp. 277-284.
    Once upon a time, the twentieth-century investigations of the behaviors of sub-atomic particles were thought to have established that there can be no such thing as an objective, observer-independent, scientifically realist, empirically adequate picture of the physical world.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   150 citations  
  40. The Inclusion of the Other: Studies in Political Theory.Jürgen Habermas - 2000 - MIT Press.
     
    Export citation  
     
    Bookmark   135 citations  
  41.  15
    Elementary Induction on Abstract Structures.Yiannis N. Moschovakis - 1974 - Dover Publications.
    Hailed by the Bulletin of the American Mathematical Society as "easy to use and a pleasure to read," this research monograph is recommended for students and professionals interested in model theory and definability theory. The sole prerequisite is a familiarity with the basics of logic, model theory, and set theory. 1974 edition.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   68 citations  
  42. The Elementary Forms of the Religious Life. [REVIEW]Emile Durkheim - 1918 - Ancient Philosophy (Misc) 28:158.
     
    Export citation  
     
    Bookmark   201 citations  
  43. Elementary Mind Minding, Enactivist-Style.Daniel D. Hutto - 2011 - In A. Seemann (ed.), Joint Attention: New Developments in Philosophy, Psychology, and Neuroscience. MIT Press.
    The core claim of this paper is that mind minding of the sort required for the simplest and most pervasive forms of joint attentional activity is best understood and explained in non-representational, enactivist terms. In what follows I will attempt to convince the reader of its truth in three steps. The first step, section two, clarifies the target explanandum. The second step, section three, is wholly descriptive. It highlights the core features of a Radically Enactivist proposal about elementary mind (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   18 citations  
  44. Discerning Elementary Particles.F. A. Muller & M. P. Seevinck - 2009 - Philosophy of Science 76 (2):179-200.
    We maximally extend the quantum‐mechanical results of Muller and Saunders ( 2008 ) establishing the ‘weak discernibility’ of an arbitrary number of similar fermions in finite‐dimensional Hilbert spaces. This confutes the currently dominant view that ( A ) the quantum‐mechanical description of similar particles conflicts with Leibniz’s Principle of the Identity of Indiscernibles (PII); and that ( B ) the only way to save PII is by adopting some heavy metaphysical notion such as Scotusian haecceitas or Adamsian primitive thisness. We (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   68 citations  
  45. On the Concept of Proof in Elementary Geometry Pirmin Stekeler-Weithofer.Proof In Elementary - 1992 - In Michael Detlefsen (ed.), Proof and Knowledge in Mathematics. Routledge.
     
    Export citation  
     
    Bookmark  
  46. Life and Action: Elementary Structures of Practice and Practical Thought.Michael Thompson - 2008 - Harvard University Press.
    Part I: The representation of life -- Can life be given a real definition? -- The representation of the living individual -- The representation of the life-form itself -- Part II: Naive action theory -- Types of practical explanation -- Naive explanation of action -- Action and time -- Part III: Practical generality -- Two tendencies in practical philosophy -- Practices and dispositions as sources of the goodness of individual actions -- Practice and disposition as sources of individual action.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   262 citations  
  47.  41
    Elementary Embeddings and Infinitary Combinatorics.Kenneth Kunen - 1971 - Journal of Symbolic Logic 36 (3):407-413.
    One of the standard ways of postulating large cardinal axioms is to consider elementary embeddings,j, from the universe,V, into some transitive submodel,M. See Reinhardt–Solovay [7] for more details. Ifjis not the identity, andκis the first ordinal moved byj, thenκis a measurable cardinal. Conversely, Scott [8] showed that wheneverκis measurable, there is suchjandM. If we had assumed, in addition, that, thenκwould be theκth measurable cardinal; in general, the wider we assumeMto be, the largerκmust be.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   47 citations  
  48.  91
    The Inclusive Fitness Controversy: Finding a Way Forward.Jonathan Birch - 2017 - Royal Society Open Science 4 (170335):170335.
    This paper attempts to reconcile critics and defenders of inclusive fitness by constructing a synthesis that does justice to the insights of both. I argue that criticisms of the regression-based version of Hamilton’s rule, although they undermine its use for predictive purposes, do not undermine its use as an organizing framework for social evolution research. I argue that the assumptions underlying the concept of inclusive fitness, conceived as a causal property of an individual organism, are unlikely to be exactly true (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49.  54
    Elementary Categorial Logic, Predicates of Variable Degree, and Theory of Quantity.Brent Mundy - 1989 - Journal of Philosophical Logic 18 (2):115 - 140.
    Developing some suggestions of Ramsey (1925), elementary logic is formulated with respect to an arbitrary categorial system rather than the categorial system of Logical Atomism which is retained in standard elementary logic. Among the many types of non-standard categorial systems allowed by this formalism, it is argued that elementary logic with predicates of variable degree occupies a distinguished position, both for formal reasons and because of its potential value for application of formal logic to natural language and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  50. A Defence of Sexual Inclusion.John Danaher - 2020 - Social Theory and Practice 46 (3):467-496.
    This article argues that access to meaningful sexual experience should be included within the set of the goods that are subject to principles of distributive justice. It argues that some people are currently unjustly excluded from meaningful sexual experience and it is not implausible to suggest that they might thereby have certain claim rights to sexual inclusion. This does not entail that anyone has a right to sex with another person, but it does entail that duties may be imposed (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000