KNAW Narcis. Back to search results. Publication Logic and Cognition (1998). Pagina-navigatie: Ma... more KNAW Narcis. Back to search results. Publication Logic and Cognition (1998). Pagina-navigatie: Main. ...
Abstracties en Idealisatie:De Constructie van de Moderne Taalkunde Martin StokhofMichiel van Lamb... more Abstracties en Idealisatie:De Constructie van de Moderne Taalkunde Martin StokhofMichiel van Lambalgen22 december 20091 Inleiding De moderne taalkunde is in bepaalde opzichten een van de opmerkelijkste en succes-volste wetenschappelijke vernieuwingen van de twintigste eeuw. De opkomst van degeneratieve grammatica in de jaren vijftig en zestig zorgde voor een sfeer van intellec-tueel enthousiasme die voorbehouden leek aan fundamentele ontwikkelingen binnende natuurwetenschappen. En het enthousiasme bleef niet beperkt tot de taalkunde zelf,maar strekte zich uit tot andere gebieden, zoals de filosofie, de in opkomst zijnde in-formatica en cognitieve psychologie, de antropologie, de letterkunde. En tot op de dagvan vandaag geldt de moderne taalkunde als model van wetenschappelijke vernieuwingvoor vele andere geesteswetenschappelijke disciplines.Een werkelijke verklaring van deze opmerkelijke ontwikkeling zal een aantalfactoren in ogenschouw moeten nemen. De rol die de natuurwetenschappen ...
Kant considers his Critique of Pure Reason to be founded on the act of judging and the different ... more Kant considers his Critique of Pure Reason to be founded on the act of judging and the different forms of judgement, hence, take pride of place in his argumentation. The consensus view is that this aspect of the Critique of Pure Reason is a failure because Kant’s logic is far too weak to bear such a weight. Here we show that the consensus view is mistaken and that Kant’s logic should be identified with geometric logic, a fragment of intuitionistic logic of great foundational significance.
The logicians . . . are too much caught up in psychology . . . Logic is in no way a part of psych... more The logicians . . . are too much caught up in psychology . . . Logic is in no way a part of psychology. The Pythagorean theorem expresses the same thought for all men, while each person has its own representations, feelings and resolutions that are different from those of every other person. Thoughts are not psychic structures, and thinking is not an inner producing and forming, but an apprehension of thoughts which are already objectively given.
From an evolutionary point of view, what is most overwhelmingly in need of explanation is thegene... more From an evolutionary point of view, what is most overwhelmingly in need of explanation is thegeneralityof human cognition, as compared to that of our immediate ancestors. Humans sing operas, build diesel engines and agonise about domain dependence. Above all they can sustain the kinds of societies required for each of these activities. What part a domain specialist apparatus plays in this new-found encyclopaedic cognition is a good question. But we believe that the wholesale current appeal to domain specificity has led to the neglect of what should be the guiding observation—the hugely more general capacities for reasoning in human beings. The rejection of homogeneous universal learning mechanisms, or of monolithic universally interpreted languages and logics, as simplistic bases for explaining the generality of human cognition, has led to the ‘massive modularity’ view of reasoning (Sperber, 2002); (Sperber, 1994), but we will argue that this is a remarkably poor basis for explainin...
KNAW Narcis. Back to search results. Publication A logic of vision: preliminaries (2001). Pagina-... more KNAW Narcis. Back to search results. Publication A logic of vision: preliminaries (2001). Pagina-navigatie: Main. ...
Disclaimer/Klachtenregeling Meent u dat de digitale beschikbaarstelling van bepaald materiaal inb... more Disclaimer/Klachtenregeling Meent u dat de digitale beschikbaarstelling van bepaald materiaal inbreuk maakt op enig recht dat u toekomt of uw (privacy)belangen schaadt, dan kunt u dit onderbouwd aan de Universiteitsbibliotheek laten weten. Bij een gegronde klacht zal de ...
paper develops the formal foundations of semantic theories dealing with various kinds of nominali... more paper develops the formal foundations of semantic theories dealing with various kinds of nominalisations. It introduces a combination of an event-calculus with a type-free theory which allows a compositional description to be given of such phenomena like Vendler's distinction between perfect and imperfect nominals, iteration of gerunds and Cresswell's notorious non-urrival of'the train examples. Moreover, the approach argued for in this paper allows a semantic explanation to be given for a wide range of grammatical observations such as the behaviour of certain tpes of nominals with respect to their verbal contexts or the distribution of negation in nominals.
KNAW Narcis. Back to search results. Publication Logic and Cognition (1998). Pagina-navigatie: Ma... more KNAW Narcis. Back to search results. Publication Logic and Cognition (1998). Pagina-navigatie: Main. ...
Abstracties en Idealisatie:De Constructie van de Moderne Taalkunde Martin StokhofMichiel van Lamb... more Abstracties en Idealisatie:De Constructie van de Moderne Taalkunde Martin StokhofMichiel van Lambalgen22 december 20091 Inleiding De moderne taalkunde is in bepaalde opzichten een van de opmerkelijkste en succes-volste wetenschappelijke vernieuwingen van de twintigste eeuw. De opkomst van degeneratieve grammatica in de jaren vijftig en zestig zorgde voor een sfeer van intellec-tueel enthousiasme die voorbehouden leek aan fundamentele ontwikkelingen binnende natuurwetenschappen. En het enthousiasme bleef niet beperkt tot de taalkunde zelf,maar strekte zich uit tot andere gebieden, zoals de filosofie, de in opkomst zijnde in-formatica en cognitieve psychologie, de antropologie, de letterkunde. En tot op de dagvan vandaag geldt de moderne taalkunde als model van wetenschappelijke vernieuwingvoor vele andere geesteswetenschappelijke disciplines.Een werkelijke verklaring van deze opmerkelijke ontwikkeling zal een aantalfactoren in ogenschouw moeten nemen. De rol die de natuurwetenschappen ...
Kant considers his Critique of Pure Reason to be founded on the act of judging and the different ... more Kant considers his Critique of Pure Reason to be founded on the act of judging and the different forms of judgement, hence, take pride of place in his argumentation. The consensus view is that this aspect of the Critique of Pure Reason is a failure because Kant’s logic is far too weak to bear such a weight. Here we show that the consensus view is mistaken and that Kant’s logic should be identified with geometric logic, a fragment of intuitionistic logic of great foundational significance.
The logicians . . . are too much caught up in psychology . . . Logic is in no way a part of psych... more The logicians . . . are too much caught up in psychology . . . Logic is in no way a part of psychology. The Pythagorean theorem expresses the same thought for all men, while each person has its own representations, feelings and resolutions that are different from those of every other person. Thoughts are not psychic structures, and thinking is not an inner producing and forming, but an apprehension of thoughts which are already objectively given.
From an evolutionary point of view, what is most overwhelmingly in need of explanation is thegene... more From an evolutionary point of view, what is most overwhelmingly in need of explanation is thegeneralityof human cognition, as compared to that of our immediate ancestors. Humans sing operas, build diesel engines and agonise about domain dependence. Above all they can sustain the kinds of societies required for each of these activities. What part a domain specialist apparatus plays in this new-found encyclopaedic cognition is a good question. But we believe that the wholesale current appeal to domain specificity has led to the neglect of what should be the guiding observation—the hugely more general capacities for reasoning in human beings. The rejection of homogeneous universal learning mechanisms, or of monolithic universally interpreted languages and logics, as simplistic bases for explaining the generality of human cognition, has led to the ‘massive modularity’ view of reasoning (Sperber, 2002); (Sperber, 1994), but we will argue that this is a remarkably poor basis for explainin...
KNAW Narcis. Back to search results. Publication A logic of vision: preliminaries (2001). Pagina-... more KNAW Narcis. Back to search results. Publication A logic of vision: preliminaries (2001). Pagina-navigatie: Main. ...
Disclaimer/Klachtenregeling Meent u dat de digitale beschikbaarstelling van bepaald materiaal inb... more Disclaimer/Klachtenregeling Meent u dat de digitale beschikbaarstelling van bepaald materiaal inbreuk maakt op enig recht dat u toekomt of uw (privacy)belangen schaadt, dan kunt u dit onderbouwd aan de Universiteitsbibliotheek laten weten. Bij een gegronde klacht zal de ...
paper develops the formal foundations of semantic theories dealing with various kinds of nominali... more paper develops the formal foundations of semantic theories dealing with various kinds of nominalisations. It introduces a combination of an event-calculus with a type-free theory which allows a compositional description to be given of such phenomena like Vendler's distinction between perfect and imperfect nominals, iteration of gerunds and Cresswell's notorious non-urrival of'the train examples. Moreover, the approach argued for in this paper allows a semantic explanation to be given for a wide range of grammatical observations such as the behaviour of certain tpes of nominals with respect to their verbal contexts or the distribution of negation in nominals.
In this article we provide a mathematical model of Kant?s temporal continuum that satisfies the (... more In this article we provide a mathematical model of Kant?s temporal continuum that satisfies the (not obviously consistent) synthetic a priori principles for time that Kant lists in the Critique of pure Reason (CPR), the Metaphysical Foundations of Natural Science (MFNS), the Opus Postumum and the notes and fragments published after his death. The continuum so obtained has some affinities with the Brouwerian continuum, but it also has 'infinitesimal intervals' consisting of nilpotent infinitesimals, which capture Kant's theory of rest and motion in MFNS. While constructing the model, we establish a concordance between the informal notions of Kant?s theory of the temporal continuum, and formal correlates to these notions in the mathematical theory. Our mathematical reconstruction of Kant?s theory of time allows us to understand what ?faculties and functions? must be in place for time to satisfy all the synthetic a priori principles for time mentioned. We have presented here a mathematically precise account of Kant?s transcendental argument for time in the CPR and of the relation between the categories, the synthetic a priori principles for time, and the unity of apperception; the most precise account of this relation to date. We focus our exposition on a mathematical analysis of Kant's informal terminology, but for reasons of space, most theorems are explained but not formally proven; formal proofs are available in (Pinosio, 2017). The analysis presented in this paper is related to the more general project of developing a formalization of Kant's critical philosophy (Achourioti & van Lambalgen, 2011). A formal approach can shed light on the most controversial concepts of Kant's theoretical philosophy, and is a valuable exegetical tool in its own right. However, we wish to make clear that mathematical formalization cannot displace traditional exegetical methods, but that it is rather an exegetical tool in its own right, which works best when it is coupled with a keen awareness of the subtleties involved in understanding the philosophical issues at hand. In this case, a virtuous ?hermeneutic circle? between mathematical formalization and philosophical discourse arises. §1. Introduction: why formalize Kant's philosophy? The purpose of this paper is to provide a formalization of the theory of the temporal continuum developed by Im-manuel Kant in his works of the critical period. 1 Our formalization does not only shed light on some controversial interpretative issues, but also shows how Kant's philosophy can still be relevant for contemporary discussions on time and self-consciousness in philosophical logic, the philosophy of mind and cognitive science. This enterprise belongs to the more general project, which began in Achourioti and van Lambalgen (2011), of developing the mathematical theory of Kant's transcendental philosophy, and we believe it offers an example of how a really " scientific philosophy " in the Russellian 1 We adopt the following system of abbreviations for Kant's works: CPR stands for The Critique of Pure Reason , MFNS stands for the Metaphysical Foundations of Natural Science, OP stands for the Opus Postumum, and R stands for the reflections. Passages from the CPR are cited with their usual numbering from the A and the B edition, while all other passages are cited according to their volume and page number from the Akademieausgabe edition of the collected works of Immanuel Kant (Kant, Holger, Gerresheim, Heidemann, & Martin, 1908). The English translation of Kant's passages follows the Cambridge edition of the works of Immanuel Kant.
We aim to show that Kant's theory of time is consistent by providing axioms whose models validate... more We aim to show that Kant's theory of time is consistent by providing axioms whose models validate all synthetic a priori principles for time proposed in the Critique of Pure Reason. In this paper we focus on the distinction between time as form of intuition and time as formal intuition, for which Kant's own explanations are all too brief. We provide axioms that allow us to construct 'time as formal intuition' as a pair of continua, corresponding to time as 'inner sense' and the external representation of time as a line. Both continua are replete with infinitesimals, which we use to elucidate an enigmatic discussion of 'rest' in the Metaphysical foundations of natural science. Our main formal tools are Alexandroff topologies, inverse systems and the ring of dual numbers.
Uploads