Results for 'Anto Kne��evi��'

12 found
Order:
  1. Universism and Extensions of V.Carolin Antos, Neil Barton & Sy-David Friedman - forthcoming - Review of Symbolic Logic:1-50.
    A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often model-theoretic constructions that add sets to models are cited as evidence in favour of the latter. This paper informs this debate by developing a way for a Universist to interpret talk that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. A Eironeía de Sócrates e a Ironia de Platão nos primeiros diálogos.Antônio José Vieira de Queirós Campos - 2016 - Dissertation, Puc-Rio, Brazil
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  63
    A General Framework for a Second Philosophy Analysis of Set-Theoretic Methodology.Carolin Antos & Deborah Kant - manuscript
    Penelope Maddy’s Second Philosophy is one of the most well-known ap- proaches in recent philosophy of mathematics. She applies her second-philosophical method to analyze mathematical methodology by reconstructing historical cases in a setting of means-ends relations. However, outside of Maddy’s own work, this kind of methodological analysis has not yet been extensively used and analyzed. In the present work, we will make a first step in this direction. We develop a general framework that allows us to clarify the procedure and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Conceptions of Infinity and Set in Lorenzen’s Operationist System.Carolin Antos - forthcoming - In Logic, Epistemology and the Unity of Science. Springer.
    In the late 1940s and early 1950s Lorenzen developed his operative logic and mathematics, a form of constructive mathematics. Nowadays this is mostly seen as the precursor to the more well-known dialogical logic and one could assumed that the same philosophical motivations were present in both works. However we want to show that this is not always the case. In particular, we claim, that Lorenzen’s well-known rejection of the actual infinite as stated in Lorenzen (1957) was not a major motivation (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5.  80
    Introduction to Special Issue on the Foundations of Mathematics.Carolin Antos, Neil Barton, Sy-David Friedman, Claudio Ternullo & John Wigglesworth - 2020 - Synthese 197.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  35
    Modern Class Forcing.Carolin Antos & Victoria Gitman - forthcoming - In D. Gabbay M. Fitting (ed.), Research Trends in Contemporary Logic. College Publications.
    We survey recent developments in the theory of class forcing for- malized in the second-order set-theoretic setting.
    Download  
     
    Export citation  
     
    Bookmark  
  7. Aristóteles e o pensamento evolucionista.Martinho Antônio Bittencourt de Castro - 2011 - Theoria: Revista Eletrônica de Filosofia 3 (7):14-34.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. Some Antecedents of Leibniz’s Principles.Martinho Antônio Bittencourt de Castro - 2008 - Dissertation, University of New South Wales, Australia
    An objective of thisthesis is to investigate whether philosophical tradition can justify or support some of the arguments that are at the basis of Leibniz’s system (for example, monads have no window to the exterior world, a phrase that summarises the structure of Monadology). I shall demonstrate how Leibniz reflects the concerns and the positions of his key predecessors. Thus, the aim of the thesis is to explore key antecedents to Leibniz’s central doctrines. The thesis argues that Leibniz carried out (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9.  77
    Letters to the Editor.Sanford G. Thatcher, James S. Stramel, Heather Blair, David Christensen, Ronald De Sousa, Timothy F. Murphy, Paul Raymont, Harold J. Dumain, Joseph A. Grispino, Todd Volker, Anto Knežević & Karen M. Kuss - 1995 - Proceedings and Addresses of the American Philosophical Association 68 (5):107 - 122.
    A letter protesting the publication of a homophobic rant in the Proceedings of the APA.
    Download  
     
    Export citation  
     
    Bookmark  
  10. Information and Inaccuracy.William Roche & Tomoji Shogenji - 2018 - British Journal for the Philosophy of Science 69 (2):577-604.
    This article proposes a new interpretation of mutual information. We examine three extant interpretations of MI by reduction in doubt, by reduction in uncertainty, and by divergence. We argue that the first two are inconsistent with the epistemic value of information assumed in many applications of MI: the greater is the amount of information we acquire, the better is our epistemic position, other things being equal. The third interpretation is consistent with EVI, but it is faced with the problem of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  11.  5
    Full Bayesian Significance Test Applied to Multivariate Normal Structure Models.Marcelo de Souza Lauretto, Carlos Alberto de Braganca Pereira, Julio Michael Stern & Shelemiahu Zacks - 2003 - Brazilian Journal of Probability and Statistics 17:147-168.
    Abstract: The Pull Bayesian Significance Test (FBST) for precise hy- potheses is applied to a Multivariate Normal Structure (MNS) model. In the FBST we compute the evidence against the precise hypothesis. This evi- dence is the probability of the Highest Relative Surprise Set (HRSS) tangent to the sub-manifold (of the parameter space) that defines the null hypothesis. The MNS model we present appears when testing equivalence conditions for genetic expression measurements, using micro-array technology.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  53
    Vietnam Az Óriások Sakktábláján.Háda Béla - manuscript
    Nincs még egy délkelet-ázsiai ország, mely oly markáns hatást gyakorolt volna a huszadik század történelméről kialakult képükre, mint az egyesítésének 40. évfordulóját idén ünneplő Vietnami Szocialista Köztársaság. Ezt persze több évtizedes háborús szenvedéseinek és az amerikai tömegkultúra ezt nemritkán sajátosan közvetítő, de mindenképpen globális kisugárzással bíró üzeneteinek „köszönheti”.1 Vietnam viharos történelmi közelmúltja máig rányomja bélyegét a vele kapcsolatos képünkre, jóllehet, az említett 1975. évi – az északi és déli országrész egyesülésével járó – újjászületés óta itt sem állt meg az idő. (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark