What Are the Origins and Limitations of Logic?

Click For Summary

Discussion Overview

The discussion revolves around the nature, origins, and limitations of logic. Participants explore whether logic is a human construct, a divine gift, or something else entirely. The conversation touches on philosophical implications, the relationship between logic and reason, and the role of axioms in logical reasoning.

Discussion Character

  • Exploratory
  • Debate/contested
  • Conceptual clarification
  • Philosophical inquiry

Main Points Raised

  • Some participants suggest that logic is a product of human or intellectual development, while others argue it may be a divine gift.
  • There is a contention regarding whether logic defines concepts or is defined by higher truths, with some asserting that humans define their own logic.
  • One viewpoint describes logic as a method for deriving new truths from established axioms, acknowledging its limitations and potential for yielding false results.
  • Another participant emphasizes that logic is merely a tool that has proven useful, suggesting that it cannot provide proofs for existential claims like the existence of God.
  • Some argue that axioms are necessary for logical proofs, while others contend that formal logic can derive truths from an empty set of premises.
  • There are differing opinions on the relationship between logic and theology, with some asserting that discussions about God should not influence the definition of logic.
  • Participants question the validity of logic itself and whether it is prone to errors, raising inquiries about the foundations of logical reasoning.

Areas of Agreement / Disagreement

Participants express a range of competing views on the nature of logic, its origins, and its limitations. There is no consensus on whether logic is defined by humans, a divine entity, or if it can exist independently of axioms.

Contextual Notes

Some discussions highlight the dependence of logical frameworks on cultural and linguistic contexts, particularly the influence of Indo-European language structures on the development of Western logic. Additionally, the conversation reveals unresolved questions about the nature of proof and the foundational assumptions underlying logical reasoning.

Who May Find This Useful

This discussion may be of interest to those exploring philosophical concepts of logic, the interplay between logic and theology, and the implications of reasoning in various cultural contexts.

  • #91
What's the definition of the word definition and how is that not a definition?

Anyways, you can be more specific by specifying the actual alphabet, words, and grammar... That will pin it down from a general language to a specific language.

It is a definition, just not a very specific one.
 
Physics news on Phys.org
  • #92
phoenixthoth said:
What's the definition of the word definition and how is that not a definition?

Anyways, you can be more specific by specifying the actual alphabet, words, and grammar... That will pin it down from a general language to a specific language.

It is a definition, just not a very specific one.

It seems to me that the word definition implies that it be definite, which in this context means specific to the word being defined. You only listed a set of parameters that are present in logic. I'd say they are necessary conditions for system x to be considered a system of logic, but not sufficient conditions. A definition should list both necessary and sufficient conditions for system x to be considered a system of logic. You needn't specify the language of the system to do this.

I'd probably define a system of logic thus:

Any system x is a system of logic if and only if it gives a mathematical method for computing truth values of complex propositions and arguments given the truth values of the simple propositions from which these are constructed.
 
  • #93
loseyourname said:
Whether or not that's true it isn't a definition. Many languages can have an alphabet, words, and grammar without being logic.

Well it wouldn't be logical to spell "logik". But then again it would be logical to say logic with a k; you wouldn't know the difference in the spelling of the word, just the sound. Logic has more than one context, that is important to notice.

----- nwO ruoY evaH ,deeN oN <----?eeS I tahW eeS uoY oD
 
  • #94
loseyourname said:
Any system x is a system of logic if and only if it gives a mathematical method for computing truth values of complex propositions and arguments given the truth values of the simple propositions from which these are constructed.
Do "mathematical" or "computing" have any meaning outside of logic? I like the idea of following unbreakable rules- "mathematical method"="set of unbreakable rules" and "computing"="following". Whattya think?
 
  • #95
honestrosewater said:
I like the idea of following unbreakable rules- "mathematical method"="set of unbreakable rules"
That is true for human logic simply because we have been taught to believe that, and that only. Although, I'm sure these rules can be broken by different sets of logic. The logic you possesses is not the only logic that can come about. For instance, you may not understand a person's idea, while the person that has the idea may completely understand it himself, and he may also be able to structure his idea so it conforms to your logic.
We all have different logic that we use to solve everyday problems, it just so happens that humans have built a sort of uniform logic that most see as the ONLY logic. This is simple not true.
We are taught to gain uniform logic, not logic itself.

----- nwO ruoY evaH ,deeN oN <----?eeS I tahW eeS uoY oD
 
  • #96
Problem+Solve=Reason said:
That is true for human logic simply because we have been taught to believe that, and that only.
What is "human logic"?
The rules are rules of the system. What system of logic breaks its own rules?
 
  • #97
honestrosewater said:
What is "human logic"?
The rules are rules of the system. What system of logic breaks its own rules?
I'm not saying that society would break it's logic, just that it can be broken. I am just trying to point out that we all do not have the exact same set of logical rules (although we all see the same things with our eyes, which allows for us to have a uniform logic quite easily. While it is different to have a uniform logic about let's say, english, simple because we all are not born with the same thought of what language should be).
Human logic is for example: math, science, language, and anything that is thought of in the same way by humans. Like I said earlier
Gravity makes objects fall down. Black is dark, white is bright. 1+1=2 and 6^3=216.We all know these things, to a certain degree, but the gist is the same.
. Those are very simple examples of human logic. Any piece of logic that is in accordinence with the majority of people can be considered human logic.
I hope you understand a bit better...

----- nwO ruoY evaH ,deeN oN <----?eeS I tahW eeS uoY oD
 
  • #98
Problem+Solve=Reason,
Okay, we are using different definitions. I was talking about loseyourname's definition which I like except for what I mentioned.
 

Similar threads

Replies
15
Views
5K
  • · Replies 64 ·
3
Replies
64
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 15 ·
Replies
15
Views
4K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 21 ·
Replies
21
Views
3K