The thesis opens with an account of the origins of the modern problem of the demarcation of the logical constants in Alfred Tarski's 1936 lecture "On the Concept of Logical Consequence". Focus then shifts to the logical notions, to free the investigation from parochialism. John Etchemendy's recent challenge to the demarcation project is discussed and rejected. The thesis then surveys various methodological issues, conceptions of the aims and purposes of logic, and needed technical concepts. This provides the requisite tools to carry out the evaluation of existing demarcation proposals. Three groups of demarcation proposals are elaborated and evaluated.First are model-theoretic proposals, which attempt to define the logical notions as those ...
Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful...
Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful...
Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful...
The dissertation aims to set out a methodological framework conducive to further research into the d...
This dissertation consists of a number of papers on dialogical logic. The dialogical approach in log...
Logic is concerned with the design or structure of arguments. It describes the forms of valid argume...
At the foundations of contemporary mathematical logic lies Tarski's model-theoretic definition of lo...
Logic is concerned with the design or structure of arguments. It describes the forms of valid argume...
At the foundations of contemporary mathematical logic lies Tarski's model-theoretic definition of lo...
logical consequence,1 has been widely challenged in recent decades. My own challenge to this thesis ...
Aristotle, the founder of formal logic, did not describe the subject matter of that discipline. Duri...
In the paper the following questions are discussed: (i) What is logical consequence? (ii) What are l...
All through the literatura, the question about what is a logical constant has recieved many answers,...
The paper argues that a philosophically informative and mathematically precise characterization is p...
Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful...
Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful...
Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful...
Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful...
The dissertation aims to set out a methodological framework conducive to further research into the d...
This dissertation consists of a number of papers on dialogical logic. The dialogical approach in log...
Logic is concerned with the design or structure of arguments. It describes the forms of valid argume...
At the foundations of contemporary mathematical logic lies Tarski's model-theoretic definition of lo...
Logic is concerned with the design or structure of arguments. It describes the forms of valid argume...
At the foundations of contemporary mathematical logic lies Tarski's model-theoretic definition of lo...
logical consequence,1 has been widely challenged in recent decades. My own challenge to this thesis ...
Aristotle, the founder of formal logic, did not describe the subject matter of that discipline. Duri...
In the paper the following questions are discussed: (i) What is logical consequence? (ii) What are l...
All through the literatura, the question about what is a logical constant has recieved many answers,...
The paper argues that a philosophically informative and mathematically precise characterization is p...
Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful...
Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful...
Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful...
Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful...