-
32Relational Theories of Intentionality and the Problem of Non-ExistentsIn Marian David & Mauro Antonelli (eds.), Existence, Fiction, Assumption: Meinongian Themes and the History of Austrian Philosophy, De Gruyter. pp. 1-26. 2016.
-
30Strenge Beweise und das Verbot der metábasis eis állo génos : Eine Untersuchung zu Bernard Bolzanos Beyträgen zu einer begründeteren Darstellung der MathematikHistory and Philosophy of Logic 33 (1). 2012.In his booklet "Contributions to a better founded presentation of mathematics" of 1810 Bernard Bolzano made his first serious attempt to explain the notion of a rigorous proof. Although the system of logic he employed at that stage is in various respects far below the level of the achievements in his later Wissenschaftslehre, there is a striking continuity between his earlier and later work as regards the methodological constraints on rigorous proofs. This paper tries to give a perspicuous and c…Read more
-
3Strenge Beweise und das Verbot der metábasis eis állo génos : Eine Untersuchung zu Bernard Bolzanos Beyträgen zu einer begründeteren Darstellung der MathematikHistory and Philosophy of Logic 33 (1): 1-31. 2012.In his booklet ‘Contributions to a better founded presentation of mathematics’ of 1810 Bernard Bolzano made his first serious attempt to explain the notion of a rigorous proof. Although the system of logic he employed at that stage is in various respects far below the level of the achievements in his later Wissenschaftslehre, there is a striking continuity between his earlier and later work as regards the methodological constraints on rigorous proofs. This paper tries to give a perspicuous and c…Read more
-
90Richard Tieszen, After Gödel. Platonism and Rationalism in Mathematics and Logic.: Oxford University Press, Oxford, 2011 (review)Husserl Studies 30 (2): 153-162. 2014.It is well known that Husserl, together with Plato and Leibniz, counted among Gödel’s favorite philosophers and was, in fact, an important source and reference point for the elaboration of Gödel’s own philosophical thought. Among the scholars who emphasized this connection we find, as Richard Tieszen reminds us, Gian-Carlo Rota, George Kreisel, Charles Parsons, Heinz Pagels and, especially, Hao Wang. Right at the beginning of After Gödel we read: “The logician who conducted and recorded the most…Read more
-
34The Origin of the Logic of Symbolic Mathematics. Edmund Husserl and Jacob Klein (review)History and Philosophy of Logic 34 (2): 187-193. 2013.Burt C. Hopkins, The Origin of the Logic of Symbolic Mathematics. Edmund Husserl and Jacob Klein. Bloomington and Indianapolis: Indiana University Press. 2011. 592 pp. $49.95. ISBN 978-0-253-35671-...
-
34Notes on Mally’s Deontic Logic and the Collapse of ModalitiesSynthese 190 (18): 4095-4116. 2013.This paper analyzes Mally’s system of deontic logic, introduced in his The Basic Laws of Ought: Elements of the Logic of Willing (1926). We discuss Mally’s text against the background of some contributions in the literature which show that Mally’s axiomatic system for deontic logic is flawed, in so far as it derives, for an arbitrary A, the theorem “A ought to be the case if and only if A is the case”, which represents a collapse of obligation. We then try to sort out and understand which axioms…Read more
-
30Der Reziprozitätskanon in den Beyträgen_ und in der _WissenschaftslehreZeitschrift für Philosophische Forschung 64 (3): 310-330. 2010.Two centuries ago Bernard Bolzano published his Contributions to a more well-founded presentation of mathematics which Goethe praised as “an opusculum of very high value”. Bolzano still seems to accept the traditional principle that that intension and extension of a concept stand in an inverse relation . In particular he claims that the concept of a genus proximum is always a component of the concept of the species which are subordinated to it. However, this does not harmonize with his simultane…Read more
-
41Review of M. Hartimo (ed.), Phenomenology and Mathematics (review)Philosophia Mathematica 22 (1): 126-129. 2014.
-
15Mirja Hartimo ed. Phenomenology and Mathematics. Phaenomenologia; 195. Dordrecht: Springer, 2010. ISBN 978-90-481-3728-2 ; 978-90-481-3728-2 ; 978-94-007-3196-7 . Pp. xxv + 222†: Critical Studies/Book Reviews (review)Philosophia Mathematica 22 (1): 126-129. 2014.
-
52Essays on Husserl’s Logic and Philosophy of Mathematics (edited book)Springer Verlag. 2017.Essays on Husserl’s Logic and Philosophy of Mathematics sets out to fill up a lacuna in the present research on Husserl by presenting a precise account of Husserl’s work in the field of logic, of the philosophy of logic and of the philosophy of mathematics. The aim is to provide an in-depth reconstruction and analysis of the discussion between Husserl and his most important interlocutors, and to clarify pivotal ideas of Husserl’s by considering their reception and elaboration by some of his disc…Read more
-
Introduction: Mathesis Universalis, Proof and ComputationIn Stefania Centrone, Sara Negri, Deniz Sarikaya & Peter M. Schuster (eds.), Mathesis Universalis, Computability and Proof, Springer Verlag. 2019.
-
66Logic and philosophy of mathematics in the early HusserlSpringer. 2010.This volume will be of particular interest to researchers working in the history, and in the philosophy, of logic and mathematics, and more generally, to ...
-
19Husserls Zeichentheorie. Bemerkungen zur Ersten Logischen UntersuchungArchiv für Geschichte der Philosophie 97 (1): 66-96. 2015.Name der Zeitschrift: Archiv für Geschichte der Philosophie Jahrgang: 97 Heft: 1 Seiten: 66-96
-
111Functions in Frege, Bolzano and HusserlHistory and Philosophy of Logic 31 (4): 315-336. 2010.This explorative article is organized around a set of questions concerning the concept of a function. First, a summary of certain general facts about functions that are a common coin in contemporary logic is given. Then Frege's attempt at clarifying the nature of functions in his famous paper Function and Concept and in his Grundgesetze is discussed along with some questions which Freges' approach gave rise to in the literature. Finally, some characteristic uses of functional notions to be found…Read more
-
43Early Bolzano on ground-consequence proofsBulletin of Symbolic Logic 22 (2): 215-237. 2016.In his earlyContributions to a Better-Grounded Presentation of Mathematics Bernard Bolzano tries to characterizerigorous proofs.Rigorousis,prima facie, any proof that indicates the grounds for its conclusion. Bolzano lists a number of methodological constraints all rigorous proofs should comply with, and tests them systematically against a specific collection of elementary inference schemata that, according to him, are evidently of ground-consequence-kind. This paper intends to give a detailed a…Read more
-
29Das Problem der apagogischen Beweise in Bolzanos Beyträgen und seiner WissenschaftslehreHistory and Philosophy of Logic 33 (2). 2012.This paper analyzes and evaluates Bolzano's remarks on the apagogic method of proof with reference to his juvenile booklet "Contributions to a better founded presentation of mathematics" of 1810 and to his ?Theory of science? (1837). I shall try to defend the following contentions: (1) Bolzanos vain attempt to transform all indirect proofs into direct proofs becomes comprehensible as soon as one recognizes the following facts: (1.1) his attitude towards indirect proofs with an affirmative conclu…Read more
-
8Edgar Morscher, Normenlogik. Grundlagen – Systeme – Anwendungen. Paderborn, Mentis, 2012. 309 pp., ISBN-13: 978-3897857841 (review)Bulletin of Symbolic Logic 20 (1): 97-98. 2014.
-
64Begründungen bei Bolzano und beim frühen HusserlZeitschrift für Philosophische Forschung 65 (1): 5-27. 2011.Two hundred years ago Bernard Bolzano published a booklet on the philosophy of mathematics that is the first major step forward in this area since Pascal’s De l’esprit géométrique. Following Aristotelian lines Bolzano distinguishes in his opusculum two kinds of proofs, those that simply show that something is the case, and those that explain why something is the case. In his Wissenschaftslehre this contrast reappears as that between derivability and consecutivity . Husserl takes up some of Bolza…Read more
-
30Bolzano und Leibniz über Klarheit und DeutlichkeitArchiv für Geschichte der Philosophie 92 (3): 256-289. 2010.At a time when they had largely fallen into disrepute Bolzano reactivated the distinctions between ‚clear‘ and ‚obscure‘, ‚distinct‘ and ‚confused‘ ideas. In the central sections of this paper I offer a critical reconstruction of the explanations of these pairs of opposita which are to be found in vol. III of Bolzano's monumental Wissenschaftslehre . I then provide a detailed account of its Leibnizian counterparts that were well-known to the ‚Bohemian Leibniz‘, and finally I evaluate Bolzano's c…Read more
-
Technische Universität BerlinInstitute for Philosophy, history of literature, science and technologyHeisenberg Stelle
Berlin, Germany
Areas of Specialization
Science, Logic, and Mathematics |
History of Western Philosophy |
Philosophical Traditions |
Philosophy, Misc |