SAKSA VALGUSTUSKIRJANDUS · Valmistas ette saksa klassikalise filosoofia. Filosoofid- G.W. Leibniz, G.E. Lessing, J.Kant · `'tormi ja tungi'' liikumine 1770-1780 G. E. Lessing 1729-1781 · draama kui näitsekirjanduse zanr väga tähtis koht · Lessing oli saksa rahusliku teatri rajaja · Ta oli draamateoreetik · Jätaks edasi Voltaire'i ideid · Kritiseeris klassitsistlikus teatris selle elukaugust, liiga palju reegelid ja loogikatega liialdamist. Nõudis teatrilt elulisust ja meelelisust · Tuntuim esteetikaalane töö `' Laokoon'' · Rajas saksa kodanlase draama ja tema näident on `' Minna von Barnhelm'' · 1796 esimene Saksa rahuslikkomöödia · Lessingu arvates võib peategelane olla tavaline inimene oma nõrkuste ja puudustega · Eitas tragöödia õpetlikku vajadust J.G. HERDER 1744-1803 · `' Tormi ja tungi'' liikumise juht
L4. LAUSEARVUTUS Lausearvutuse töötas välja George Boole (1815-1864). Lausearvutuses käsitletakse ainult selliseid lauseid (propositsioone), millega saab vastavusse seada tõeväärtuse (ik truth-value). Klassikaline loogika on kahevalentne (bivalent): iga lause tõeväärtus saab olla vaid tõene (true), või väär (false). (Kursuse lõpus tutvume ka mitmevalentsete loogikatega, kuid nendegi käsitlus eeldab kahevalentse loogika valdamist ja kasutamist.). Tõeväärtuse levinumad tähistused (3 varianti): tõene: t, T, või 1; väär: v, F või 0. Eeldatakse et täidetud on loogika kolm esimest põhireeglit. (Neljas reegel jääb lausearvutusest väljapoole.) Tõe korrespondentsteooria järgi võib lause tõeväärtust käsitleda kui lause tegelikkusele vastavuse määra. Tõeväärtuse kindlakstegemine jääb väljapoole loogikat, selle aluseks
annaabi.ee 
