- Oct 2, 2011
- 6,061
- 2,236
- Country
- Canada
- Gender
- Male
- Faith
- Christian
- Marital Status
- Married
Last edited:
Starting today August 7th, 2024, in order to post in the Married Couples, Courting Couples, or Singles forums, you will not be allowed to post if you have your Marital status designated as private. Announcements will be made in the respective forums as well but please note that if yours is currently listed as Private, you will need to submit a ticket in the Support Area to have yours changed.
Right, formal logic has its limitations. I am not against other approaches to hermeneutics. However First-Order Logic can provide a unifying force.I don't know how successful this undertaking will be. The attempt to rest mathematics on formal logic famously ran into problems, so resting Christian theology on formal logic may run into similar problems.
Bless your heart! Let 'er roll!Right, formal logic has its limitations. I am not against other approaches to hermeneutics. However First-Order Logic can provide a unifying force.
So right, brother. First-Order Logic is a disciplined precise way of deduction. People who are not trained in FOL tend to over-generalize and jump to conclusions.More broadly let me say that the problem with most doctrines that people argue for is they are oversimplifications
- for "rest on" read "check against"?I don't know how successful this undertaking will be. The attempt to rest mathematics on formal logic famously ran into problems, so resting Christian theology on formal logic may run into similar problem
- for "rest on" read "check against"?
Don't forget belief in Jesus Christ is also about ontology, since we are individuals of great worth.... something like logicism in mathematics (Logicism - Wikipedia) ...
. . . among which I include positive sciences, historical sciences, and all varieties of theology . . .- maths starts with the what and works towards the how
- bodies of knowledge start with matters of "seeming how" and attempt to seek out "perhaps what"
. . . which will never be complete (in any field or walk)what John Henry Newman calls degrees of inference
Why 66?Axiom: The 66 books of the OT and NT autograph manuscripts were reliable.
to follow the logic objectively without positive or negative emotions using a first-order logical approach to Biblical hermeneutics.
First-order logic components:
I avoid spaghetti logic, i.e., the kind of logic that goes all over the place all at once. I prefer linear logic and try not to miss any steps along the path. Only after one path has been exhausted do I start another path.
- Propositional calculus
- Existential quantifier, for some
- Universal quantifier, for all
- Transitivity: x=y, y=z => x=z
- Proof by contradiction
This is so perceptive. Oversimplification = what was it that got taken out = which dog didn't bark in the night time. It's a fallacy to delete needed data from premises or other parts of an argument....
More broadly let me say that the problem with most doctrines that people argue for is they are oversimplifications, which also causes a lot of trouble because many know what is missing from a given doctrine, but not always the person stating the doctrine.... Another is that to anyone, any doctrine other than their own seems as if merely someone's opinions.
In contrast scripture itself without interpretations put on top of it is clearly more than just opinion. (while a doctrine can be wrong, scripture simply is both self-sufficient (in ways we can't always see) and correct always)
So, when possible, it good to just be friendly and occasionally just offer a passage that appears missing in a given doctrinal view. Then ideally don't get trapped into arguing over it. But occasionally there might be real discussion. It's just that we needn't worry whether someone will consider what they don't seem to have yet -- they will in their own time, or not ...
66 books in the Protestant canon.Why 66?
No autographs have been found.Only autographs, not copies?
"Reliable" in the dictionary sense. Yes, it is a bit vague.Reliable in what way? This is quite a vague term.
First-Order Logic was only codified a bit more than 100 years ago. The Bible is written to appeal to everybody, not a special group of trained logicians.Why do you think biblical authors did not use this approach?
I know, my question was "why". There can be other canons or none strict canon at all.66 books in the Protestant canon.
I know, my question was "only autographs, not copies"?No autographs have been found.
Not too helpful, then."Reliable" in the dictionary sense. Yes, it is a bit vague.
See How did the biblical canon come about? and follow up there.I know, my question was "why". There can be other canons or none strict canon at all.
The list of books aside for now, what axioms do you have for their content (and why). For example Isaiah, Jeremiah or Daniel have several significantly different textual versions.See How did the biblical canon come about? and follow up there.
That's something one of my brother's impressed upon me often. If a thing is true, you only detract from it to say that it is "so true", or "very true" or "absolute truth". That's language used to convince when logic is unconvincing.I try to use the following words only in their formal sense: prove, deduce, conclude, imply, contradict, therefore, unique, etc.
I try to avoid these words of extreme: absolutely, certainly, obviously, clearly, irrefutable proof, the only way, no doubt, must, have to, of course, absurd, debunk, easily, simply, most, best, very, etc. I find people who overuse these words and superlatives are sometimes unbalanced and intellectually immature. How do I know that? Well, because I was like that in my younger hormonal days![]()
Very, very so true - so raise your voice and pound the pulpit. Ha HaThat's something one of my brother's impressed upon me often. If a thing is true, you only detract from it to say that it is "so true", or "very true" or "absolute truth". That's language used to convince when logic is unconvincing.
"Wife, editing notes for her husband's upcoming sermon: 'Logic weak here —raise voice and pound pulpit.'"
Are you trained in the word of God, or the word of Calvin (which scripture does not support)? Let it roll and present an actual argument that others can respond to! Dazzle us with your FOL.. Ha, Ha,So right, brother. First-Order Logic is a disciplined precise way of deduction. People who are not trained in FOL tend to over-generalize and jump to conclusions