Predikaatti (logiikka)
Predikaatti(<lat.prae+dico,kuuluttaa, väittää) tarkoittaalogiikassajotain, mitä voidaan sanoa jonkinlaisena määreenä jostakin. Usein predikaatti tarkoittaa näin samaa kuinominaisuus.[1]Predikaattilogiikassapredikaatti voi olla jokoentiteetinominaisuus tai entiteettien välinensuhde.
Aristoteelinen logiikka
[muokkaa|muokkaa wikitekstiä]Aristoteelisessa logiikassajokaisessa arvostelmassa on aina kaksitermiä,subjektija predikaatti. Tällaisessa arvostelmassa subjektista väitetään jokin predikaatti.[1]Esimerkiksi lauseessa” Sokrates on ihminen” predikaatti” on ihminen” väitetään subjektista”Sokrates”.
Predikointitarkoittaa sen väittämistä, että jokin predikaatti kuuluu jollekin subjektille.[1]Esimerkiksi lauseessa” Sokrates on ihminen” ihmisyys siis predikoidaan Sokrateelle.
Predikaattilogiikka
[muokkaa|muokkaa wikitekstiä]- Pääartikkeli:Predikaattilogiikka
Joskus on epäkäytännöllistä tai mahdotonta määritelläjoukkokuvaamalla kaikki sen jäsenet. Toinen mahdollinen tapa määritellä joukko on määritellä jokin ominaisuus, joka on yhteinen kaikille joukon jäsenille.
MerkintäP(x)tarkoittaa väittämääPkoskien muuttujaax.Joukko, jonkaP(x)määrää, merkitään {x|P(x)}. Joukko on kokoelma niitä olioita, joille väittämäPon mielekäs jatosi.
Esimerkiksi {x | x on lukua neljä pienempi positiivinenkokonaisluku} on joukko {1, 2, 3}.
Tällöin joukon {x |P(x)} jäsen onoliot,josta väittämäP(t)on totta. VäittämääP(x)kutsutaan predikaatiksi. VäittämääP(x)kutsutaan myöspropositionaaliseksi funktioksi,koska jokainenx:n valinta tuottaapropositioneli väitelauseenP(x),joka on joko tosi tai epätosi. Esimerkiksi lause” Sokrates on ihminen” on propositio, kun taas”xon ihminen” on propositionaalinenfunktio.
Katso myös
[muokkaa|muokkaa wikitekstiä]Lähteet
[muokkaa|muokkaa wikitekstiä]- ↑abcKorkman, Petter & Yrjönsuuri, Mikko (toim.):PredikaattiFilosofian historian kehityslinjoja.Viitattu 24.11.2008.
Aiheesta muualla
[muokkaa|muokkaa wikitekstiä]- Introduction to predicates(englanniksi)