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. 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). Daugiau