Predikata logiko: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Arseno (diskuto | kontribuoj) |
Arseno (diskuto | kontribuoj) |
||
Linio 15:
Tamen eblas permesi ankaŭ ke la kvantigiloj ne nur ligas la vakajn lokojn de predikatoj, do ne nur kvantigas pri objektoj, sed kvantigas ankaŭ pri predikatoj. Tiel eblas formaligi asertojn de la speco "Ekzistas predikato, kiu validas por Sokrato" aŭ "Por ĉiu predikato validas ke ĝi validas por Sokrato aŭ ĝi ne validas por Sokrato". Aldone al la unuanivelaj predikatoj oni tiel enkondukis duanivelajn predikatojn kiel "… validas por Sokrato", en kies vakajn lokojn oni enmetas ne nomojn de objektoj sed predikatojn. Simile oni povas enkonduki trianivelajn predikatojn, en kies vakajn lokojn oni enmetas duanivelajn predikatojn. Pli ĝenerale oni parolas pri ''plialtnivelaj predikatoj''. Por la koncernaj logiko-sistemoj oni sekve uzas la esprimon ''[[plialtnivela logiko|predikata logiko de pli altaj niveloj]]'' aŭ simple ''plialtnivela logiko''. Se oni permesas nur la duan nivelon sed ne la pli altajn, oni parolas pri ''[[duanivela logiko]]''.
La formale plej simpla vastigo de la unuanivela logiko tamen konsistas el aldono de [[identeco (logiko)|identeco-predikato]]. La sistemo tiam nomiĝas ''unuanivela logiko kun identeco''. En plialtnivela logiko eblas difini la identecon, do oni ne bezonas aldoni ĝin al tiuj sistemoj, sed ĉe la unuanivela logiko ne eblas tia difino. Ofte oni emas limigi sin al la unuanivela logiko kun identeco, ĉar por ĝi ekzistas pli simplaj kaj plej grave tiel nomataj ''kompletaj'' [[kalkulo (logiko)|kalkuloj]], do kalkuloj en kiuj eblas pruvi ĉiun veran aserton esprimeblan per la lingvo de la sistemo
== Decidebleco ==
| |||