Wed Mar 15, 2006
234 Moses Hall, 6–8 PM
|Working Group in the History and Philosophy of Logic, Mathematics, and Science
Oswaldo Chateaubriand (Pontifícia Universidade Católica do Rio de Janeiro)
What is Propositional Logic a Theory of, if Anything?
I will discuss the question of what propositional logic is about and will present it as a first-order theory. In connection with this presentation I will discuss several traditional philosophical questions, among which the following: (1)Must the objects of propositional logic (propositions, sentences, thoughts, judgments, etc.) have structure? (2)What is the nature of quantification in propositional logic? (3)What is the connection between material implication and the material conditional? (4)What is the role of the material conditional in propositional logic? (5)What is the nature of truth-values?