40 search results - page 1 / 8 » Bolzano a priori knowledge, and the Classical Model of Scien... |
SYNTHESE
2010
13 years 3 months ago
2010
This paper is aimed at understanding one central aspect of Bolzano’s views on deductive knowledge: what it means for a proposition and for a term to be known a priori. I argue t...
SYNTHESE
2010
13 years 3 months ago
2010
This paper concentrates on some aspects of the history of the analytic-synthetic distinction from Kant to Bolzano and Frege. This history evinces considerable continuity but also ...
TARK
2005
Springer
13 years 10 months ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
Book
A classic book about information modeling.
JUCS
2006
13 years 4 months ago
2006
: Our aim is to discuss what, when and, how deep logic should be taught in the computer science education in connection with the so called "Bologna process". We survey th...