Per Martin Löf: How did judgement come to be a term of logic
, Savoirs ENS What is logic Is it the study of the process of inference or reasoning, called demonstration in mathematics, by means of which we justify our judgements Or is it the study of the logical and settheoretical concepts, like proposition, truth and consequence on the one hand, and set, element and function on the other, that make their appearance in the contents of our judgements This is the fundamental question whether logic is in essence, or by nature, epistemological or ontological. The answer is presumably that it is both, which is to say that, within logic, one can distinguish between two parts, or two layers, the one epistemological and the other ontological. But there remains the question of the order of priority between these two layers: Which comes first Is epistemology prior to ontology, or is it the other way round Bolzano, whose logic in four volumes, called Wissenschaftslehre, has the most clear architectonic structure of all logics that have so far been written, tre
|