Az ítéletlogika vagy ítéletkalkulus a formális logika azon ága, mely az egyértelműen igaz vagy hamis kijelentő mondatokkal, az ítéletekkel vagy – más szóhasználattal – kijelentésekkel foglalkozik. Fő problémája az ezek között értelmezhető műveletek, a logikai műveletek, illetve a különféle levezetések tanulmányozása.Az ítéletlogika tekinthető a matematika részének, és napjaink modern felfogásában annak is tekintjük (bár eredetileg a filozófia egy részterületeként fejlődött ki). Ha ezt a modern nézetet elfogadjuk, akkor az ítéletlogikát a kijelentéslogika egy részeként, mégpedig mint úgynevezett kétértékű nulladrendű kijelentéskalkulusként tárgyalhatjuk.
Nincsenek megjegyzések:
Megjegyzés küldése