ŚFiNiA

[malaavi]

Nie było dyskusji. Do dyskusji potrzebowałbym rozmówcy. Z innymi w tym temacie się zgadzałem, czyli dyskusja nie była ostra, ty natomiast nie jesteś rozmówcą.
Nie wiem, skąd się wziąłeś i dlaczego głupi żart bawi cię tyle lat, ale dołączam do ludzi, którzy na własnym forum by cię zbanowali od razu i na zawsze.

Natomiast będę się czasem wtrącał i upominał, że źle robisz używając pojęć, których nie znasz. Jak "algebra" czy "algebra Boole'a".

[rafal3006]

[zefciu/konto zamknięte]

[malaavi]

Obawiam się, Rafale, że jednak własności implikacji i inne rzeczy opisane w logice klasycznej przychodzą mi naturalnie i w zwykłej rozmowie. Zresztą logika mi się zawsze podobała przez tę logiczność, która tak naturalna była, niewymuszona i sensowna. ;)

Opowiadasz tak i opowiadasz, że AK jest dla ludzi naturalna, ale mimo lat tłumaczeń jeszcze nikt tego nie zauważył. Gdyby AK była skomplikowaną teorią, to moglibyśmy twierdzić, że ludzie po prostu jej nie rozumieją. Ale dlaczego mieliby nie rozumieć tego, jak ciągle myślą? Mieliby nie zauważyć, że ktoś im ich własne myślenie podaje na tacy? Tak zgodnie nie zauważyć? Myślałeś już o tym, że to chyba spisek?

[rafal3006]

[rafal3006]

[malaavi]

Rafale, odpłynąłeś. Wypadało się nauczyć logiki klasycznej, nie nauczyłeś się, teraz się w argumentacji mocno mijasz z rzeczywistością. Pękaj sobie ze śmiechu, ale dość widać, że to ty nie rozumiesz logiki, a nie cała wielka ludzkość.

[rafal3006]

[malaavi]

Przypisujesz mi jakieś dziwne rzeczy. I do tego niepoprawnie zadajesz pytania. Nic nie będzie z tej pseudoalgebry Kubusia.

[rafal3006]

[rafal3006]

...

[rafal3006]

....

[fiklit]

...

[malaavi]

Rafale. Algebra Boole'a to zbiór z działaniami i operacją jednoargumentową, przy tym działania spełniać muszą określone warunki, wikipedia je podaje.

To, co tworzysz, nie spełnia tych warunków. A gdy spełnia częściowo to tylko przez podobieństwo do logiki klasycznej, czyli nic wtedy nie tworzysz, a jedynie spisujesz czyjąś pracę, co nieuczciwe.

W matematyce rzeczy mają definicje ścisłe, algebra Boole'a ma definicję ścisłą i to, co tworzysz, nie jest algebrą Boole'a niezależnie od tego jak bardzo chcesz. Nie spełnia warunków.

Natomiast w logice klasycznej teoria algebr Boole'a zajmuje miejsce ważne. Tylko to nijak się nie wiąże z AK, przestań się podpinać pod cudze dzieła, nie jesteś ich autorem i nawet ich nie rozumiesz.

[zefciu/konto zamknięte]

[rafal3006]

Czym różni się implikacja od równoważności
z dedykacją dla malaaviego

Zmodyfikujmy przykład Fiklita na taki.

Mamy wyłącznie dwa przyciski B1 i B2 oraz jedną lampkę L1.

Nie mamy najmniejszego pojęcia jak w tej skrzynce nam Fiklit te przyciski podłączył.

Procedura badania w algebrze Kubusia:


I.
Skrzynka równoważnościowa:

Procedura badania:
Doprowadzamy do wygaszenia obu lampek.
A.
Włączamy/wyłączmy przycisk B1
Lampka w ogóle nie reaguje:
Wniosek:
B1 nie jest podłączony do L1
B.
Włączamy/ wyłączmy B2
Lampka pięknie reaguje
Wniosek z A i B:
Lampka podłączona jest wyłącznie do B2
Wniosek generalny:
Cały układ to układ równoważności , przycisk B1 jest tu bez znaczenia, takich przycisków mogłoby być np. milion.


II.
Skrzynka implikacyjna

Procedura badania:
Doprowadzamy do wygaszenia obu lampek.
A.
Włączamy/wyłączmy przycisk B1
Lampka pięknie reaguje
Wniosek:
B1 jest podłączony do L1
B.
Włączamy/ wyłączmy B2
Lampka pięknie reaguje
Wniosek:
B2 jest podłączona do L1

Cały układ to układ implikacyjny.

Dowód:
Postawmy przy przycisku B1 Kubusia, natomiast przy przycisku B2 Malaaviego.

Zaczynamy zabawę malaavi?

START:
Co możemy stwierdzić nie widząc siebie nawzajem?

Możemy stwierdzić po pierwsze:
A.
Jeśli mój przycisk jest włączony to na pewno => lampka L1 się świeci
Bx=>L1
Z prawdziwości zdania A wynika fałszywość zdania B.
B.
Jeśli mój przycisk jest włączony to lampka L1 może się nie świecić
Bx~~>~L1 =0

… a jeśli mój przycisk nie jest włączony?

Poproszę Malaaviego o wyłączenie swojego przycisku.

Malaavi:
Gotowe

Kubuś:
Co widzisz malaavi?

Malaavi:
Widzę że ta wstrętna lampka świeci się i gaśnie w sposób przypadkowy (to złośliwe działanie Kubusia ), widzę ewidentne „rzucanie monetą” dla przypadku ~B2

Kubuś:
Czy rozumiesz już dlaczego nie istnieje implikacja bez „rzucania monetą”

Malaavi:
Tak, rozumiem

Kubuś:
Czy rozumiesz już co to jest „gwarancja matematyczna” w implikacji?

Malaavi:
Tak rozumiem, jeśli włączę mój przycisk B2 to mam absolutną pewność, że ta cholerna lampka nigdy mi nie zgaśnie (mam „gwarancję matematyczną”)

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-pisana-na-zywo-dyskusja-z-fiklitem-c-iii,6929-700.html#210381

[malaavi]

Rafale, nie przypisuj mi niewypowiedzianych przeze mnie słów.
AK poległa na skrzynce z przyciskami i lampkami, bo nauka nie polega na tym, by budować skrzynki implikacyjne czy równoważnościowe, ale na tym, by badać ten obiekt, który się ma do zbadania.

Gdy ludzie pierwotni, ludzie współcześni, pięcioletnie dzieci, gdy dowolne osoby stają przez nowym zagadnieniem, problemem, nowym przedmiotem czy zjawiskiem, badają je.
AK bada niepoprawnie. Wykłada się. Pada martwa, nieżywa i na śmierć zabita, bo prosty problem okazał się nierozwiązywalny.

Podejrzewam, że jeśli istniały jednostki rozumujące na zasadzie AK, to po prostu szybko wyginęły w kontakcie z problemami dnia codziennego, których nie potrafiły rozwiązać.

I nie zmieni tego zasypanie rozmówców tekstem. Twórz dialogi, definicje nowych skrzynek, kopiuj nieistotne fragmenty innych rozmów. Tak czy inaczej
AK POLEGŁA.

[rafal3006]

[malaavi]

Rafale, fiklit budował skrzynkę jaką chciał. Ty wnioskowałeś jak chciałeś. Wnioskowałeś błędnie, a cały błąd wziął się z zastosowania AK.

[rafal3006]

[malaavi]

Miałeś dostęp do pewnych danych. Nie kłam, że nie.

Chcesz mnie zatłuc oszołomstwem? Głupie wymówki, kłamstwa, że niby na maturze by ci wypociny uznali, idiotyczne tworzenie ad hoc skrzynek implikacyjnych i równoważnościowych, a teraz bóg. Wszystko robisz, byle zagłuszyć, że po prostu zrobiłeś błąd w nietrudnym zadaniu.

Możemy się zająć kiedyś eksperymentem. Ktoś zada pytania, ja będę wnioskował logiką klasyczną, ty pseudoalgebrą Kubusia i potem zadawacz pytań oceni nasze odpowiedzi. Zupełnie się nie boję takiego eksperymentu. Zresztą ja dla rozrywki rozwiązuję problemy logiczne, a ty uciekasz od nich jak tylko potrafisz. ;)

[fiklit]

[rafal3006]

...

[rafal3006]

[fiklit]