Books
What “computing” means?, Under contract with Synthese Library 202?
The Intended Model of Arithmetic. Argument from Tennenbaum’s Theorem, PhD thesis University of Paris 1 (300 pages in French and a shorten version in English), 2010
Edited volumes
Conceptual spaces: A mathematical framework for concept engineering, Nasim Mahoozi & Paula Quinon (editors), Special Issue of Synthese, 202?
Intensionality in mathematics, Marianna Antonutti & Paula Quinon (editors), Special Issue of Synthese, 2021 https://doi.org/10.1007/s11229-021-03060-4 (open access)
Epistemologie Francaise 1850-1950, as a supplementary editor to Michel Bitbol & Jean Gayon, PUF 2006
Papers
2023
“The Importance of Expert Knowledge in Big Data and Machine Learning” (co-authored with J.U. Hansen) Synthese 201, 35 https://doi.org/10.1007/s11229-023-04041-5 (open access)
Based on an analysis of big data and machine learning methods in two case studies—skin cancer detection and protein folding—we show that expert knowledge is essential and inherent in the application of these methods. Drawing on this analysis, we establish a classification of the different kinds of expert knowledge that are involved in the application of big data and machine learning in scientific contexts.
2022
“Cognitive structuralism. Explaining the Regularity of the Natural Numbers Progression“ The Review of Philosophy and Psychology https://doi.org/10.1007/s13164-021-00524-x (open access)
I propose a new type of position within the core cognition paradigm, inspired by structuralism in the philosophy of mathematics. I call it „cognitive structuralism”. I explore the possibility of using the innate sensitivity to syncopation (beat induction) to explain the structural properties of the natural number progression.
2021
“Can Church’s Thesis be Viewed as a Carnapian Explication?”, Synthese 2021 https://doi.org/10.1007/s11229-019-02286-7 (open access)
I focus on the question of whether Church’s thesis can be seen as an explication in the precise Carnapian sense. Most importantly, I address an additional constraint that Carnap puts on the explicative power of axiomatic systems—an axiomatisation explicates when it is clear which mathematical entities form the theory’s intended model—and that implicitly applies to axiomatisations of recursion theory used in Church’s account of computability.
Intentionality in Mathematics: Problems and Prospects: Introduction to the Special Issue (co-authored with M. Antonutti Marfori), Synthese 198, 995-999 https://doi.org/10.1007/s11229-021-03060-4 (open access)
2021
“Situated counting” (co-authored with P. Gärdenfors), The Review of Philosophy and Psychology, https://doi.org/10.1007/s13164-020-00508-3 (open access)
2020
“Implicit and explicit examples of the phenomenon of deviant encodings”, Journal of Studies in Logic, Grammar and Rhetoric. PDF
“The anti-mechanism argument based on Gödel’s incompleteness theorems, indescribability of the concept of natural number and deviant encodings”, Semiotic Studies, special issue on philosophy of Gödel by Stanislaw Krajewski, edited by Roman Kossak (CUNY). 10.26333/sts.xxxiv1.11 (open access)
2019
“Magnitude and Number Sensitivity of Approximate Number System in Conceptual Spaces” (co-authored with A. Gemel), in: Mauri Kaipainen, Frank Zenker, Peter Gardenförs (eds.), Conceptual Spaces: Elaborations and Applications, Synthese Library 405, https://doi.org/10.1007/978-3-
2018
“Designing a Smart Society” (in Polish and in English) in: Magdalena Kochanowska & Katarzyna Kasia (eds.) “Fair Book: Excess / Nadmiar”, Warsaw Academy of Fine Arts Publishing, 2018 PDF (preprint in English)
“A taxonomy of deviant encodings”, in: Manea F., Miller R., Nowotka D. (eds) Sailing Routes in the World of Computation. CiE 2018. Lecture Notes in Computer Science, vol 10936. Springer, Cham. https://doi.org/10.1007/978-3-319-94418-0_34 (preprint in PDF)
The paper is based on the lecture “Taxonomy of Deviant Encodings” I had a honor to give on the occasion of Martin Davis’ 90th birthday at the Computability in Europe conference in Kiel in 2018.
Critical extended review of “Numbers and The Making of Us” by Caleb Everett, Harvard University Press 2017 (co-authored with M. Pantsar), Journal of Numerical Cognition 2018 PDF (journal) PDF (preprint)
“Investigating the afterlife”, Science 359 (6374): 398 link1 (open access) link 2 (journal)
2017
“Engineered emotions”, Science 358 (6364): 729 link1 (open access) link 2 (journal)
2016
“On the Use of Model-Theoretical Categories in Art” (in Polish and in English), OPWA Catalogue, Center for Polish Sculpture PDF
2015
“Introduction to Hilary Putnam’s Three Lectures on the Story of Pragmatism” (presumably the last published paper by Putnam), Al-Mukahabat, 14
“ANS and the Treatment of Vagueness in the Conceptual Spaces” (co-authored with A. Gemel), in Lukowski et al. (eds.), Cognition, Language, Society, Lodz University Press
2014
“From Computability over Strings of Characters to Natural Numbers”, in: Olszewski et al. (eds.), Church’s Thesis, Logic, Mind and Nature, Copernicus Center Press (to be featured in Copernicus Center Reports)
2011
Critical review of Stewart Shapiro, “The Oxford Handbook of Philosophy and Mathematics and Logic”, Etudes Philosophiques, 2(97) (in French)
Critical review of Denis Mieville, “La métalangage d’une syntaxe inscriptionnelle”, (Intro. à l’oeuvre de S. Lesniewski, Fasc. VI), History and Philosophy of Logic, 32: 191-193
2010
PhD thesis “The Intended Model of Arithmetic. Argument from Tennenbaum’s Theorem”, University of Paris 1 Sorbonne-Pantheon
2007
“Intended Model of Arithmetic. Argument from Tennenbaum’s Theorem” (co-authored with K. Zdanowski), in: S.B. Cooper, B. Loewe and A. Sorbi (eds.), Computation and Logic in the Real World, Computability in Europe PDF
2005
“On the Problem of Empty Terms” (co-authored with M. Mostowski, as Paula Bucholc in Polish), in: K. Trzęsicki (ed.), Ratione et Studio, Białystok University Press
2004
“Logical Competence vs Logical Correctness” (as Paula Bucholc, in Polish), in: J. Szymanik and M. Zajenkowski (eds.), Kognitywistyka, Warsaw University Press