Results for 'Lawvere-Kock axiom,'

1000+ found
Order:
  1. À Maneira de Um Colar de Pérolas?André Porto - 2017 - Revista Portuguesa de Filosofia 73 (3-4):1381-1404.
    This paper offers an overview of various alternative formulations for Analysis, the theory of Integral and Differential Calculus, and its diverging conceptions of the topological structure of the continuum. We pay particularly attention to Smooth Analysis, a proposal created by William Lawvere and Anders Kock based on Grothendieck’s work on a categorical algebraic geometry. The role of Heyting’s logic, common to all these alternatives is emphasized.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  92
    Lawvere-Tierney Sheaves in Algebraic Set Theory.S. Awodey, N. Gambino & M. A. Warren - 2009 - Journal of Symbolic Logic 74 (3):861 - 890.
    We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothendieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming the existing topos-theoretic results.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3. The Axiom of Infinity and Transformations j: V → V.Paul Corazza - 2010 - Bulletin of Symbolic Logic 16 (1):37-84.
    We suggest a new approach for addressing the problem of establishing an axiomatic foundation for large cardinals. An axiom asserting the existence of a large cardinal can naturally be viewed as a strong Axiom of Infinity. However, it has not been clear on the basis of our knowledge of ω itself, or of generally agreed upon intuitions about the true nature of the mathematical universe, what the right strengthening of the Axiom of Infinity is—which large cardinals ought to be derivable? (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  73
    Doctrines in categorical logic.Anders Kock & Gonzalo E. Reyes - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 90.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  5. Grassmann's Dialectics and Category Theory.F. William Lawvere - 1996 - Boston Studies in the Philosophy of Science 187:255-264.
     
    Export citation  
     
    Bookmark   1 citation  
  6.  61
    Adjointness in Foundations.F. William Lawvere - 1969 - Dialectica 23 (3‐4):281-296.
  7.  17
    Functional Semantics of Algebraic Theories.F. William Lawvere - 1974 - Journal of Symbolic Logic 39 (2):340-341.
  8.  76
    Categories of space and of quantity.F. William Lawvere - 1992 - In Javier Echeverria, Andoni Ibarra & Thomas Mormann (eds.), The Space of Mathematics: Philosophical, Epistemological, and Historical Explorations. De Gruyter. pp. 14--30.
    0. The ancient and honorable role of philosophy as a servant to the learning, development and use of scientific knowledge, though sadly underdeveloped since Grassmann, has been re-emerging from within the particular science of mathematics due to the latter's internal need; making this relationship more explicit (as well as further investigating the reasons for the decline) will, it is hoped, help to germinate the seeds of a brighter future for philosophy as well as help to guide the much wider learning (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  9.  65
    Foundations and applications: Axiomatization and education.F. William Lawvere - 2003 - Bulletin of Symbolic Logic 9 (2):213-224.
    Foundations and Applications depend ultimately for their existence on each other. The main links between them are education and the axiomatic method. Those links can be strengthened with the help of a categorical method which was concentrated forty years ago by Cartier, Grothendieck, Isbell, Kan, and Yoneda. I extended that method to extract some essential features of the category of categories in 1965, and I apply it here in section 3 to sketch a similar foundation within the smooth categories which (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  10. Cohesive toposes and Cantor's 'lauter einsen'.F. W. Lawvere - 1994 - Philosophia Mathematica 2 (1):5-15.
    For 20th century mathematicians, the role of Cantor's sets has been that of the ideally featureless canvases on which all needed algebraic and geometrical structures can be painted. (Certain passages in Cantor's writings refer to this role.) Clearly, the resulting contradication, 'the points of such sets are distinc yet indistinguishable', should not lead to inconsistency. Indeed, the productive nature of this dialectic is made explicit by a method fruitful in other parts of mathematics (see 'Adjointness in Foundations', Dialectia 1969). This (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  11. The effect of dislocation self-interaction on the orowan stress.D. J. Bacon, U. F. Kocks & R. O. Scattergood - 1973 - Philosophical Magazine 28 (6):1241-1263.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  12. Tools for the Advancement of Objective Logic: Closed Categories and Toposes.F. William Lawvere - 1994 - In John Macnamara & Gonzalo E. Reyes (eds.), The Logical Foundations of Cognition. Oxford University Press USA. pp. 43-56.
    No categories
     
    Export citation  
     
    Bookmark   12 citations  
  13. Conceptual Mathematics: A First Introduction to Categories.F. W. Lawvere & S. H. Schanuel - 1997 - Cambridge University Press.
    No categories
     
    Export citation  
     
    Bookmark   8 citations  
  14.  26
    Algebraic Theories, Algebraic Categories, and Algebraic Functors.F. William Lawvere - 1971 - Journal of Symbolic Logic 36 (2):336-337.
  15.  38
    Helmholtz’s Kant revisited : the all-pervasive nature of Helmholtz's struggle with Kant's Anschauung.Liesbet De Kock - 2016 - Studies in History and Philosophy of Science Part A 56:20-32.
  16.  23
    Eine Renaissance völkischen Denkens?Julian Köck - 2018 - Zeitschrift für Kritische Sozialtheorie Und Philosophie 5 (1):4-13.
    Name der Zeitschrift: Zeitschrift für kritische Sozialtheorie und Philosophie Jahrgang: 5 Heft: 1 Seiten: 4-13.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  24
    Hermann von Helmholtz's Empirico-Transcendentalism Reconsidered: Construction and Constitution in Helmholtz's Psychology of the Object.Liesbet De Kock - 2014 - Science in Context 27 (4):709-744.
    ArgumentThis paper aims at contributing to the ongoing efforts to get a firmer grasp of the systematic significance of the entanglement of idealism and empiricism in Helmholtz's work. Contrary to existing analyses, however, the focal point of the present exposition is Helmholtz's attempt to articulate a psychological account of objectification. Helmholtz's motive, as well as his solution to the problem of the object are outlined, and interpreted against the background of his scientific practice on the one hand, and that of (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  18.  30
    Mathematical Category Theory and Mathematical Philosophy.F. William Lawvere - unknown
    Explicit concepts and sufficiently precise definitions are the basis for further advance of a science beyond a given level. To move toward a situation where the whole population has access to the authentic results of science (italics mine) requires making explicit some general philosophical principles which can help to guide the learning, development, and use of mathematics, a science which clearly plays a pivotal role regarding the learning, development and use of all the sciences. Such philosophical principles have not come (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. Historicizing Hermann von Helmholtz’s Psychology of Differentiation.Liesbet De Kock - 2018 - Journal for the History of Analytical Philosophy 6 (3).
    Nineteenth-century scientist Hermann von Helmholtz’s peculiar wavering between empiricism and transcendentalism in his philosophy of science in general, and in his theory of perception in particular, is a much debated and well-documented topic in the history and philosophy of science. This contribution aims at providing a fresh angle on this classical issue, by considering Helmholtz’s account of differential consciousness against the background of a centuries-old philosophical debate between the empiricist tradition and the tradition of transcendental idealism. By placing Helmholtz’s psychology (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  12
    Model Theory and Topai.F. William Lawvere & C. Maurer - 1981 - Journal of Symbolic Logic 46 (1):158-161.
  21.  3
    Kompakt erzeugte Vektorräume und Analysis.Ionel Bucur & F. W. Lawvere - 1964
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  9
    Erkennen: Die Organisation und Verkörperung von Wirklichkeit: Ausgewählte Arbeiten zur biologischen Epistemologie.Humberto R. Maturana & Wolfram K. Köck - 1985 - Vieweg+Teubner Verlag.
    Der Mensch ist fähig zu erkennen. Diese Fähigkeit setzt allerdings seine bio logische Integrität (Ganzheit, Unversehrtheit) voraus. Der Mensch kann außerdem erkennen, daß er erkennt. Erkennen (Kognition) als basale psychologische und somit biologische Funktion steuert seine Handhabung der Welt, und Wissen gibt seinen Handlungen Sicherheit. Objektives Wissen scheint möglich, und die Welt erscheint dadurch planvoll und vorhersagbar. Und doch ist Wissen als Erfahrung etwas Persönliches und Privates, das nicht übertragen werden kann. Das, was man für übertragbar hält, nämlich objektives Wissen, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  23. Neuere Deutungen von Aristoteles' de anima III 5.Michael Felix Köck - 1996 - Salzburger Jahrbuch für Philosophie 41:71-95.
    No categories
     
    Export citation  
     
    Bookmark  
  24.  48
    Transforming the state away from the State? Radical social action and ‘minority attractions’ under scrutiny.Ian Liebenberg & Petrus de Kock - 2010 - South African Journal of Philosophy 29 (2):195-208.
    This review article situates the work Black Flame within a capita selecta of earlier publications on anarchism-syndicalism and radical thought. Schmidt and Van der Walt's contribution (2009) is a recent addition to political thought, theory and socio-economic practice within the broad stream of anarcho-syndicalism. Its treatment of anarchism and anarchist syndicalist groups in the workplace within an international context since the middle 1800s and the attempt to situate the debate in contemporary society are some notable features. The authors engage with (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  25. Eine Renaissance völkischen Denkens?Julian Köck Scholar - 2018 - Zeitschrift für Kritische Sozialtheorie Und Philosophie 5 (1).
    No categories
     
    Export citation  
     
    Bookmark  
  26.  22
    Sports, ethics, integrity and spirituality.Jan Tolleneer, An De Kock, Andreas De Block & Paul Schotsmans - unknown
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  54
    Norms of Legitimate Dissensus.Christian Kock - 2007 - Informal Logic 27 (2):179-196.
    The paper calls for argumentation theory to learn from moral and political philosophy. Several thinkers in these fields help understand the occurrence of what we may call legitimate dissensus: enduring disagreement even between reasonable people arguing reasonably. It inevitably occurs over practical issues, e.g., issues of action rather than truth, because there will normally be legitimate arguments on both sides, and these will be incommensurable, i.e., they cannot be objectively weighed against each other. Accordingly, ‘inference,’ ‘validity,’ and ‘sufficiency’ are inapplicable (...)
    Direct download (15 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  28.  16
    Being and the Body.Liesbet De Kock - 2017 - Idealistic Studies 47 (1):59-82.
    The aim of this paper is to present an in-depth inquiry into one of the most disregarded dimensions of Fichte’s philosophy, i.e., the systematic place of embodiment in his transcendental epistemology. Highlighting the necessarily embodied nature of the constitution of the notion of thinghood or being in Fichte’s philosophy could not only help pave the way for a more elegant understanding of the relation between idealism’s and phenomenology’s subject views, it likewise enables a more comprehensive insight into Fichte’s much debated (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  72
    Dialectical Obligations in Political Debate.Christian Kock - 2007 - Informal Logic 27 (3):223-247.
    Political debate is a distinctive domain in argumentation, characterized by these features: it is about proposals for action, not about propositions that may have a truth value; there may be good arguments on both sides; neither the proposal nor its rejection follows by necessity or inference; the pros and the cons generally cannot, being multidimensional and hence incommen- surable, be aggregated in an objective way; each audience member must subjectively compare and balance arguments on the two sides; eventual consensus between (...)
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  30.  77
    Is Practical Reasoning Presumptive?Christian Kock - 2007 - Informal Logic 27 (1):91-108.
    Douglas Walton has done extensive and valuable work on the concepts of presumption and practical reasoning. However, Walton’s attempt to model practical reasoning as presumptive is misguided. The notions of “inference” and of the burden of proof shifting back and forth between proponent and respondent are misleading and lead to counterintuitive consequences. Because the issue in practical reasoning is a proposal, not a proposition, there are, in the standard case, several perfectly good reasons on both sides simultaneously, which implies that (...)
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  31.  6
    Being and the Body.Liesbet De Kock - 2017 - Idealistic Studies 47 (1-2):59-82.
    The aim of this paper is to present an in-depth inquiry into one of the most disregarded dimensions of Fichte’s philosophy, i.e., the systematic place of embodiment in his transcendental epistemology. Highlighting the necessarily embodied nature of the constitution of the notion of thinghood or being in Fichte’s philosophy could not only help pave the way for a more elegant understanding of the relation between idealism’s and phenomenology’s subject views, it likewise enables a more comprehensive insight into Fichte’s much debated (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32. Constitutionality of the sentence of corporal punishment.P. F. P. De Kock - forthcoming - Nexus.
     
    Export citation  
     
    Bookmark  
  33.  36
    Die teenwoordige-So en die nomadiese ‘Tonneltoerusting by die lees van Breyten Breytenbach’.Petrus de Kock - 2000 - South African Journal of Philosophy 19 (3):280-297.
    In this article an attempt is made to develop a concept: the teenwoordige-So, which has a two-fold nature. On the one hand it grows from the philosophical dimensions of the work of Breyten Breytenbach, and on the other, once it is identified it can be used as a method for reading his work. But in order to determine the “environment” of the concept three main elements are investigated in this article. The first is the notion of the rhizome, the second (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  34.  4
    Die teodiseevraag: 'n Antwoord vanuit 'n pastorale perspektief.Petri De Kock & J. H. Koekemoer - 1998 - HTS Theological Studies 54 (1/2).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  20
    Heidegger en de subjectiviteit van het subject.Liesbet De Kock - 2010 - de Uil Van Minerva 23 (4).
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  11
    Het waarheidspreken als ethiek en levenskunst: Foucaults 'De moed tot waarheid'.Liesbet De Kock - 2012 - de Uil Van Minerva 25 (1-2):101-105.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  28
    Marc Slors over de vrije wil.Liesbet De Kock - 2012 - de Uil Van Minerva 25 (4):69-71.
    bespreking van: Marc Slors, Dat had je gedacht! Brein, bewustzijn en vrije wil in filosofisch perspectief, Amsterdam, Boom, 2012, 201 blz, ISBN 978 94 6105 7785.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  8
    Over geweld: Slavoj Zizek, Geweld. Amsterdam, Boom, 2009, 208 blz., ISBN 978 90 8506 749 3.Liesbet De Kock - 2010 - de Uil Van Minerva 23 (2):131-133.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  7
    South Africa's second liberation: How to make reconstruction and development work.P. De Kock - 1995 - HTS Theological Studies 51 (3).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. The present-as-such and the nomadic understanding of the world in the work of Breyten Breytenbach.P. De Kock - 2000 - South African Journal of Philosophy 19 (3):279-297.
  41.  9
    WCC Study Docwnent 199' - Facing AIDS: The challenge - the churches' re-sponse.P. De Kock - 1998 - HTS Theological Studies 54 (1/2).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  56
    Defining Rhetorical Argumentation.Christian Kock - 2013 - Philosophy and Rhetoric 46 (4):437-464.
    If there is a specifically rhetorical approach to argumentation, I believe it is one that studies argumentation that is specifically rhetorical. So if we want to ask, “What is the rhetorical approach to argumentation?” we should first ask, “What is rhetorical argumentation?” It is worthwhile focusing on this question because various misleading definitions of rhetorical argumentation have been in circulation for almost as long as rhetoric has existed. Some misleading definitions see the defining property of rhetorical argumentation in the arguer’s (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  43.  33
    Value Creation Through Social Strategy.Ned Kock, David Allen & Bryan Husted - 2015 - Business and Society 54 (2):147-186.
    Literature on corporate social responsibility has tended to treat economic benefits to the firm as unintentional spillovers that result from laudable CSR behavior. Empirical studies of the relationship between CSR and corporate financial performance have reported mixed findings. This article shifts the conceptual and empirical focus to investigate the conditions under which intentional profit-seeking through corporate social action projects can create economic value for the firm. The article uses resource-dependency theory and the resource-based view to define the firm’s external and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  44.  23
    A statistical theory of flow stress and work-hardening.U. F. Kocks - 1966 - Philosophical Magazine 13 (123):541-566.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  45.  15
    Introduction: Rhetoricians on Argumentation.Christian Kock - 2020 - Argumentation 34 (3):287-295.
    This introduction presents the set of six articles, written by rhetorical scholars, which constitute the bulk of the present special issue of Argumentation. In the introduction, the issue editor seeks to identify defining features of a rhetorical approach to argumentation. Taking this approach means dealing with argumentation in the “realm of rhetoric”, which comprises argumentation where deductive “demonstration” is not available. This has several corollaries, including the condition of uncertainty and the necessity of securing adherence from an audience. The articles (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  11
    Measuring Cognitive Abilities in the Wild: Validating a Population‐Scale Game‐Based Cognitive Assessment.Mads Kock Pedersen, Carlos Mauricio Castaño Díaz, Qian Janice Wang, Mario Alejandro Alba-Marrugo, Ali Amidi, Rajiv V. Basaiawmoit, Carsten Bergenholtz, Morten H. Christiansen, Miroslav Gajdacz, Ralph Hertwig, Byurakn Ishkhanyan, Kim Klyver, Nicolai Ladegaard, Kim Mathiasen, Christine Parsons, Janet Rafner, Anders R. Villadsen, Mikkel Wallentin, Blanka Zana & Jacob F. Sherson - 2023 - Cognitive Science 47 (6):e13308.
    Rapid individual cognitive phenotyping holds the potential to revolutionize domains as wide‐ranging as personalized learning, employment practices, and precision psychiatry. Going beyond limitations imposed by traditional lab‐based experiments, new efforts have been underway toward greater ecological validity and participant diversity to capture the full range of individual differences in cognitive abilities and behaviors across the general population. Building on this, we developed Skill Lab, a novel game‐based tool that simultaneously assesses a broad suite of cognitive abilities while providing an engaging (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  5
    Independent slip systems in crystals.U. F. Kocks - 1964 - Philosophical Magazine 10 (104):187-193.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  36
    Differential calculus and nilpotent real numbers.Anders Kock - 2003 - Bulletin of Symbolic Logic 9 (2):225-230.
    Do there exist real numbers d with d2 = 0? The question is formulated provocatively, to stress a formalist view about existence: existence is consistency, or better, coherence.Also, the provocation is meant to challenge the monopoly which the number system, invented by Dedekind et al., is claiming for itself as THE model of the geometric line. The Dedekind approach may be termed “arithmetization of geometry”.We know that one may construct a number system out of synthetic geometry, as Euclid and followers (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  12
    Secondary slip and internal stresses in single crystals.U. F. Kocks - 1964 - Philosophical Magazine 10 (105):391-400.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  27
    Augustine’s Letter to Ecdicia.Claudia Kock - 2000 - Augustinian Studies 31 (2):173-180.
1 — 50 / 1000