Minulla on vaikeuksia saada kiinni näiden kahden muodon eroista. Yritin piirtää joitain Venn-kaavioita, mutta se ei auta.
”Kaikki A ovat B” tarkoittaa, että A on B: ssä.
Tarkoittaako ”A on B”, tarkoittako A myös B: tä? Tai että A on yhtä suuri kuin B (sarja on sama)?
Kiitos!
Kommentit
- " A on B " on epäselvä " A = B ja " A sisältyy ryhmään B ". Ongelman lähde on, miksi " -selvitys on " itse luonnollisella kielellä.
- Aristotelian syllogismin suhteen , katso Väitteiden rakenteet
- Yksi ongelmista kielen kartoittamisessa semantiikkaan on, että sinun on pidettävä kirjaa muuttujat. A on B tarkoittaa A = B, jos A ja B ovat molemmat joukot (Kokonaislukujoukko on rationaalilukujen joukko yksikkönimikkeillä), mutta B (A) jos B on ominaisuus (Pallo on punainen) ja se voi tarkoittaa Kaikki A ovat B, jos A ja B ovat luokkia (mies on eläin). Tämä on yksi syy siihen, miksi monet logiikat käyttävät kirjasimia tai kirjainkoon erottamista ilmaisujensa selventämiseksi tai ilmoittavat kaiken tyypillä. Kysymykseen ei ole vastausta, joka koskee kaikkia vaihtoehtoja A- ja B-tyypille.
Vastaa
-luokkaehdotusten vakiomuotoja on tavujärjestelmiä . Tässä on Wikipedian kuvaus:
Muinaiset kreikkalaiset, kuten Aristoteles, yksilöivät neljä ensisijaista kategoriatyyppityyppiä ja antoivat heille vakiolomakkeet (joita kutsutaan nyt usein A , E, I ja O). Jos abstraktisti aiheluokka on nimeltään S ja predikaattiluokka on nimeltään P, neljä vakiolomaketta ovat:
Kaikki S ovat P (A-muoto)
Ei S ovat P. (E-lomake)
Jotkut S ovat P. (I-lomake)
Jotkut S eivät ole P. (O-muoto)
Tarkastellaan kysymystä:
" Kaikki A ovat B " tarkoittaa, että A on B: ssä.
Onko " A B " keskiarvo A sisältyy myös kohtaan B? Tai että A on yhtä suuri kuin B (joukko on sama)?
" Kaikki A ovat B " voidaan helposti muotoilla sopivaksi yllä annettuun A-muotoon vain korvaamalla S A ja P B : lle.
Kuitenkin " A on B " ei määritä kvantisoijaa. Se voidaan muotoilla seuraavasti: " Kaikki S ovat P ", " Ei S ovat P " tai " Jotkut S ovat P ". Se on nykyään epäselvä ja tarvitsisi lisätietoja, jotta voitaisiin päättää, mikä kategorinen ehdotus edustaa sitä parhaiten.
Wikipedian kirjoittajat. (2019, 2. syyskuuta). Luokkaehdotus. Wikipediassa, The Free Encyclopedia. Haettu 12:08, 27. syyskuuta 2019, osoitteesta https://en.wikipedia.org/w/index.php?title=Categorical_proposition&oldid=913715701
Kommentit
- Kiitos! Se todella auttoi minua!
Vastaa
Kokeile ensin hyvää kielioppia. Kaikki A ovat B on vain huono kielioppi. Sinun tulisi sanoa: Kaikki A ovat B . Toisin sanoen ” kaikki ” tarkoittaa tässä monikkoa, kun taas ” A on B ” , ” is ” tarkoittaa yksikköä.
Esimerkki A on B voi olla: Joe on irlantilainen . Joeella on yksi asia, ominaisuus tai ominaisuus olla irlantilainen.
Esimerkki kaikki A: t ovat B : Katoliset ovat irlantilaisia .
Huomaa ero esimerkiksi: Isossa-Britanniassa asuvien irlantilaisten katolilaisten väestö on melko suuri . Eli väestö on melko suuri, ei välttämättä itse irlantilaiset katolilaiset. Joten kyseessä on A on B , ei kaikki A: t ovat B .
Lomake A on B käytetään myös sanomaan, esimerkiksi ” Teräsmies on Kent Clark ”. Tässä tämä on suhde kahden asian välillä, ei asian ja laadun välillä, mutta voimme tehdä hyvää logiikkaa myös että: ” Jos Supermies on Kent Clark, niin jos Kent Clark on nälkä, niin myös Superman on nälkäinen ”.Sanaa ” on ” käytetään tässä kahdella eri tavalla, jotka juuri selitin, mutta puhuvilla kielillä olemme harvoin hämmentyneitä siitä, mikä on, koska konteksti antaa meille yleensä tarvittavat vihjeet.
Kommentit
- Ole hyvä. Clark Kent. Ei Kent Clark.
- @ gnasher729 Hups, anteeksi! En minä, guv, aivoni. Luulen, että sillä on voinut olla mielessä myös Britannian politiikan supersankari Kenneth Clark, joten sekaannus on ymmärrettävää. Esimerkkini logiikka ei perustu historialliseen tarkkuuteen, puhumattakaan sarjakuvista ' lore.