João Vitor Schmidt
Biographic Data
| ID | 9030423 |
|---|---|
| NAME | João Vitor Schmidt |
| GIVEN NAMES | João Vitor |
| FAMILY NAME | Schmidt |
| SIGNATURE | SCHMIDT J V |
| AFFILIATIONS | University Center of Brasília |
| ORCID | 0000-0003-3572-6306 |
| VERIFIED | Yes |
| TOTAL WORKS | 4 |
| TOTAL CITATIONS | 0 |
| WORKS AS AUTHOR | 4 |
| WORKS AS EDITOR | 0 |
| FIRST PUBLICATION YEAR | 2022 |
| LATEST PUBLICATION YEAR | 2025 |
| H-INDEX | 0 |
Can Artificial Agents be Authors
Axioms and Postulates as Speech Acts
We analyze axioms and postulates as speech acts. After a brief historical appraisal of the concept of axiom in Euclid, Frege, and Hilbert, we evaluate contemporary axiomatics from a linguistic perspective. Our reading is inspired by Hilbert and is meant to account for the assertive, directive, and declarative components of modern axiomatics. We will do this by describing the constitutive and regulative roles that axioms possess with respect to th…
Not coped with by a machine
Following logicism, Frege famously held that logic is a science on its own. Particularly, he held the informativity thesis, viz., that logic is a science because it is deductively informative. This paper aims to understand Frege’s informativity thesis and its connection with the conception of logic as science. For such, it focuses on some features of Frege’s philosophy that are key for understanding this connection, particularly his conception of…
Fine’s Postulationism, Objectivity, and Mathematical Creation
We analyse Kit Fine’s proposal of a procedural Postulationism for mathematics. From a linguistic perspective, we argue that Postulationism is better understood in terms of declarative speech acts. Based on this observation, we argue in favor of a form of Declarationism able to account for both the objectivity of mathematics and its creative dimension
No prominent works on this page.
Fine’s Postulationism, Objectivity, and Mathematical Creation
We analyse Kit Fine’s proposal of a procedural Postulationism for mathematics. From a linguistic perspective, we argue that Postulationism is better understood in terms of declarative speech acts. Based on this observation, we argue in favor of a form of Declarationism able to account for both the objectivity of mathematics and its creative dimension
Not coped with by a machine
Following logicism, Frege famously held that logic is a science on its own. Particularly, he held the informativity thesis, viz., that logic is a science because it is deductively informative. This paper aims to understand Frege’s informativity thesis and its connection with the conception of logic as science. For such, it focuses on some features of Frege’s philosophy that are key for understanding this connection, particularly his conception of…
Axioms and Postulates as Speech Acts
We analyze axioms and postulates as speech acts. After a brief historical appraisal of the concept of axiom in Euclid, Frege, and Hilbert, we evaluate contemporary axiomatics from a linguistic perspective. Our reading is inspired by Hilbert and is meant to account for the assertive, directive, and declarative components of modern axiomatics. We will do this by describing the constitutive and regulative roles that axioms possess with respect to th…
Can Artificial Agents be Authors
Epistemology (4 works) · Philosophy (4 works) · Artificial Intelligence (3 works) · Computer Science (3 works) · Philosophy, Science, and History (3 works) · History and Theory of Mathematics (2 works) · Philosophy and Theoretical Science (2 works) · Axiom (1 work) · Biochemical engineering (1 work) · Biomedical Text Mining and Ontologies (1 work)