Results for 'analytic combinatorics'

989 found
Order:
  1.  27
    Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results.Andreas Weiermann - 2005 - Annals of Pure and Applied Logic 136 (1):189-218.
    This paper is intended to give for a general mathematical audience a survey of intriguing connections between analytic combinatorics and logic. We define the ordinals below ε0 in non-logical terms and we survey a selection of recent results about the analytic combinatorics of these ordinals. Using a versatile and flexible compression technique we give applications to phase transitions for independence results, Hilbert’s basis theorem, local number theory, Ramsey theory, Hydra games, and Goodstein sequences. We discuss briefly (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  2.  11
    Fuzzy logics – quantitatively.Marek Zaionc & Zofia Kostrzycka - 2023 - Journal of Applied Non-Classical Logics 34 (1):97-132.
    ABSTRACT The Gödel–Dummett logic and Łukasiewicz one are two main many-valued logics used by the fuzzy logic community. Our goal is a quantitative comparison of these two. In this paper, we will mostly consider the 3-valued Gödel–Dummett logic as well as the 3-valued Łukasiewicz one. We shall concentrate on their implicational-negation fragments which are limited to formulas formed with a fixed finite number of variables. First, we investigate the proportion of the number of true formulas of a certain length n (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  13
    Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory.Peter M. Schuster, Monika Seisenberger & Andreas Weiermann (eds.) - 2020 - Cham, Switzerland: Springer Verlag.
    This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and logic, including proof theory, commutative algebra, braid groups, graph theory, analytic combinatorics, theory of relations, reverse mathematics and subrecursive hierarchies. As a unifying concept for slick finiteness or termination proofs, wqos have been rediscovered in diverse contexts, and (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  24
    Fuzzy logics – quantitatively.Zofia Kostrzycka & Marek Zaionc - 2023 - Journal of Applied Non-Classical Logics 34 (1):97-132.
    The Gödel–Dummett logic and Łukasiewicz one are two main many-valued logics used by the fuzzy logic community. Our goal is a quantitative comparison of these two. In this paper, we will mostly consider the 3-valued Gödel–Dummett logic as well as the 3-valued Łukasiewicz one. We shall concentrate on their implicational-negation fragments which are limited to formulas formed with a fixed finite number of variables. First, we investigate the proportion of the number of true formulas of a certain length n to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  25
    Phase transitions for Gödel incompleteness.Andreas Weiermann - 2009 - Annals of Pure and Applied Logic 157 (2-3):281-296.
    Gödel’s first incompleteness result from 1931 states that there are true assertions about the natural numbers which do not follow from the Peano axioms. Since 1931 many researchers have been looking for natural examples of such assertions and breakthroughs were obtained in the seventies by Jeff Paris [Some independence results for Peano arithmetic. J. Symbolic Logic 43 725–731] , Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977] and Laurie Kirby [L. Kirby, Jeff Paris, Accessible independence results for Peano Arithmetic, Bull. of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  10
    Exact unprovability results for compound well-quasi-ordered combinatorial classes.Andrey Bovykin - 2009 - Annals of Pure and Applied Logic 157 (2-3):77-84.
    In this paper we prove general exact unprovability results that show how a threshold between provability and unprovability of a finite well-quasi-orderedness assertion of a combinatorial class is transformed by the sequence-construction, multiset-construction, cycle-construction and labeled-tree-construction. Provability proofs use the asymptotic pigeonhole principle, unprovability proofs use Weiermann-style compression techniques and results from analytic combinatorics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  21
    Tautologies over implication with negative literals.Hervé Fournier, Danièle Gardy, Antoine Genitrini & Marek Zaionc - 2010 - Mathematical Logic Quarterly 56 (4):388-396.
    We consider logical expressions built on the single binary connector of implication and a finite number of literals . We prove that asymptotically, when the number of variables becomes large, all tautologies have the following simple structure: either a premise equal to the goal, or two premises which are opposite literals.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  5
    Recent advances in drug design methods: Where will they lead?Philip M. Dean - 1994 - Bioessays 16 (9):683-687.
    Drug design methods have made significant new advances over the last ten years, mainly in the areas of molecular modelling. In more recent times important developments in theory have led to a different type of modelling becoming possible, the so‐called de novo or automated design algorithms. In this new method the programs perform much of the chemist's thinking, in finding appropriately sized chemical groups to fit into a target site. However this is a combinatoric problem which has no general analytical (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. Probability Guide to Gambling: The Mathematics of Dice, Slots, Roulette, Baccarat, Blackjack, Poker, Lottery and Sport Bets.Catalin Barboianu - 2006 - Craiova, Romania: Infarom.
    Over the past two decades, gamblers have begun taking mathematics into account more seriously than ever before. While probability theory is the only rigorous theory modeling the uncertainty, even though in idealized conditions, numerical probabilities are viewed not only as mere mathematical information, but also as a decision-making criterion, especially in gambling. This book presents the mathematics underlying the major games of chance and provides a precise account of the odds associated with all gaming events. It begins by explaining in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  51
    Computer experiments in harmonic analysis.Michael Barany - unknown
    It is conventionally understood that computers play a rather limited role in theoretical mathematics. While computation is indispensable in applied mathematics and the theory of computing and algorithms is rich and thriving, one does not, even today, expect to find computers in theoretical mathematics settings beyond the theory of computing. Where computers are used, by those studying combinatorics , algebra, number theory, or dynamical systems, the computer most often assumes the role of an automated and speedy theoretician, performing manipulations (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  23
    Experimental mathematics.V. I. Arnolʹd - 2015 - Providence. Rhode Island: American Mathematical Society. Edited by D. B. Fuks & Mark E. Saul.
    One of the traditional ways mathematical ideas and even new areas of mathematics are created is from experiments. One of the best-known examples is that of the Fermat hypothesis, which was conjectured by Fermat in his attempts to find integer solutions for the famous Fermat equation. This hypothesis led to the creation of a whole field of knowledge, but it was proved only after several hundred years. This book, based on the author's lectures, presents several new directions of mathematical research. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  7
    Index locorum.Posterior Analytics - 2010 - In Richard Bett (ed.), The Cambridge Companion to Ancient Scepticism. New York: Cambridge University Press. pp. 370.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13. Las causas en aristoteles Y santo Tomas.Posterior Analytícs - 1983 - Sapientia 147:9.
    No categories
     
    Export citation  
     
    Bookmark  
  14.  6
    Current periodical articles.All Acceptable Generalizations are Analytic - 1977 - American Philosophical Quarterly 14 (3).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  10
    2. Boolean algebras of the form P (co)/I and their automorphisms ([6, 5.Analytic Ideals - 1996 - Bulletin of Symbolic Logic 2 (3).
  16. 2. Boolean algebras of the form P ()/I and their automorphisms ([6, 5, 19, 20]). 3. The equivalence relation associated with I: XEI Y iff X△ Y∈ I ([4, 14, 15, 9]). In Section 4, we will have an opportunity to state some consequences of our. [REVIEW]Analytic Ideals - 1996 - Bulletin of Symbolic Logic 2 (3).
  17. on Concept Formation.I. Aristotle & Posterior Analytics - 2010 - In David Charles (ed.), Definition in Greek philosophy. New York: Oxford University Press. pp. 424.
    No categories
     
    Export citation  
     
    Bookmark  
  18. GT Csanady Department of Mechanical Engineering, University of Waterloo.Simple Analytical Models Of Wind-Driven - 1968 - In Peter Koestenbaum (ed.), Proceedings. [San Jose? Calif.,: [San Jose? Calif.. pp. 371.
     
    Export citation  
     
    Bookmark  
  19.  98
    Kant's Analytic.Jonathan Bennett - 1966 - Cambridge, England: Cambridge University Press.
    'Mr Bennett, as was to be expected, has written a first-rate book on Kant's Analytic. It is vivid, entertaining, and extremely instructive. It will be found of absorbing interest both by those who already know the Critique and by those - if there are any such - who have a developed interest in philosophy, yet no direct acquaintance with Kant. These last it will surely drive to the text and, as surely, will drive them to approach it in a (...)
  20. The Combinatorics of Stoic Conjunction.Susanne Bobzien - 2011 - Oxford Studies in Ancient Philosophy 40:157-188.
    ABSTRACT: The 3rd BCE Stoic logician "Chrysippus says that the number of conjunctions constructible from ten propositions exceeds one million. Hipparchus refuted this, demonstrating that the affirmative encompasses 103,049 conjunctions and the negative 310,952." After laying dormant for over 2000 years, the numbers in this Plutarch passage were recently identified as the 10th (and a derivative of the 11th) Schröder number, and F. Acerbi showed how the 2nd BCE astronomer Hipparchus could have calculated them. What remained unexplained is why Hipparchus’ (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  21. Part V. Cross-Cultural Explorations: 14. A New Debate on Consciousness: Bringing Classical and Modern Vedānta into Dialogue with Contemporary Analytic Panpsychism.Anand Jayprakash Vaidya - 2020 - In Ayon Maharaj (ed.), The Bloomsbury research handbook of Vedānta. New York: Bloomsbury Academic.
     
    Export citation  
     
    Bookmark   4 citations  
  22.  36
    The Poverty of Conceptual Truth: Kant's Analytic/Synthetic Distinction and the Limits of Metaphysics.Robert Lanier Anderson - 2015 - Oxford, England: Oxford University Press.
    R. Lanier Anderson presents a new account of Kant's distinction between analytic and synthetic judgments, and provides it with a clear basis within traditional logic. He reconstructs compelling claims about the syntheticity of elementary mathematics, and re-animates Kant's arguments against traditional metaphysics in the Critique of Pure Reason.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  23.  46
    The Problem of Analytic Philosophy.Joseph Agassi & Ian C. Jarvie - 2019 - Philosophy of the Social Sciences 49 (5):413-433.
    Dainton and Robinson’s Companion traces lines of descent of analytic philosophy from ancestors. They characterize analytic philosophy as a movement, a tradition, a style, and a commitment to the va...
    Direct download  
     
    Export citation  
     
    Bookmark  
  24. Is Hume's principle analytic?Crispin Wright - 1999 - Notre Dame Journal of Formal Logic 40 (1):307-333.
    This paper is a reply to George Boolos's three papers (Boolos (1987a, 1987b, 1990a)) concerned with the status of Hume's Principle. Five independent worries of Boolos concerning the status of Hume's Principle as an analytic truth are identified and discussed. Firstly, the ontogical concern about the commitments of Hume's Principle. Secondly, whether Hume's Principle is in fact consistent and whether the commitment to the universal number by adopting Hume's Principle might be problematic. Also the so-called `surplus content' worry is (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   51 citations  
  25. What is Analytic Metaphysics For?James Maclaurin & Heather Dyke - 2012 - Australasian Journal of Philosophy 90 (2):291-306.
    We divide analytic metaphysics into naturalistic and non-naturalistic metaphysics. The latter we define as any philosophical theory that makes some ontological (as opposed to conceptual) claim, where that ontological claim has no observable consequences. We discuss further features of non-naturalistic metaphysics, including its methodology of appealing to intuition, and we explain the way in which we take it to be discontinuous with science. We outline and criticize Ladyman and Ross's 2007 epistemic argument against non-naturalistic metaphysics. We then present our (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  26. Analytic implication.Kit Fine - 1986 - Notre Dame Journal of Formal Logic 27 (2):169-179.
  27.  6
    Can Consumers’ Altruistic Inferences Solve the CSR Initiative Puzzle? A Meta-analytic Investigation.François A. Carrillat, Carolin Plewa, Ljubomir Pupovac, Chloé Vanasse, Taylor Willmott, Renaud Legoux & Ekaterina Napolova - forthcoming - Journal of Business Ethics:1-20.
    Research into consumer responses to corporate social responsibility (CSR) initiatives has expanded in the past four decades, yet the evidence thus far provided does not paint a cohesive picture. Results suggest both positive and negative consumer reactions to CSR, and unless such mixed findings can be reconciled, the outcome might be an amalgamation of disparate empirical results rather than a coherent body of knowledge. The current meta-analysis therefore tests whether the mixed findings might reflect consumers’ distinct, altruistic inferences across various (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  12
    An Inquiry into Analytic-Continental Metaphysics: Truth, Relevance and Metaphysics.Jeffrey A. Bell - 2022 - Edinburgh: Edinburgh University Press.
    Introduction -- 1. Problem of the New -- 2. Problem of Relations -- 3. Problem of Emergence -- 4. Problem of One and Many -- 5. Plato and the Third Man Argument -- 6. Bradley and the Problem of Relations -- 7. Moore, Russell and the Birth of Analytic Philosophy -- 8. Russell and Deleuze on Leibniz -- 9. On Problematic Fields -- 10. Kant and Problematic Ideas -- 11. Armstrong and Lewis on the Problem of One and Many (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Arthâpatti: An Anglo-Indo-Analytic Attempt at Cross-Cultural Conceptual Engineering.Anand Vaidya - 2020 - In Malcolm Keating (ed.), Controversial Reasoning in Indian Philosophy: Major Texts and Arguments on Arthâpatti. London: Bloomsbury Academic Publishing.
     
    Export citation  
     
    Bookmark   1 citation  
  30. Analytic psychology.G. F. Stout - 1896 - Revue de Métaphysique et de Morale 4 (4):4-5.
    No categories
     
    Export citation  
     
    Bookmark   24 citations  
  31.  26
    The Analytic/Synthetic Distinction.Georges Rey - 2012 - In Ed Zalta (ed.), Stanford Encyclopedia of Philosophy. Stanford Encyclopedia of Philosophy.
  32.  33
    Knowledge is closed under analytic content.Samuel Z. Elgin - 2021 - Synthese 199 (1-2):5339-5353.
    I am concerned with epistemic closure—the phenomenon in which some knowledge requires other knowledge. In particular, I defend a version of the closure principle in terms of analyticity; if an agent S knows that p is true and that q is an analytic part of p, then S knows that q. After targeting the relevant notion of analyticity, I argue that this principle accommodates intuitive cases and possesses the theoretical resources to avoid the preface paradox.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  33. Logic in analytic philosophy: a quantitative analysis.Guido Bonino, Paolo Maffezioli & Paolo Tripodi - 2020 - Synthese 198 (11):10991-11028.
    Using quantitative methods, we investigate the role of logic in analytic philosophy from 1941 to 2010. In particular, a corpus of five journals publishing analytic philosophy is assessed and evaluated against three main criteria: the presence of logic, its role and level of technical sophistication. The analysis reveals that logic is not present at all in nearly three-quarters of the corpus, the instrumental role of logic prevails over the non-instrumental ones, and the level of technical sophistication increases in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  34.  14
    Analytic philosophy of language and the Geisteswissenschaften.Karl-Otto Apel - 1967 - Dordrecht,: D. Reidel.
    Accused of the murder of two men and the rape and murder of a Tombstone businessman's fiancâee, Matt Donohue must find the girl in the middle of Apache territory in order to clear his name.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  35. The analytic imaginary.Marguerite La Caze - 2002 - Ithaca: Cornell University Press.
    lntroduction Imaginary and Images M philosophical imaginary refers to both the capacity to imagine and the stock of images philosophers use. ...
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  36.  18
    A Brief History of Analytic Philosophy: From Russell to Rawls.Stephen P. Schwartz - 2012 - Chichester: Wiley-Blackwell.
    _A Brief History of Analytic Philosophy: From Russell to Rawls_ presents a comprehensive overview of the historical development of all major aspects of analytic philosophy, the dominant Anglo-American philosophical tradition in the twentieth century. Features coverage of all the major subject areas and figures in analytic philosophy - including Wittgenstein, Bertrand Russell, G.E. Moore, Gottlob Frege, Carnap, Quine, Davidson, Kripke, Putnam, and many others Contains explanatory background material to help make clear technical philosophical concepts Includes listings of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  37.  24
    Analytic Epistemology and Armchair Psychology.Marian David - 2023 - Acta Analytica 38 (1):45-52.
    Critical comments on Guido Melchior’s book, Knowing and Checking: An Epistemological Investigation (2019). In the second part of his book, Melchior aims to employ his sensitivity account of the epistemic concept of checking to explain well-known puzzle cases about knowing. My comments focus on Melchior’s explanation of knowledge-closure puzzles, as exemplified by Dretske’s zebra case. I raise three critical points about the explanation Melchior proposes for puzzles of this type.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  80
    Post-Analytic Philosophy.John Rajchman & Cornel West - 1985 - Columbia University Press.
    Three Steps on the Ladder of Writing is a poetic, insightful, and ultimately moving exploration of 'the strange science of writing.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  39.  63
    A Realist Approach in Analytic Theology and the Islamic Tradition.Abbas Ahsan - 2017 - Philosophy and Theology 29 (1):101-132.
    I shall argue that the prominent realist methodological approach that is adopted by majority of analytic theologians is inconsistent with the Islamic tradition. I will propose that the realist outlook is constituted of two essential components – metaphysical theological realism and epistemic theological realism – both of which fail to be amenable with the Islamic tradition. The prime reason for this, as I shall demonstrate, is that both metaphysical theological realism and epistemic theological realism divest the Islamic God of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  40.  13
    Levinas's Existential Analytic: A Commentary on Totality and Infinity.James R. Mensch - 2015 - Evanston, Illinois: Northwestern University Press.
    By virtue of the originality and depth of its thought, Emmanuel Levinas’s masterpiece, _Totality and Infinity: An Essay on Exteriority, _is destined to endure as one of the great works of philosophy. It is an essential text for understanding Levinas’s discussion of “the Other,” yet it is known as a “difficult” book. Modeled after Norman Kemp Smith’s commentary on _Kant’s Critique of Pure Reason, Levinas’s Existential Analytic _guides both new and experienced readers through Levinas’s text. James R. Mensch explicates (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  41. A new proof that analytic sets are Ramsey.Erik Ellentuck - 1974 - Journal of Symbolic Logic 39 (1):163-165.
    We give a direct mathematical proof of the Mathias-Silver theorem that every analytic set is Ramsey.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  42. Every analytic set is Ramsey.Jack Silver - 1970 - Journal of Symbolic Logic 35 (1):60-64.
  43. Analytic inference and the informational meaning of the logical operators.Marcello D'Agostino - forthcoming - Logique Et Analyse.
     
    Export citation  
     
    Bookmark   6 citations  
  44.  12
    Chance Combinatorics: The Theory that History Forgot.John D. Norton - 2023 - Perspectives on Science 31 (6):771-810.
    Seventeenth-century “chance combinatorics” was a self-contained theory. It had an objective notion of chance derived from physical devices with chance properties, such as casts of dice, combinatorics to count chances and, to interpret their significance, a rule for converting these counts into fair wagers. It lacked a notion of chance as a measure of belief, a precise way to connect chance counts with frequencies and a way to compare chances across different games. These omissions were not needed for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Mereological Composition in Analytic and Buddhist Perspective.Nicholaos Jones - 2021 - Journal of the American Philosophical Association 7 (2):173-194.
    Comparing Buddhist and contemporary analytic views about mereological composition reveals significant dissimilarities about the purposes that constrain successful answers to mereological questions, the kinds of considerations taken to be probative in justifying those answers, and the value of mereological inquiry. I develop these dissimilarities by examining three questions relevant to those who deny the existence of composite wholes. The first is a question of justification: What justifies denying the existence of composite wholes as more reasonable than affirming their existence? (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  18
    A brief history of analytic philosophy: from Russell to Rawls.Steve Schwartz - 2012 - Chichester: Wiley-Blackwell.
    A Brief History of Analytic Philosophy: From Russell to Rawls presents a comprehensive overview of the historical development of all major aspects of analytic philosophy, the dominant Anglo-American philosophical tradition in the twentieth century. Features coverage of all the major subject areas and figures in analytic philosophy - including Wittgenstein, Bertrand Russell, G.E. Moore, Gottlob Frege, Carnap, Quine, Davidson, Kripke, Putnam, and many others Contains explanatory background material to help make clear technical philosophical concepts Includes listings of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  47.  10
    The Analytic tradition: meaning, thought, and knowledge.David Bell & Neil Cooper (eds.) - 1991 - Cambridge, Mass., USA: Blackwell.
  48. Analytic-Synthetic.Friedrich Waismann - 1949 - Analysis 10 (2):25 - 40.
  49.  23
    Meta-analytic evidence of low convergence between implicit and explicit measures of the needs for achievement, affiliation, and power.Martin G. Kã¶Llner & Oliver C. Schultheiss - 2014 - Frontiers in Psychology 5.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  50.  12
    Infinite combinatorics plain and simple.Dániel T. Soukup & Lajos Soukup - 2018 - Journal of Symbolic Logic 83 (3):1247-1281.
    We explore a general method based on trees of elementary submodels in order to present highly simplified proofs to numerous results in infinite combinatorics. While countable elementary submodels have been employed in such settings already, we significantly broaden this framework by developing the corresponding technique for countably closed models of size continuum. The applications range from various theorems on paradoxical decompositions of the plane, to coloring sparse set systems, results on graph chromatic number and constructions from point-set topology. Our (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 989