QUALE LOGICA (PER LA FISICA)?

The preeminent motivation to the scientific practice – stated in a weak way – can be recognized in the individuation of recurring phenomena (or else empirical regularity), along with the manipulation, both experimental and theoretical, of these. One can thus pose the issue of the necessity of adopting a set of rules for the logical inferential process, in order to assign a syntax, a semantic content, and possibly an interpretation, to the empirical evidences. According to Aristotle, non-contradiction is “the firmest principle of allâ€: irrefutable, otherwise the very possibility of formulating thoughts fails. Throughout the present report, the entailments of refusing some of the laws of classical logic – e.g. non-contradiction – are exposed. Such a possibility sheds light on a plurality of logical systems: some traits of these, which are significant for Mathematics and Physics, are examined. For instance, the relevance of dialetheism and intuitionism will be discussed. Besides, the report discusses on which basis one should choose the logical system to be adopted for the scientific activity. The peculiar case study given by Quantum Theory serves as fil rouge in developing the reported matters.