X
-
None of those are laws, Nick. They're all assumptions, or axioms if we're speaking formally.
Because they're useful assumptions in a wide variety of applications, they're gathered together axiomatically, most notably in creating the classical logics. But like anything else in mathematics, it should be remembered that their existence is abstract, and any relevance to the real world, no matter the ubiquity, is strictly coincidental.
The Unreasonable Effectiveness of Mathematics in the Natural Sciences
Mathematics, rightly viewed, possesses not only truth, but supreme beauty, a beauty cold and austere, like that of sculpture, without appeal to any part of our weaker nature, without the gorgeous trappings of painting or music, yet sublimely pure, and capable of a stern perfection such as only the greatest art can show. The true spirit of delight, the exaltation, the sense of being more than Man, which is the touchstone of the highest excellence, is to be found in mathematics as surely as in poetry.
--BERTRAND RUSSELL, Study of Mathematics
Logic is not something taught in a freshman philosophy course. That's the introduction. To know logic, one needs to know logics as universal algebras, and that means studying universal algebras.
Mathematical Sciences: Special Year in Model Theory and Universal Algebra
This project will support a special year in model theory and universal algebra to be held at the University of Illinois at Chicago in 1991-92.
I was there that year.
"Holes" in classical logics show up in the literature centuries before the first halting steps toward a classical logic were made by Aristotle, and millennia before the axiomatic development of classical logics in the late 19th and early 20th centuries.
All of the following paradoxes are formally equivalent.
All Cretans are liars. I should know, I'm a Cretan.
The book of all books that do not cite themselves.
The set of all sets that do not contain themselves as a member.
Those last two share the same contradictory existence as believable liars, or more topically, tolerance of intolerance, which likewise belongs on the list.
I'm not a Cretan.
A liar's paradox can't be true. And it can't be not true.
The middle can't be excluded.
The best we can do is restrict our treatment to abstract realms satisfying the postulate. Mostly that means avoiding recursive structures. Any paradox that fits on that list can be resolved by forbidding recursion.
_____
But you can't forbid recursive structures. They're useful, and powerful, and relevant to the question in the OP. There is no calculus without them.
Still, if you've got recursive structures, you've got liar's paradoxes.
The liar's paradox can be generalized, much to the chagrin of the above-cited Russell and his colleague Alfred North Whitehead, whose Principia Mathematica was serially redacted between 1910 and 1913, before its summary execution in 1931. That was published his proof that the real numbers are not countably infinite in 1874, and the result was applied recursively. The wolves were loosed on all things infinite, putting all of axiomatic set theory in the cross hairs. This led eventually to the introduction of subtle refinements like the axiom of choice, and the further refinements of ZF and ZFE set theories.
And sporadically to the institutionalization of Cantor. Working on the infinite drove him nuts, repeatedly.
And immediately, we had that there can be no greatest infinite.
_____
Again, this doesn't have to have any utility at all, but to the extent one wishes to argue for the existence of a being that is both infinite and supreme using a formal logic, we can say things about that being that likely don't align well with the faith of tradents.
Please let me know if there's anything in the links you'd like to discuss.
Regards, J
Comment
-
Originally posted by Apologiaphoenix View PostJuvenal. I do consider those three laws as they are all aspects of how being behaves.
I do note that nothing has been said that Christianity contradicts logic. I would really like to know if you have anything on that point.
It's not a meaningful concept.
Comment
-
Originally posted by Juvenal View PostYour abiding faith in classical logics as an ontological standard may be endearing, but I can say from experience it's not sustainable in the face of graded homework assignments.
The Christian God is a supreme infinite being and a supreme infinite being is a married bachelor in any logic.
It's not a meaningful concept.
Comment
-
Originally posted by Apologiaphoenix View PostWhich is just an assertion. There are plenty of classical theologians and philosophers who have graded homework assignments and PhDs in the field who would disagree.
Which is again another assertion given without any supporting argument.If it weren't for the Resurrection of Jesus, we'd all be in DEEP TROUBLE!
Comment
-
Originally posted by Apologiaphoenix View PostWhich is just an assertion. There are plenty of classical theologians and philosophers who have graded homework assignments and PhDs in the field who would disagree.
Offhand, I can think of four who would laugh at that assertion.
John Baldwin
Willem Blok
Joel Berman
David Marker
And myself, of course.
No PhD in the field would ever claim a privileged position for classical axioms. It would be gross incompetence.
It's time to stop pretending you know more about math than the professor, Nick. You're decades of study short of a position to judge my understanding of the field, and will frankly never arrive at such a position without giving up these prejudices.
Which is again another assertion given without any supporting argument.
If you don't understand this, you can ask. But you don't get to claim it didn't happen.
Regards, J
Comment
-
Originally posted by Juvenal View PostName one.
Offhand, I can think of four who would laugh at that assertion.
John Baldwin
Willem Blok
Joel Berman
David Marker
And myself, of course.
No PhD in the field would ever claim a privileged position for classical axioms. It would be gross incompetence.
Right now I would say most any Thomist philosopher. Garrigou-Lagrange, Feser, Stump, Gilson, Wippel, etc.
There's an actual discussion waiting for you the moment you stop digging in your heels and covering your eyes, hoping the arguments will just go away.
If you don't understand this, you can ask. But you don't get to claim it didn't happen.
Regards, J
Comment
-
I dream of finishing that book one day. I've tried a couple times. I just need enough free time to plow all the way through it without having to put it aside for too long.Veritas vos Liberabit<>< Learn Greek <>< Look here for an Orthodox Church in America<><Ancient Faith Radio
sigpic
I recommend you do not try too hard and ...research as little as possible. Such weighty things give me a headache. - Shunyadragon, Baha'i apologist
Comment
-
Originally posted by One Bad Pig View PostI dream of finishing that book one day. I've tried a couple times. I just need enough free time to plow all the way through it without having to put it aside for too long.The first to state his case seems right until another comes and cross-examines him.
Comment
Related Threads
Collapse
Topics | Statistics | Last Post | ||
---|---|---|---|---|
Started by Apologiaphoenix, 05-01-2024, 09:43 PM
|
1 response
22 views
0 likes
|
Last Post Yesterday, 08:29 PM | ||
Started by Apologiaphoenix, 04-25-2024, 09:42 AM
|
0 responses
11 views
1 like
|
Last Post 04-25-2024, 09:42 AM | ||
Started by Apologiaphoenix, 04-15-2024, 09:22 PM
|
0 responses
18 views
0 likes
|
Last Post 04-15-2024, 09:22 PM | ||
Started by Apologiaphoenix, 04-09-2024, 09:39 AM
|
28 responses
195 views
1 like
|
Last Post 04-30-2024, 09:42 AM | ||
Started by Apologiaphoenix, 04-08-2024, 02:50 PM
|
0 responses
15 views
1 like
|
Last Post 04-08-2024, 02:50 PM |
Comment