Ansten Klev
Biographic Data
| ID | 950673 |
|---|---|
| NAME | Ansten Klev |
| GIVEN NAMES | Ansten |
| FAMILY NAME | Klev |
| SIGNATURE | KLEV A |
| AFFILIATIONS | Czech Academy of Sciences ‐ Institute of Philosophy Prague Czech Republic |
| ORCID | 0000-0003-1091-284X |
| VERIFIED | Yes |
| TOTAL WORKS | 6 |
| TOTAL CITATIONS | 0 |
| AUTHOR COUNT | 6 |
| EDITOR COUNT | 0 |
| FIRST PUBLICATION YEAR | 2016 |
| LATEST PUBLICATION YEAR | 2025 |
| H-INDEX | 0 |
A type-theoretical Curry paradox and its solution
The Curry–Howard correspondence, according to which propositions are types, suggests that every paradox formulable in natural deduction has a type-theoretical counterpart. I will give a purely type-theoretical formulation of Curry’s paradox. On the basis of the definition of a type $\Gamma (A)$, Curry’s reasoning can be adapted to show the existence of an object of the arbitrary type A. This is paradoxical for several reasons, among others that A…
Aspects of a logical theory of assertion and inference
The aim here is to investigate assertion and inference as notions of logic. Assertion will be explained in terms of its purpose, which is to give interlocutors the right to request the assertor to do a certain task. The assertion is correct if, and only if, the assertor knows how to do this task. Inference will be explained as an assertion equipped with what I shall call a justification profile, a strategy for making good on the assertion. The in…
Identity in Martin-Löf type theory
The logic of identity contains riches not seen through the coarse lens of predicate logic. This is one of several lessons to draw from the subtle treatment of identity in Martin-Löf type theory, to which the reader will be introduced in this article. After a brief general introduction we shall mainly be concerned with the distinction between identity propositions and identity judgements. These differ from each other both in logical form and in lo…
Carnap et les catégories
Cet article donne un aperçu des diverses traces de la doctrine des catégories dans les écrits de Carnap. Les notions de catégories jouent un rôle particulièrement important dans le livre Der logische Aufbau der Welt , mais on les retrouve également dans de nombreuses autres œuvres de Carnap. Sa thèse fait allusion à des catégories en plusieurs endroits. Son approche de la logique a été, pendant longtemps, fondée sur la théorie des types, incarnat…
A Proof‐Theoretic Account of the Miners Paradox
By maintaining that a conditional sentence can be taken to express the validity of a rule of inference, we offer a solution to the Miners Paradox that leaves both modus ponens and disjunction elimination intact. The solution draws on Sundholm's recently proposed account of Fitch's Paradox
Carnap on unified science
No prominent works on this page.
A Proof‐Theoretic Account of the Miners Paradox
By maintaining that a conditional sentence can be taken to express the validity of a rule of inference, we offer a solution to the Miners Paradox that leaves both modus ponens and disjunction elimination intact. The solution draws on Sundholm's recently proposed account of Fitch's Paradox
Carnap on unified science
Carnap et les catégories
Cet article donne un aperçu des diverses traces de la doctrine des catégories dans les écrits de Carnap. Les notions de catégories jouent un rôle particulièrement important dans le livre Der logische Aufbau der Welt , mais on les retrouve également dans de nombreuses autres œuvres de Carnap. Sa thèse fait allusion à des catégories en plusieurs endroits. Son approche de la logique a été, pendant longtemps, fondée sur la théorie des types, incarnat…
Identity in Martin-Löf type theory
The logic of identity contains riches not seen through the coarse lens of predicate logic. This is one of several lessons to draw from the subtle treatment of identity in Martin-Löf type theory, to which the reader will be introduced in this article. After a brief general introduction we shall mainly be concerned with the distinction between identity propositions and identity judgements. These differ from each other both in logical form and in lo…
Aspects of a logical theory of assertion and inference
The aim here is to investigate assertion and inference as notions of logic. Assertion will be explained in terms of its purpose, which is to give interlocutors the right to request the assertor to do a certain task. The assertion is correct if, and only if, the assertor knows how to do this task. Inference will be explained as an assertion equipped with what I shall call a justification profile, a strategy for making good on the assertion. The in…
A type-theoretical Curry paradox and its solution
The Curry–Howard correspondence, according to which propositions are types, suggests that every paradox formulable in natural deduction has a type-theoretical counterpart. I will give a purely type-theoretical formulation of Curry’s paradox. On the basis of the definition of a type $\Gamma (A)$, Curry’s reasoning can be adapted to show the existence of an object of the arbitrary type A. This is paradoxical for several reasons, among others that A…
Philosophy (6 works) · Computer Science (4 works) · Epistemology (4 works) · Philosophy and Theoretical Science (4 works) · Logic, Reasoning, and Knowledge (3 works) · Mathematics (3 works) · Philosophy and History of Science (3 works) · Programming language (3 works) · Advanced Algebra and Logic (2 works) · Calculus (dental) (2 works)