Arutelu:Lauseloogika

Allikas: Vikipeedia
Mine navigeerimisribale Mine otsikasti

Mul tuleb ette, et lausearvutust on mõistetud ka kuidagi kitsamalt kui lauseloogikat. Andres 29. märts 2006, kell 10.42 (UTC)

Tuletus/järeldusreegel[muuda lähteteksti]

Eri artiklites on kasutusel mõlemad, kas need on sünonüümid või paralleelterminid? --90.191.166.161 25. september 2011, kell 14:09 (EEST)[vasta]

Vikipeedias definitsioonid puuduvad, nii et on võimatu öelda, kuidas neid on mõeldud. Väljaspool Vikipeediat nimetatakse tuletusreeglit mõnikord ka järeldusreegliks. Ma ei tea, kas sõna "järeldusreegel" kasutatakse ka muus tähenduses, kuigi ju võiks. Igatahes artiklites Modus ponens ja Modus tollens on sõna "järeldusreegel" kasutatud teadmata tähenduses. Praeguse esitus ei lase oletada, et mõeldud on tuletusreeglit. Andres 25. september 2011, kell 23:16 (EEST)[vasta]

Pole selge, kas lauseloogikat ja lausearvutust peaks eristama, aga tegu ei ole ainult matemaatilise loogika, vaid ka filosoofilise loogika valdkonnaga. Praeguses definitsioonis on konkreetselt öeldud, mida lauseloogika uurib, EE-s on ainult loetletud märksõnu. Lauseid keeleteaduse mõttes ja lauseloogika lauseid tuleb selgelt eristada, samuti elementaarlauseid keeleteaduse ja lauseloogika mõttes. Minu meelest on lauseloogika praegu mõeldud klassikalise loogika osana. Kui see pole küllalt selge, tuleb täpsustada, aga minu meelest ei kuulu mitmevalentne loogika selle artikli teema alla, sellepärast ei ole ka tarvis kahevalentsuse klauslit.

Kas loogikatehete all mõistetakse ainult tehteid lausetega või ka tehteid tõeväärtustega? Andres (arutelu) 19. mai 2014, kell 08:38 (EEST)[vasta]