scientific article; zbMATH DE number 1420872
Poincaré noticed that while a natural physical interpretation of equality \(A=B\) between real numbers is indistinguishability between the corresponding physical quantities, some properties of equality do not hold under this interpretation: On the one hand, it is possible that \(A\) is indistinguishable from \(B\) (i.e., \(A=B\)), \(B\) is indistinguishable from \(C\) (i.e., \(B=C\)), but \(A\) is distinguishable from \(C\) (\(A\neq C\)). On the other hand, transitivity of equality implies the formula \(\neg((A=B)\&(B=C)\& (A\neq C))\) which prohibits the above possibility. The author shows that in fuzzy (\([0,1]\)-valued) logic or in linear logic, the above prohibition formula is no longer deducible. Thus, these non-standard logics are more adequate to describe physicists's reasoning than classical logic. For the entire collection see [Zbl 0927.00008].
- On (un)suitable fuzzy relations to model approximate equality
- A note on approximate equality versus the Poincaré paradox
- The paradox of classical reasoning
- On the \(T\)-transitivity of kernels
- Observability in locally vague environments
- Logic without gaps or gluts. How to solve the paradoxes without sacrificing classical logic
- The works of Hugh MacColl and the origins of nonclassical logic
- scientific article; zbMATH DE number 4142283 (Why is no real title available?)
- On the compactness of admissible transformations of fuzzy partitions in terms of T-equivalence relations
- Approximate similarities and Poincaré paradox
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4944941)
