Formaalloogika ehk formaalne loogika tegeleb sellega, kuidas järeldada tõestest väidetest tõeseid väiteid, kuid reeglina ei ütle, millised väited on tõesed.
Formaalloogika ei ütle midagi selle kohta, missugune maailm tegelikult on. Formaalloogika ütleb, mida saab järeldada, lähtudes üksnes väiteid väljendavate lausete vormist.
Vaata ka
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
