Predikacija , u logici, pripisivanje karakteristika subjektu kako bi se dobio smislen iskaz koji kombinira verbalni i nominalni elementi. Dakle, karakteristika kao što je toplo (konvencionalno simbolizirano velikim slovom U ) može biti predikatni neke jedinstvene teme, na primjer, jelo - simbolizirano malim slovom d , često se naziva argumentom. Rezultirajuća izjava je: Ovo jelo je toplo; tj. U d . Korištenje ∼ da simbolizira ne, poricanje ∼ U d također se može predicirati. Ako je ono za koje je predviđeno toplo neodređeno, možete ostaviti prazno mjesto za predikat , U -, ili varijabla x mogu biti zaposleni, U x , stvarajući tako propozicijsku funkciju x je toplo umjesto određenog prijedloga. Kvantificiranjem funkcije pomoću (∀ x ), što znači Za svaki x . . . , ili pomoću (∃ x ), što znači da postoji x takav da. . . , ponovno se pretvara u prijedlog, bilo općeniti bilo posebni umjesto jednine, koji predikati toplina (ili njezina negacija) nekoliko ili više subjekata te vrste. Predikacija je identična ako karakterizira svakog referenta ( x ); različit je ako ne uspije okarakterizirati neke ili sve referente. Predikacija je formalna ako subjekt nužno uključuje (ili isključuje) predikat; materijalno je ako je uvlačenje kontingent .
Filozofi su dugo raspravljali o tome što su zapravo predikati. U ranom srednjem vijeku s njima se obično postupalo kao s bićem koje prelazi sve jezične i mentalne cjeline, pa se na njih gledalo kao na metafizički . Garland the Computist, autor ranog logičkog sustava, predikciju je smatrao pukim izgovorom ( vox ). Peter Abelard, najistaknutiji dijalektičar 12. stoljeća, izmijenjen ovaj pogled uključiti značenje kao i vox .
Logičari već dugo razlikuju egzistencijalni izjava x je iz predikacijske izjave x je Y . Franz Brentano, o preteča fenomenologije prije prvi svjetski rat , tvrdio da su oboje egzistencijalni, to x je Y sredstva x Y je; npr. Neke ribe imaju četiri oka, što znači da postoje četverooke ribe. Upravo suprotan pristup zauzeo je Alexander Bain, škotski filozof i psiholog, koji je smatrao da svi egzistencijalni iskazi imaju složene teme iz kojih se može izvući predikat.
Ograničenja predikacije kao logičnog oblika sve su očitija. Sada se vidi da je predikatska logika samo jedna vrsta logike pojmova - druge su logika klasa, logika odnosa i logika identiteta; a cjelokupna logika pojmova zauzvrat se razlikuje od propozicijske logike koja se bavi cjelovitim ili neanaliziranim izjavama. U logici odnosa čak je upitno postoji li uopće predikat, budući da se svi pojmovi mogu smatrati subjektima na istoj osnovi (kao što je u Jane sestra Edith je sestra Rachel). Štoviše, istražene su i logike koje distribuiraju predikat (s kvantifikatorima svi, neki itd.).
Copyright © Sva Prava Pridržana | asayamind.com