Mám potíže s zachycením rozdílu mezi těmito dvěma formami. Snažil jsem se nakreslit některé Vennovy diagramy, ale to nepomáhá.
„Všechna A jsou B“ znamená A je obsažena v B.
Znamená „A je B“ znamená A je také obsažena v B? Nebo že A se rovná B (sada je stejná)?
Děkujeme!
Komentáře
- " A je B " nejednoznačné mezi " A = B " a " A je zahrnuto v B ". Zdrojem problému je drobnost, že nejednoznačnost " je " sama v přirozeném jazyce.
- Co se týče aristotelského sylogismu , viz Struktury tvrzení
- Jedním z problémů při mapování jazyka na sémantiku je, že musíte mít přehled o typech svých proměnné. A je B znamená A = B, pokud A a B jsou obě množiny (Sada celých čísel je množina racionálních čísel se jmenovateli jednotek), ale B (A), pokud B je vlastnost (Míč je červený) a může to znamenat Všechna A jsou B, pokud A a B jsou kategorie (člověk je zvíře). To je jeden z důvodů, proč mnoho logiků používá rozlišení písma nebo písmen, aby objasnilo své výrazy, nebo deklarují vše typem. Na vaši otázku neexistuje žádná odpověď, která by platila pro všechny možnosti pro typ A a B
Odpověď
Existují čtyři standardní formy kategorických výroků , z nichž jsou sestaveny sylogismy . Tady je popis Wikipedie:
Staří Řekové jako Aristoteles identifikovali čtyři primární odlišné typy kategorické věty a dali jim standardní formy (nyní často nazývané A , E, I a O). Je-li abstraktně kategorie předmětu pojmenována S a kategorie predikátu P, jsou použity čtyři standardní tvary:
Všechna S jsou P. (forma A)
Ne S jsou P. (E forma)
Některá S jsou P. (I forma)
Některá S nejsou P. (O forma)
Zvažme otázku:
" Všechna A jsou B " znamená, že A je obsaženo v B.
Má " A je B " průměr A je také obsažen v B? Nebo že A se rovná B (sada je stejná)?
" Všechna A jsou B " lze snadno parafrázovat tak, aby odpovídal výše uvedenému A formuláři pouhým nahrazením S za A a P pro B .
Avšak " A je B " neurčuje kvantifikátor. Dá se to parafrázovat jako " Všechna S jsou P ", " Žádná S nejsou P " nebo " Některá S jsou P ". Je dvojznačný a v současné době je zapotřebí více informací, aby bylo možné rozhodnout, který kategorický návrh jej nejlépe vystihuje.
Přispěvatelé z Wikipedie. (2019, 2. září). Kategorická věta. Na Wikipedii The Free Encyclopedia. Citováno 12:08, 27. září 2019, z https://en.wikipedia.org/w/index.php?title=Categorical_proposition&oldid=913715701
komentářů
- Děkuji! Opravdu mi to pomohlo!
Odpověď
Nejprve zkuste dobrou gramatiku. All A are B is just bad grammar. Měli byste říci: Všechna A jsou B . To znamená, že „ všechny “ zde znamená množné číslo, zatímco v „ A je B “ „„ je “znamená jednotné číslo.
Příkladem A je B může být: Joe je Ir . To je jedna věc, Joe, má jednu kvalitu, vlastnost nebo atribut, že je Ir.
Příkladem všech A jsou B by byla: All Irish Katolíci jsou Irové .
Vezměte prosím na vědomí rozdíl, například: Populace irských katolíků žijících v Británii je poměrně velká . To znamená, že populace je poměrně velká, nemusí to nutně být samotní irští katolíci. Jde tedy o instanci A je B , nikoli Všechna A jsou B .
Formulář A je B se také říká, například „ Superman je Kent Clark “. Toto je vztah mezi dvěma věcmi, nikoli mezi věcí a kvalitou, ale můžeme také udělat dobrou logiku s that: „ If Superman is Kent Clark, then, if Kent Clark is hungry, then Superman is hungry, too „.Slovo „ je “ se zde používá dvěma různými způsoby, které jsem právě vysvětlil, ale v mluvených jazycích jsme zřídkakdy zmateni, o který z nich jde, protože kontext nám obvykle poskytuje potřebné vodítka.
Komentáře
- Prosím. Clark Kent. Ne Kent Clark.
- @ gnasher729 Jejda, omlouvám se! Já ne, můj mozek. Myslím, že to mohlo mít Kenneth Clark na mysli, také superhrdina, britské politiky, takže zmatek je pochopitelný. Logika mého příkladu nespočívá na historické přesnosti, natož na komiksových ' tradici.