Symbolisk logik enligt Prawitz [Filosofisk Kalender 1:625-630] september 06, 1983 använda begreppstänjning begränsa bevis deformation immun innehåll konvention logik maskin mening människa Prawitz resistens se tecken tvång vardagsspråk vilja villkor +