Your English writing platform
Discover LudwigExact(18)
The project of PM is to reduce mathematics to logic, and part of the view of logic behind this project is that logical truths are all completely general.
The leading idea here is that logical notions are 'permutation invariant'.
One recent suggestion is that logical expressions are those that do not allow us to distinguish different individuals.
The leading idea here is that logical constants are those whose meaning can be given by proof-theoretic introduction and elimination rules.
The central issue for Husserl is Erdmann's claim that logical laws are merely hypothetically necessary, that is, that logical laws are necessary only for members of the human species up until the present (§40).
A widespread, perhaps universally accepted idea is that part of what distinguishes logical truths from other kinds of truths is that logical truths have a yet to be fully understood modal force.
Similar(38)
However, his more considered view seems to be that logical concepts are best understood as operations, not representations.
The explanation is that 'logical laws express the conditions which govern our thinking in the sense of describing the limits of what we can think' (1976, 329).
And just how logical is that?
But that's the logical thing that happens.
But that is the logical conclusion.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com