Solving an Invalid Syllogism oai-3 Question

  • Thread starter Thread starter Daedalus1
  • Start date Start date
AI Thread Summary
The discussion revolves around the invalidity of an oai-3 syllogism, which is a specific form of Aristotelian syllogism. Participants clarify that oai-3 refers to a combination of premises involving universal and particular statements. There is a request for the original syllogism to analyze its validity, as understanding the specific premises is crucial for the discussion. The conversation highlights the complexity of syllogistic forms and the need for clarity in examples. Ultimately, the validity of the syllogism cannot be assessed without the specific premises provided.
Daedalus1
Messages
1
Reaction score
0
Hi,
I was wondering if anyone could show me why a syllogism of the form oai-3 is invalid.

Thanks :smile:
 
Physics news on Phys.org
I was hoping someone else would answer this because I have no idea what "oai-3" means!
 
These are the initials of the famous Aristotelean syllogisms:

A; All S is P

E : No S is P

I : Some S is P

O : Some S is not P

Now an OAI-3 IS combination out of the 600 something ,not all of course valid

I think Deadalus1 must not make his question deadalodic and give us the syllogism
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

Similar threads

Back
Top