Soyons Logiques / Let Us Be Logical
“Let's be Logical” is a double invitation. Although logic often refers to a disposition of mind that we all share, this disposition might be confused once its theoretical sources are questioned. The present volume offers thirteen articles that address various aspects of the discipline of logic and its methods, notably formalism, the theory of opposition, mathematical truth, and history of logic. This volume has been prepared with the pedagogical concern of making it accessible to a wide audience of logic and philosophy readers.
The aim of the present paper is twofold. On the basis of Frege's "Sense and Denotation", to compare two competing theories of meaning, namely: a one-sorted semantics à la Frege, where every sign symbolizes uniformly; a two-sorted semantics à la Kripke, where a distinction can be made between two modes of functioning among these entities. Then to depict Hintikka's epistemic logic as an internalization of sense, that is, a calculus by means of the operations leading to Frege's theory of meaning.