Results for 'Paolo Maffezioli'

(not author) ( search as author name )
1000+ found
Order:
  1. The Church–Fitch knowability paradox in the light of structural proof theory.Paolo Maffezioli, Alberto Naibo & Sara Negri - 2012 - Synthese 190 (14):2677-2716.
    Anti-realist epistemic conceptions of truth imply what is called the knowability principle: All truths are possibly known. The principle can be formalized in a bimodal propositional logic, with an alethic modality ${\diamondsuit}$ and an epistemic modality ${\mathcal{K}}$, by the axiom scheme ${A \supset \diamondsuit \mathcal{K} A}$. The use of classical logic and minimal assumptions about the two modalities lead to the paradoxical conclusion that all truths are known, ${A \supset \mathcal{K} A}$. A Gentzen-style reconstruction of the Church–Fitch paradox is presented (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  2.  32
    Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate.Paolo Maffezioli & Eugenio Orlandelli - 2019 - Bulletin of the Section of Logic 48 (2):137-158.
    In previous work by Baaz and Iemhoff, a Gentzen calculus for intuitionistic logic with existence predicate is presented that satisfies partial cut elimination and Craig's interpolation property; it is also conjectured that interpolation fails for the implication-free fragment. In this paper an equivalent calculus is introduced that satisfies full cut elimination and allows a direct proof of interpolation via Maehara's lemma. In this way, it is possible to obtain much simpler interpolants and to better understand and overcome the failure of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3. Intuitionistic mereology.Paolo Maffezioli & Achille C. Varzi - 2021 - Synthese 198 (Suppl 18):4277-4302.
    Two mereological theories are presented based on a primitive apartness relation along with binary relations of mereological excess and weak excess, respectively. It is shown that both theories are acceptable from the standpoint of constructive reasoning while remaining faithful to the spirit of classical mereology. The two theories are then compared and assessed with regard to their extensional import.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4. 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 time, although (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  5.  48
    Analytic Rules for Mereology.Paolo Maffezioli - 2016 - Studia Logica 104 (1):79-114.
    We present a sequent calculus for extensional mereology. It extends the classical first-order sequent calculus with identity by rules of inference corresponding to well-known mereological axioms. Structural rules, including cut, are admissible.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  17
    Cut elimination for coherent theories in negation normal form.Paolo Maffezioli - 2024 - Archive for Mathematical Logic 63 (3):427-445.
    We present a cut-free sequent calculus for a class of first-order theories in negation normal form which include coherent and co-coherent theories alike. All structural rules, including cut, are admissible.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  66
    When philosophy (of science) meets formal methods: a citation analysis of early approaches between research fields.Guido Bonino, Paolo Maffezioli, Eugenio Petrovich & Paolo Tripodi - 2022 - Synthese 200 (2).
    The article investigates what happens when philosophy meets and begins to establish connections with two formal research methods such as game theory and network science. We use citation analysis to identify, among the articles published in Synthese and Philosophy of Science between 1985 and 2021, those that cite the specialistic literature in game theory and network science. Then, we investigate the structure of the two corpora thus identified by bibliographic coupling and divide them into clusters of related papers by automatic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  41
    Intuitionistic Mereology II: Overlap and Disjointness.Paolo Maffezioli & Achille C. Varzi - 2023 - Journal of Philosophical Logic 52 (4):1197-1233.
    This paper extends the axiomatic treatment of intuitionistic mereology introduced in Maffezioli and Varzi (_Synthese, 198_(S18), 4277–4302 2021 ) by examining the behavior of constructive notions of overlap and disjointness. We consider both (i) various ways of defining such notions in terms of other intuitionistic mereological primitives, and (ii) the possibility of treating them as mereological primitives of their own.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  66
    Modular Sequent Calculi for Classical Modal Logics.David R. Gilbert & Paolo Maffezioli - 2015 - Studia Logica 103 (1):175-217.
    This paper develops sequent calculi for several classical modal logics. Utilizing a polymodal translation of the standard modal language, we are able to establish a base system for the minimal classical modal logic E from which we generate extensions in a modular manner. Our systems admit contraction and cut admissibility, and allow a systematic proof-search procedure of formal derivations.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  10.  22
    The Arithmetical dictum.Paolo Maffezioli & Riccardo Zanichelli - 2023 - History and Philosophy of Logic 44 (4):373-394.
    Building on previous scholarly work on the mathematical roots of assertoric syllogistic we submit that for Aristotle, the semantic value of the copula in universal affirmative propositions is the relation of divisibility on positive integers. The adequacy of this interpretation, labeled here ‘arithmetical dictum’, is assessed both theoretically and textually with respect to the existing interpretations, especially the so-called ‘mereological dictum’.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  27
    Interpolation in Extensions of First-Order Logic.Guido Gherardi, Paolo Maffezioli & Eugenio Orlandelli - 2020 - Studia Logica 108 (3):619-648.
    We prove a generalization of Maehara’s lemma to show that the extensions of classical and intuitionistic first-order logic with a special type of geometric axioms, called singular geometric axioms, have Craig’s interpolation property. As a corollary, we obtain a direct proof of interpolation for (classical and intuitionistic) first-order logic with identity, as well as interpolation for several mathematical theories, including the theory of equivalence relations, (strict) partial and linear orders, and various intuitionistic order theories such as apartness and positive partial (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12. Proof theory of epistemic logic of programs.Paolo Maffezioli & Alberto Naibo - 2014 - Logic and Logical Philosophy 23 (3):301--328.
    A combination of epistemic logic and dynamic logic of programs is presented. Although rich enough to formalize some simple game-theoretic scenarios, its axiomatization is problematic as it leads to the paradoxical conclusion that agents are omniscient. A cut-free labelled Gentzen-style proof system is then introduced where knowledge and action, as well as their combinations, are formulated as rules of inference, rather than axioms. This provides a logical framework for reasoning about games in a modular and systematic way, and to give (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  33
    An intuitionistic logic for preference relations.Paolo Maffezioli & Alberto Naibo - 2019 - Logic Journal of the IGPL 27 (4):434-450.
    We investigate in intuitionistic first-order logic various principles of preference relations alternative to the standard ones based on the transitivity and completeness of weak preference. In particular, we suggest two ways in which completeness can be formulated while remaining faithful to the spirit of constructive reasoning, and we prove that the cotransitivity of the strict preference relation is a valid intuitionistic alternative to the transitivity of weak preference. Along the way, we also show that the acyclicity axiom is not finitely (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  41
    Bocheński's Formalization of Summa Theologiae (Ia,75,6) Reconsidered.Paolo Maffezioli - 2020 - History and Philosophy of Logic 41 (2):191-198.
    I investigate Bocheński's first-order logic formalization of the argument for the incorruptibility of the human soul given by Aquinas in Summa Theologiae (Ia,75,6). I suggest a slightly different axiomatization that reflect better Aquinas' informal argument. Along the way, I also fix a mistake in Bocheński's derivation that the human soul is not corruptible per se.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  20
    Hume on the Monetary Fallacy of Monotonic Counterfactuals.Paolo Maffezioli - 2022 - Axiomathes 32 (2):593-606.
    I focus on the commonly shared view that Hume’s monetary theory is inconsistent. I review several attempts to solve the alleged inconsistency in Hume’s monetary theory, including the consensus interpretation according to which Hume was committed to the neutrality of money only in the long run, while he conceded that money can be non-neutral in the short run. Then, building on a monetary version of the logical fallacy of monotonic counterfactuals in the essay Of the Balance of Trade, I argue (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  24
    Sequents for non-wellfounded mereology.Paolo Maffezioli - 2016 - Logic and Logical Philosophy 25 (3):351-369.
    The paper explores the proof theory of non-wellfounded mereology with binary fusions and provides a cut-free sequent calculus equivalent to the standard axiomatic system.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  9
    Zeno of Sidon vindicatus: a mereological analysis of the bisection of the circle.Paolo Maffezioli - forthcoming - Logic and Logical Philosophy:1-20.
    I provide a mereological analysis of Zeno of Sidon’s objection that in Euclid’s Elements we need to supplement the principle that there are no common segments of straight lines and circumferences. The objection is based on the claim that such a principle is presupposed in the proof that the diameter cuts the circle in half. Against Zeno, Posidonius attempts to prove against Zeno the bisection of the circle without resorting to Zeno’s principle. I show that Posidonius’ proof is flawed as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. Micromotives and Macrobehavior - Thomas Schellling. [REVIEW]Paolo Maffezioli - 2009 - Humana Mente 3 (10).
     
    Export citation  
     
    Bookmark  
  19.  7
    Polemos: guerra, politica, tecnica.Paolo Barbieri - 2019 - Milano: BookTime.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Philosophy of mathematics and mathematical practice in the seventeenth century.Paolo Mancosu (ed.) - 1996 - New York: Oxford University Press.
    The seventeenth century saw dramatic advances in mathematical theory and practice. With the recovery of many of the classical Greek mathematical texts, new techniques were introduced, and within 100 years, the rules of analytic geometry, geometry of indivisibles, arithmatic of infinites, and calculus were developed. Although many technical studies have been devoted to these innovations, Mancosu provides the first comprehensive account of the relationship between mathematical advances of the seventeenth century and the philosophy of mathematics of the period. Starting with (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   93 citations  
  21. From Brouwer to Hilbert: the debate on the foundations of mathematics in the 1920s.Paolo Mancosu (ed.) - 1998 - New York: Oxford University Press.
    From Brouwer To Hilbert: The Debate on the Foundations of Mathematics in the 1920s offers the first comprehensive introduction to the most exciting period in the foundation of mathematics in the twentieth century. The 1920s witnessed the seminal foundational work of Hilbert and Bernays in proof theory, Brouwer's refinement of intuitionistic mathematics, and Weyl's predicativist approach to the foundations of analysis. This impressive collection makes available the first English translations of twenty-five central articles by these important contributors and many others. (...)
  22. The All too Human Welfare State: Freedom between Gift and Corruption.Paolo Silvestri - 2019 - Teoria E Critica Della Regolazione Sociale 19 (2):123-145.
    Can taxation and the redistribution of wealth through the welfare state be conceived as a modern system of circulation of the gift? But once such a gift is institutionalized, regulated and sanctioned through legal mechanisms, does it not risk being perverted or corrupted, and/or not leaving room for genuinely altruistic motives? What is more: if the market’s utilitarian logic can corrupt or ‘crowd out’ altruistic feelings or motivations, what makes us think that the welfare state cannot also be a source (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  67
    Feelings that Make a Difference: How Guilt and Pride Convince Consumers of the Effectiveness of Sustainable Consumption Choices.Paolo Antonetti & Stan Maklan - 2014 - Journal of Business Ethics 124 (1):117-134.
    A significant body of research concludes that stable beliefs of perceived consumer effectiveness lead to sustainable consumption choices. Consumers who believe that their decisions can significantly affect environmental and social issues are more likely to behave sustainably. Little is known, however, about how perceived consumer effectiveness can be increased. We find that feelings of guilt and pride, activated by a single consumption episode, can regulate sustainable consumption by affecting consumers’ general perception of effectiveness. This paper demonstrates the impact that guilt (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  24.  37
    An Extended Model of Moral Outrage at Corporate Social Irresponsibility.Paolo Antonetti & Stan Maklan - 2016 - Journal of Business Ethics 135 (3):429-444.
    A growing body of literature documents the important role played by moral outrage or moral anger in stakeholders’ reactions to cases of corporate social irresponsibility. Existing research focuses more on the consequences of moral outrage than a systematic analysis of how appraisals of irresponsible corporate behavior can lead to this emotional experience. In this paper, we develop and test, in two field studies, an extended model of moral outrage that identifies the cognitions that lead to, and are associated with, this (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  25. The Road Not Taken – Reading Calabresi’s “The Future of Law and Economics”.Paolo Silvestri - 2019 - Global Jurist 19 (3):1-7.
    The publication of Guido Calabresi’s book “The Future of Law and Economics” has drawn a substantial amount of attention among law and economics scholars. We thought that the best way to devote special attention to this book was to devote a Special issue to it. This article situates Calabresi’s book among other reflections on the future of the discipline, introduces and explains the reasons behind this Special issue and discuss the organization and content of it. -/- We emphasize how Calabresi’s (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. Economics, Law, Humanities: Homo-what? An Introduction.Paolo Silvestri - 2019 - Teoria E Critica Della Regolazione Sociale 19 (2):7-14.
    This introduction explains the reasons behind this Special issue and discuss the organization and content of it. The difficulty of a genuine dialogue and understanding between economics, law and humanities, seems to be due not only to the fragmentation of reflections on man, but to a real ‘conflict of anthropologies’. What kind of conceptions of man and human values are presupposed by and / or privileged by economics, law, economic approaches to law and social sciences? How and when do these (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. Disputed (Disciplinary) Boundaries : Philosophy, Economics and Value Judgments.Paolo Silvestri - 2016 - History of Economic Ideas 24 (3):187-221.
    The paper aims to address the following two questions: what kind of discourse is that which attempt to found or defend the autonomy or the boundaries of a discipline? Why do such discourses tend to turn into normative, dogmatic-excommunicating discourses between disciplines, schools or scholars? I will argue that an adequate answer may be found if we conceive disciplines as dogmatics, where such discourses often take the form of a discourse on the foundation of a discipline, a foundation in the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. A proof theoretical perspective on public announcement logic.S. Negri & P. Maffezioli - forthcoming - Logic and Philosophy of Science.
     
    Export citation  
     
    Bookmark   2 citations  
  29.  38
    Brain networks of visuospatial attention and their disruption in visual neglect.Paolo Bartolomeo, Michel Thiebaut de Schotten & Ana B. Chica - 2012 - Frontiers in Human Neuroscience 6.
  30.  70
    Compression: Nietzsche, Williams, and the problem of style.Paolo Babbiotti - 2020 - European Journal of Philosophy 29 (4):937-947.
    European Journal of Philosophy, Volume 29, Issue 4, Page 937-947, December 2021.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  31. General triviality for counterfactuals.Paolo Santorio - 2022 - Analysis 82 (2):277-289.
    On an influential line of thinking tracing back to Ramsey, conditionals are closely linked to the attitude of supposition. When applied to counterfactuals, this view suggests a subjunctive version of the so-called Ramsey test: the probability of a counterfactual If A, would B ought to be equivalent to the probability of B, under the subjunctive supposition that A. I present a collapse result for any view that endorses the subjunctive version of the Ramsey test. Starting from plausible assumptions, the result (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  27
    Word meaning: a linguistic dimension of conceptualization.Paolo Acquaviva - 2022 - Synthese 200 (5):1-35.
    That words express a conceptual content is uncontroversial. This does not entail that their content should break down neatly into a grammatical part, relevant for language and to be analyzed in linguistic terms, and a conceptual part, relevant for cognition and to be analyzed in psychological terms. Various types of empirical evidence are reviewed, showing that the conceptual content of words cannot be isolated from their linguistic properties, because it is affected and shaped by them. The view of words as (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  3
    Il negativo e il positivo: la varietà della natura e della natura umana.Paolo Vincieri (ed.) - 2018 - Bologna: D.u.press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  6
    Il pensiero di Jean Guitton: l'uomo, il tempo, Dio.Paolo Poli - 2019 - Lecce: Youcanprint Self-Publishing.
    Il libro ricostruisce la vita e il pensiero di Jean Guitton (1901-1999), il grande amico di Paolo VI, a quasi ventʼanni dalla sua morte. La vicenda umana di questo scrittore e filosofo cristiano ha attraversato quasi integralmente il XX secolo quale testimone diretto di eventi epocali: i primi tentativi ecumenici, le due guerre mondiali, le radicalizzazioni ideologiche del secondo dopoguerra, lʼera atomica e il Concilio Vaticano II. Il primo capitolo del volume è dedicato alla ricostruzione della vita di Guitton (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  22
    Identity Bias in Negative Word of Mouth Following Irresponsible Corporate Behavior: A Research Model and Moderating Effects.Paolo Antonetti & Stan Maklan - 2018 - Journal of Business Ethics 149 (4):1005-1023.
    Current research has documented how cases of irresponsible corporate behavior generate negative reactions from consumers and other stakeholders. Existing research, however, has not examined empirically whether the characteristics of the victims of corporate malfeasance contribute to shaping individual reactions. This study examines, through four experimental surveys, the role played by the national identity of the people affected on consumers’ intentions to spread negative word of mouth. It is shown that national identity influences individual reactions indirectly; mediated by perceived similarity and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  36.  5
    Objects in Italian life and culture: fiction, migration, and artificiality.Paolo Bartoloni - 2016 - New York: Palgrave-Macmillan.
    Meaningful places -- Fictional objects -- Migrant objects -- Multicultural and transcultural objects -- Objects as props -- Conclusion.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  19
    L'uno e il molteplice.Paolo Landi - 2016 - Firenze: Editrice Clinamen.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  2
    Il Risorgimento della Chiesa: genesi e ricezione delle Cinque piaghe di A. Rosmini.Paolo Marangon - 2000 - Roma: Herder.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  3
    L'intersoggettività della persona: Husserl, Scheler, Guardini, Weizsäcker.Paolo Augusto Masullo - 1999 - Napoli: Loffredo.
  40.  4
    Dal nichilismo alla teologia.Paolo Miccoli - 2000 - Pavia: Bonomi.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  31
    Neologicist Foundations: Inconsistent Abstraction Principles and Part-Whole.Paolo Mancosu & Benjamin Siskind - 2019 - In Gabriele Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin, Boston: De Gruyter. pp. 215-248.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  42.  20
    Tarski, neurath, and kokoszynska on the semantic conception of truth.Paolo Mancosu - 2008 - In Douglas Patterson (ed.), New essays on Tarski and philosophy. Oxford University Press. pp. 192.
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  43. Indeterminacy and Triviality.Paolo Santorio & Robert Williams - forthcoming - Australasian Journal of Philosophy.
    Suppose that you're certain that a certain sentence, e.g. "Frida is tall", lacks a determinate truth value. What cognitive attitude should you take towards it—reject it, suspend judgment, or what else? We show that, by adopting a seemingly plausible principle connecting credence in A and Determinately A, we can prove a very implausible answer to this question: i.e., all indeterminate claims should be assigned credence zero. The result is striking similar to so-called triviality results in the literature on modals and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  44. in Paolo Diego Bubbio, Maurizio Pagano, Hager Weslati and Alessandro De Cesaris (eds), Hegel, Logic and Speculation, London: Bloomsbury, ISBN-13: 978-1350056367. DOI: 10.5040/9781350056381.ch-011.Paolo Diego Bubbio, Maurizio Pagano, Hager Weslati & Alessandro De Cesaris (eds.) - 2019 - London: Bloomsbury.
     
    Export citation  
     
    Bookmark  
  45.  13
    “All the Difference in the World”: The Nature of Difference and Different Natures.Paolo Heywood - 2020 - Philosophy of the Social Sciences 50 (6):543-564.
    This article begins by examining the status of “difference” in representations of perspectivist cosmologies, which are themselves often represented as radically different to Euro-American cosmologi...
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  16
    Structural and universal completeness in algebra and logic.Paolo Aglianò & Sara Ugolini - 2024 - Annals of Pure and Applied Logic 175 (3):103391.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  74
    New wars and new soldiers: military ethics in the contemporary world.Paolo Tripodi & Jessica Wolfendale (eds.) - 2011 - Burlington, VT: Ashgate.
    Bringing together contributors from philosophy, international relations, security studies, and strategic studies, New Wars and New Soldiers offers a truly interdisciplinary analysis reflective of the nature of modern warfare. This comprehensive approach allows the reader to see the broad scope of modern military ethics, and to understand the numerous questions about modern conflict that require critical scrutiny. Aimed at both military and academic audiences, this paperback will be of significant interest to researchers and students in philosophy, sociology, military and strategic (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  48.  24
    Varieties of BL-Algebras III: Splitting Algebras.Paolo Aglianó - 2019 - Studia Logica 107 (6):1235-1259.
    In this paper we investigate splitting algebras in varieties of logics, with special consideration for varieties of BL-algebras and similar structures. In the case of the variety of all BL-algebras a complete characterization of the splitting algebras is obtained.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Heinrich Behmann’s 1921 lecture on the decision problem and the algebra of logic.Paolo Mancosu & Richard Zach - 2015 - Bulletin of Symbolic Logic 21 (2):164-187.
    Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic remarks on (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  50.  87
    The adventure of reason: interplay between philosophy of mathematics and mathematical logic, 1900-1940.Paolo Mancosu - 2010 - New York: Oxford University Press.
    At the same time, the book is a contribution to recent philosophical debates, in particular on the prospects for a successful nominalist reconstruction of .
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 1000