Propoziční zastoupení - Propositional representation - Wikipedia

tento článek potřebuje další citace pro ověření. Prosím pomozte vylepšit tento článek podle přidávání citací ke spolehlivým zdrojům. Zdroj bez zdroje může být napaden a odstraněn. Najít zdroje: „Propoziční zastoupení“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Březen 2008) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Propoziční zastoupení je psychologický teorie, poprvé vyvinuta v roce 1973 autorem Dr. Zenon Pylyshyn^[1], že mentální vztahy mezi objekty jsou reprezentovány symboly a nikoli mentálními obrazy scény.^[2]

Příklady

Níže je uvedena návrhová síť popisující větu „John věří, že Anna složí zkoušku“.

Každý kruh představuje jeden návrh a spojení mezi kruhy popisují síť návrhů.

Dalším příkladem je věta „Debby věnovala velké množství peněz organizaci Greenpeace, která chrání životní prostředí“, která obsahuje tvrzení „Debby věnovala peníze organizaci Greenpeace“, „Částka peněz byla velká“ a „Greenpeace chrání životní prostředí ". Pokud je jeden nebo více výroků nepravdivých, je celá věta nepravdivá. To je znázorněno na obrázku 2:

Propoziční reprezentace jsou také:

• Jazykově podobné pouze v tom smyslu, že manipulují se symboly jako jazyk. The jazyk myšlení nelze považovat za přirozený jazyk; může to být jen a formální jazyk který platí v různých jazykových předmětech, musí to být spíše jazyk běžný pro mysl než kultura, musí být spíše organizační než komunikativní. Mentalese je tedy nejlépe vyjádřena pomocí predikátu a výrokový kalkul.^{[Citace je zapotřebí ]}
• Skládá se z diskrétních symbolů; každý symbol má nejmenší základní část; tj. omezit, jak daleko jsou jednotky rep. lze rozdělit.^{[Citace je zapotřebí ]}
• Výslovný; každý symbol představuje něco (objekt, akci, vztah) konkrétně a tedy výslovně.^{[Citace je zapotřebí ]}
• Gramatický; symbolická manipulace se řídí (vyžaduje?) syntaktickými pravidly a sémantickými pravidly.^{[Citace je zapotřebí ]}
• Abstraktní a amodální; symboly mohou představovat jakýkoli myšlenkový obsah bez ohledu na to smyslová modalita byl zapojen do jeho vnímání. (Na rozdíl od obrazového vyjádření, které musí být specifické pro modus vizuálního smyslového režimu).^{[Citace je zapotřebí ]}

Každá propozice se skládá ze sady predikátů a argumentů, které jsou reprezentovány ve formě predikátového počtu. Například:

Událost; (X) John zasáhl Chrise jednokolkou, jednokolka se rozbila, kvůli tomu John začal plakat, což způsobilo, že Chris byl šťastný.

Výroková reprezentace

• P [hit (John, Chris, jednokolka)]
• Q [zlomil (jednokolka)]
• R [pláč (John)]
• S [šťastný (Chris)]
• Příčina (Q, R)
• Příčina (R, S)

Každá sada predikátů (slova jako hit, zlomený, plakat, šťastný jsou predikáty prvního řádu; Příčina je a predikát druhého řádu ) a argumenty (často sestávající z agenta / subjektu (např. John v „P“), příjemce / objektu (např. Chris v „P“) a nástroje (např. jednokolka v „P“)) jsou zase manipulovány jako propozice: událost / prohlášení „John zasáhl Chrise jednokolkou“ je reprezentován jako propozice „P“.^{[Citace je zapotřebí ]}

Vlastnosti konkrétních objektů lze také charakterizovat prostřednictvím seznamů atributů. „John“ jako singulární předmět může mít atributy „hraje na kytaru“, „žongluje“, „hodně jí“, „jede na jednokolce“ atd. Odkaz na „Johna“ ho tedy identifikuje jako předmět myšlení na základě jeho mít určité z těchto atributů. Takže dovnitř predikátový počet, jestliže „John (F) má tu vlastnost, že je„ jede na jednokolce “(x)“, můžeme říci salva ověřit: (x) (Fx). Tyto prvky byly nazývány sémantická primitiva nebo sémantické značky / funkce. Každý primitiv může zase tvořit součást výrokového tvrzení, které by zase mohlo být reprezentováno abstraktním obrazcem, např. „P“. Samotní primitivové hrají zásadní roli při kategorizaci a klasifikaci objektů a konceptů.^{[Citace je zapotřebí ]}

Smysluplné vztahy mezi myšlenkami a pojmy vyjádřené mezi a v rámci propozic jsou částečně řešeny prostřednictvím obecných zákonů odvození. Jedním z nejběžnějších z nich je Modus Ponens Ponendum (MPP), což je jednoduchý závěr vztahu mezi dvěma objekty, druhý dohlíží na první (P- ›Q). Pokud tedy máme dvě tvrzení (P, Q) a předpokládáme zákon vyvození, který se k oběma vztahuje (P- ›Q), pak pokud máme P, musíme nutně mít Q. Příčinné vztahy a mohou být vyjádřeny v tomto móda, tj. jeden stav (P) způsobující (- ›) další (Q)^{[Citace je zapotřebí ]}

Čistě formální charakterizace události (X) napsaná výše v přirozeném jazyce by tedy byla něco jako:

• P, Q (A)
• Q - ›R (A)
• Q (A1)
• R (2,3 MPP)
• R - ›S (A)
• S (4,5 MPP)

Reference