Search results for "Carnap"
showing 5 items of 5 documents
On Formalizing Logical Modalities
2021
This paper is in the scope of the philosophy of modal logic; more precisely, it concerns the semantics of modal logic, when the modal elements are interpreted as logical modalities. Most authors have thought that the logic for logical modality—that is, the one to be used to formalize the notion of logical truth (and other related notions)—is to be found among logical systems in which modalities are allowed to be iterated. This has raised the problem of the adequacy, to that formalization purpose, of some modal schemes, such as S4 and S5 . It has been argued that the acceptance of S5 leads to non-normal modal systems, in which the uniform substitution rule fails. The thesis supported in this…
Explicandum vs Explicatum and Soft Computing
2010
The aim of this paper is twofold. First af all I want to present some old ideas revisited in the light of some of the many interesting new developments occurred in the course of these last ten years in the field of the foundations of fuzziness. Secondly I desire to present a tentative general framework in which it is possible (or at least it is possible FOR ME) to compare different attitudes and different approaches to the clarification of the conceptual problems arising from fuzziness and soft computing.
On "Explicandum" versus "Explicatum"
2011
The aim of this paper is twofold. First of all I want to present some old ideas revisited in the light of some of the many interesting new developments occurred in the course of these last ten years in the field of the foundations of fuzziness. Secondly I desire to present a tentative general framework in which it is possible to compare different attitudes and different approaches to the clarification of the conceptual problems arising from fuzziness and soft computing. In the paper, then, I shall use some names as banners to indicate a (crucial) problem (i.e., Carnap’s problem, von Neumann’s problem, Galileian science, Aristotelian science and so on). As it will be clear by reading the pap…