Autor: Bartosz Walecki (barti_at_ibm.uci.agh.edu.pl)
Data: Sun 13 Jul 1997 - 23:41:49 MET DST
Tomasz Stelmaszczuk wrote:
> absolutnie nic śmiesznego. Otóż w logice nie istnieje coś co nazwać
> można byłoby "twierdzeniem potencjalnym" a na co próbujesz się
> powoływać.
> Z danych przesłanek albo wynika jakaś implikacja albo nie wynika.
> Nie istnieje forma pośrednia - "może wynikać". Po drugie czepianie
> się form użytych w sformułowaniu twierdzenia (lub choćby tezy) typu
> " z A wynika B" i przeciwstawianie im form "z A wnioskuję B" czy też
> " z A otrzymujemy B" jest być może tematem dla psychologa w rozważaniu
>
> zdolności formułującego do pracy zespołowej bądź wyalienowania:
> "wynika",
> "wnioskuję" i "otrzymujemy". Tak więc gorąco polecam lekturę
> podręczników
> logiki formalnej lub - jeśli pragniesz sporu alogicznego acz zabawnego
> -
> wywodów Artura Schopenhauera (to był taki mały, złośliwy Niemiec).
Muszę zaprotestować !
Instnieje coś takiego jak Logika Rozmyta (wykładają o tym na uczelniach
technicznych-choćby na AGH), dopuszcza ona istnienie nie tylko logicznch
wartości 0,1 (True,False) ale również wszystkiego co się znajduje między
0...1.
Więc dopuszcza także istnienie sformułowania "może wynikać":))
To archiwum zostało wygenerowane przez hypermail 2.1.7 : Tue 18 May 2004 - 15:12:07 MET DST