3 ms·
"Rationality" should be pretty obvious ... in accordance to logic. And logic has a very rigorous definition. > "people mostly use "rationality" to refer to a s
by bad_user 8y ago
"Rationality" should be pretty obvious ... in accordance to logic. And logic has a very rigorous definition.
> "people mostly use "rationality" to refer to a set of theories, such as mathematics"
Your thinking is flawed, probably by having wrong ideas about what mathematics is. Mathematics is logic, a fact obscured by the math we end up learning all the way up to high school, which does not capture the essence of math. Speaking of which, add the Curry–Howard correspondence in the mix and the plot thickens ;-)
]
- mbrock 8y agoRigorous definitions of logic—the various systems of formal logic—do not fully define reason. They are more like particular schemes that formalize and idealize some aspects of reasoning. Those systems are derived from reasoning, using reasoning, in accordance with reason, but they are not reasoning itself, unless you want to claim that the process of inventing or refining formal logics is itself unreasonable. It's impossible to fully define a foundational concept like rationality. This concept has been used as an example of an "essentially contested concept" whose "proper use… inevitably involves endless disputes."
- s-shellfish 8y agoMathematics is partially logic. Logic alone can not construct all of mathematics, so far. But constructive mathematics, I get the sensation that HN computer-science-logician-mathematicians have a tendency towards disapproval of such a thing. Honestly I wonder sometimes... The plot is already quite thick, in my extremely humble opinion.