Loogikavigade lubatavusest

Loogikavigu on kahte liiki: (1) vastuolud; (2) kehtetud j reldused. Sooritada kehtetu j reldus on üldiselt v iksem viga kui v ita vastuolu. On kaks erinevat printsiipi: (A) teadaolevalt v ra v idet ei tohi esitada; (B) ei tohi esitada v idet, mille t ev rtus pole teada. (A) keelab sooritada esimest liiki loogikavigu; (B) ka teist liiki loogikavigu. Printsiibi (B) lükkame me tagasi. Oletusi saab genereerida n iteks: (1) dedutseerides neid teadaolevalt vastuolulisest teooriast; (2) saades neid induktiivsete j relduste tulemeina. Ent ka printsiipi (A) tohib eirata. V ib esitada teadaolevalt vastuolulise teooria kui ligil hedaselt t ese ning seda kasutada - kui paremaid pole k ep rast. Popper esitas t esarnasuse teooria. Samuti n udis ta vastuoluliste teadusteooriate elimineerimist. - Ent paremate teadusteooriate leiutamine v ib eba nnestuda. Wittgensteini vaated tema M rkmetes matemaatika alustest on usutavamad. Implitsiitselt rakendas Witttgenstein mitteformaliseeritud t esarnasuse m istet vastuolulistele teooriatele, lubades selliseid teooriaid kasutada.