Paula Quinon
Biographic Data
| ID | 5995309 |
|---|---|
| NAME | Paula Quinon |
| GIVEN NAMES | Paula |
| FAMILY NAME | Quinon |
| SIGNATURE | QUINON P |
| AFFILIATIONS | Warsaw University of Technology |
| ORCID | 0000-0001-7574-6227 |
| VERIFIED | Yes |
| TOTAL WORKS | 7 |
| TOTAL CITATIONS | 1 |
| WORKS AS AUTHOR | 7 |
| WORKS AS EDITOR | 0 |
| FIRST PUBLICATION YEAR | 2015 |
| LATEST PUBLICATION YEAR | 2025 |
| H-INDEX | 1 |
Intensional Differences Between Programming Languages
This paper investigates intensional differences between programming languages—understood as differences in how computational processes are expressed, structured, and specified rather than merely in what they compute. While such differences have been studied in classical models of computation, they remain underexplored in the context of programming languages. Yet, programming languages undeniably compute, and any account of what “computing” means …
The importance of expert knowledge in big data and machine learning
According to popular belief, big data and machine learning provide a wholly novel approach to science that has the potential to revolutionise scientific progress and will ultimately lead to the ‘end of theory’. Proponents of this view argue that advanced algorithms are able to mine vast amounts of data relating to a given problem without any prior knowledge and that we do not need to concern ourselves with causality, as correlation is sufficient …
Cognitive Structuralism
According to one of the most powerful paradigms explaining the meaning of the concept of natural number, natural numbers get a large part of their conceptual content from core cognitive abilities. Carey’s bootstrapping provides a model of the role of core cognition in the creation of mature mathematical concepts. In this paper, I conduct conceptual analyses of various theories within this paradigm, concluding that the theories based on the abilit…
Situated Counting
We present a model of how counting is learned based on the ability to perform a series of specific steps. The steps require conceptual knowledge of three components: numerosity as a property of collections; numerals; and one-to-one mappings between numerals and collections. We argue that establishing one-to-one mappings is the central feature of counting. In the literature, the so-called cardinality principle has been in focus when studying the d…
Can Church’s thesis be viewed as a Carnapian explication
Turing and Church formulated two different formal accounts of computability that turned out to be extensionally equivalent. Since the accounts refer to different properties they cannot both be adequate conceptual analyses of the concept of computability. This insight has led to a discussion concerning which account is adequate. Some authors have suggested that this philosophical debate—which shows few signs of converging on one view—can be circum…
Intensionality in mathematics
This volume aims to explore philosophical issues related to intensionality in mathematics, and critically examine how concerns about intensionality have driven much recent work in both philosophy and mathematics, particularly in formal philosophy and mathematical logic
L’épistémologie française, 1830-1970
L'epistemologie francaise n'est pas seulement la branche locale d'une discipline internationalement pratiquee. Elle est une tradition de pensee specifique qui affirme la solidarite de problemes (allant de la theorie des fondements de la connaissance a la philosophie des sciences) que d'autres traditions tendent a dissocier. Les etudes rassemblees ici repondent a deux questions. La premiere porte sur les ecoles de pensee et les institutions. La re…
Intensionality in mathematics
This volume aims to explore philosophical issues related to intensionality in mathematics, and critically examine how concerns about intensionality have driven much recent work in both philosophy and mathematics, particularly in formal philosophy and mathematical logic
L’épistémologie française, 1830-1970
L'epistemologie francaise n'est pas seulement la branche locale d'une discipline internationalement pratiquee. Elle est une tradition de pensee specifique qui affirme la solidarite de problemes (allant de la theorie des fondements de la connaissance a la philosophie des sciences) que d'autres traditions tendent a dissocier. Les etudes rassemblees ici repondent a deux questions. La premiere porte sur les ecoles de pensee et les institutions. La re…
Situated Counting
We present a model of how counting is learned based on the ability to perform a series of specific steps. The steps require conceptual knowledge of three components: numerosity as a property of collections; numerals; and one-to-one mappings between numerals and collections. We argue that establishing one-to-one mappings is the central feature of counting. In the literature, the so-called cardinality principle has been in focus when studying the d…
Can Church’s thesis be viewed as a Carnapian explication
Turing and Church formulated two different formal accounts of computability that turned out to be extensionally equivalent. Since the accounts refer to different properties they cannot both be adequate conceptual analyses of the concept of computability. This insight has led to a discussion concerning which account is adequate. Some authors have suggested that this philosophical debate—which shows few signs of converging on one view—can be circum…
Intensionality in mathematics
This volume aims to explore philosophical issues related to intensionality in mathematics, and critically examine how concerns about intensionality have driven much recent work in both philosophy and mathematics, particularly in formal philosophy and mathematical logic
Cognitive Structuralism
According to one of the most powerful paradigms explaining the meaning of the concept of natural number, natural numbers get a large part of their conceptual content from core cognitive abilities. Carey’s bootstrapping provides a model of the role of core cognition in the creation of mature mathematical concepts. In this paper, I conduct conceptual analyses of various theories within this paradigm, concluding that the theories based on the abilit…
The importance of expert knowledge in big data and machine learning
According to popular belief, big data and machine learning provide a wholly novel approach to science that has the potential to revolutionise scientific progress and will ultimately lead to the ‘end of theory’. Proponents of this view argue that advanced algorithms are able to mine vast amounts of data relating to a given problem without any prior knowledge and that we do not need to concern ourselves with causality, as correlation is sufficient …
Intensional Differences Between Programming Languages
This paper investigates intensional differences between programming languages—understood as differences in how computational processes are expressed, structured, and specified rather than merely in what they compute. While such differences have been studied in classical models of computation, they remain underexplored in the context of programming languages. Yet, programming languages undeniably compute, and any account of what “computing” means …
Epistemology (6 works) · Philosophy (5 works) · Philosophy of science (5 works) · Computer Science (4 works) · Metaphysics (4 works) · Philosophy of language (4 works) · Mathematics (3 works) · Artificial Intelligence (2 works) · Calculus (dental) (2 works) · Cognition (2 works)