Autorius (-ė) Romanas Plečkaitis

neprieštaringumas
dedukcinių teorijų savybė. Neprieštaringumas yra dvejopas: sintaksinis ir semantinis. Daugiau
netiesioginis
įrodymas
įrodymo būdas, kai tezės teisingumas nustatomas įrodant tezei prieštaraujančių teiginių klaidingumą. Daugiau
nominalizmas
filosofinė teorija, teigianti, kad bendrybė neturi ontinio turinio. Nepripažįsta abstrakčių objektų egzistavimo – klasės (aibės) neegzistuoja substancialiai, o tik intensionaliai, kaip mąstymo veiksmų objektai, psichiniai būviai ar kalbos išraiškų reikšmės. Daugiau
normalioji
forma
kuriuo nors požiūriu standartinis loginių išraiškų pavidalas. Daugiau
objektų
sritis
kurios nors tyrimo srities objektų visuma. Svarbi predikatų ir klasių logikos sąvoka. Daugiau
okazionalizmas
filosofijos kryptis, nagrinėjusi R. Descartes’o iškeltą kūno ir sielos dualizmo klausimą. Gyvavo 17 amžiuje. Daugiau
operatorius
simbolis arba jų kombinacija, siejanti kintamuosius dydžius, konstantas ar formas ir sukurianti naiją konstantą ar formą. Daugiau
paneigimas
įrodymo rūšis, kai nustatomas įrodinėjamos tezės klaidingumas. Daugiau
paradoksas
logikoje samprotavimas, įrodantis ir teiginio teisingumą, ir jo klaidingumą, t. y. įrodantis teiginį ir jo neigimą. Daugiau
Petras
Ispanas
13 a. portugalų logikas, medikas. Popiežius Jonas XXI (1276–77). Jo svarbiausias veikalas Logikos rinkinys (1474) yra žymiausias vidurinių amžių naujosios logikos kūrinys, jis Europos universitetuose iki 16 a. buvo naudojamas kaip logikos vadovėlis. Daugiau