What Is Sentential and First-Order Logic in Philosophy?

  • Thread starter Thread starter robert
  • Start date Start date
  • Tags Tags
    Explain
AI Thread Summary
The discussion focuses on the concepts of sentential and first-order logic, highlighting their differences and applications. Sentential logic evaluates whole sentences, while first-order logic allows for the analysis of sentence components. An example illustrates how the argument "All humans are mortal; Socrates is human; therefore, Socrates is mortal" can be simplified to show the loss of meaning when only whole sentences are considered. First-order logic breaks down the argument into its parts, revealing the underlying structure that makes the argument valid. The terms "deductive" and "semantic" are clarified, with deductive logic relating to syntactic proofs and semantic logic concerning the truth values of sentences. The discussion also touches on metatheorems, indicating their complexity and the need for further exploration. Overall, the conversation provides a foundational understanding of these logical frameworks.
robert
Messages
23
Reaction score
0
I'm going to register for a philosophy course next year at University and the course I was looking at had this explanation: Sentential and first-order logic from both deductive and semantic points of view. Some elementary metatheorems. What do all these things mean?
 
Physics news on Phys.org
In sentential logic, the smallest things you evaluate are whole sentences. In first-order logic, you can break up whole sentences and look at their parts. To see the difference that this makes, consider the argument:

All humans are mortal.
Socrates is human.
Therefore, Socrates is mortal.


This argument makes sense (I hope!). Now, if you only look at whole sentences, you can replace each sentence with, say, a letter. Let's replace All humans are mortal with A, Socrates is human with H, and Socrates is mortal with M. The argument is then:

A
H
Therefore, M


The argument has lost the information that made it make sense. We need to look inside of the sentences to see why the argument makes sense. If we just replace the parts Human with H, Mortal with M, and Socrates with S, the argument becomes:

All H are M.
S is H.
Therefore, S is M.


Now we can see how the parts of the sentences make the argument work, and that's the major difference between sentential and first-order logic.
BTW, I simplified:

All H are M.
S is H.
Therefore, S is M.


It would look a little different in first-order logic, but explaining the details would've just gotten in the way. For instance, All Humans are Mortal would be stated \forall x (Hx \rightarrow Mx). The idea is still the same.

I presume deductive means syntactic. From a syntactic "point of view", you are looking at what you can prove, i.e. whether you can use some set of rules to derive a sentence. You may use the rules to derive a sentence from another sentence, several sentences, or even from nothing. So syntax is associated with proof and proving.
From a semantic "point of view", you are looking at whether a sentence is true or false. You may consider whether a sentence is true or false by itself or given that some other sentences are true (or false). So semantics is associated with truth and deciding.

The metatheorems could be several things, and as you can imagine, are mostly too involved for a quick explanation.

I don't know how much that helps. If something wasn't clear, just ask, and I'll give it a go. :)
 
ok that makes sense. thanks for the help.
 
Just ONCE, I wanted to see a post titled Status Update that was not a blatant, annoying spam post by a new member. So here it is. Today was a good day here in Northern Wisconsin. Fall colors are here, no mosquitos, no deer flies, and mild temperature, so my morning run was unusually nice. Only two meetings today, and both went well. The deer that was road killed just down the road two weeks ago is now fully decomposed, so no more smell. Somebody has a spike buck skull for their...
Thread 'RIP George F. Smoot III (1945-2025)'
https://en.wikipedia.org/wiki/George_Smoot https://physics.berkeley.edu/people/faculty/george-smoot-iii https://apc.u-paris.fr/fr/memory-george-fitzgerald-smoot-iii https://elements.lbl.gov/news/honoring-the-legacy-of-george-smoot/ https://www.nobelprize.org/prizes/physics/2006/smoot/facts/ https://www.aps.org/publications/apsnews/200611/nobel.cfm https://inspirehep.net/authors/988263 Structure in the COBE Differential Microwave Radiometer First-Year Maps (Astrophysical Journal...
Back
Top