Forum ŚFiNiA Strona Główna ŚFiNiA
ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum - bez cenzury, regulamin promuje racjonalną i rzeczową dyskusję i ułatwia ucinanie demagogii. Forum założone przez Wuja Zbója.
 
 FAQFAQ   SzukajSzukaj   UżytkownicyUżytkownicy   GrupyGrupy   GalerieGalerie   RejestracjaRejestracja 
 ProfilProfil   Zaloguj się, by sprawdzić wiadomościZaloguj się, by sprawdzić wiadomości   ZalogujZaloguj 

Czysto matematyczne obalenie logiki matematycznej ziemian
Idź do strony Poprzedni  1, 2, 3 ... 86, 87, 88 ... 136, 137, 138  Następny
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 24574
Przeczytał: 42 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Wto 10:42, 28 Lis 2017    Temat postu:

fiklit napisał:
Ciekawe jak to sie dzieje, że jednak nie dochodzi do pomyłek? hmm.

.. bo człowiek to nie komputer.
Pamiętam na ateiście.pl jaki raban zrobili matematycy gdy napisałem "wektor napięcia wskazuje wyższy potencjał" termin powszechnie używany w elektronice.
Nie pamiętam na studiach by ktokolwiek użył "strzałka napięcia wskazuje wyższy potencjał" etc, choć "strzałka napięcia" jest pojęciem równie dobrym i tożsamym.

Czy mógłbyś sformułować następujące zadanie zgodnie z aktualną terminologią matematyków?

Moja propozycja jest taka:
Dana jest funkcja logiczna:
Y = ~(p*q+~p*~q)
Wyznacz tożsamą funkcję koniunkcyjno-alternatywną

Jak rozumiem w obecnej matematyce za takie coś dostaje się pałę?
Jeśli tak, to proszę o zapisanie wszystkich możliwych wersji tego zadania gdzie pały się nie dostaje.


Ostatnio zmieniony przez rafal3006 dnia Wto 10:45, 28 Lis 2017, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4187
Przeczytał: 3 tematy


Płeć: Mężczyzna

PostWysłany: Wto 12:59, 28 Lis 2017    Temat postu:

To dlaczego uwżasz że to problem.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4187
Przeczytał: 3 tematy


Płeć: Mężczyzna

PostWysłany: Wto 16:06, 28 Lis 2017    Temat postu:

Sądzę, że jeśli nikt się nie myli, która to logika to chyba oznacza, że wszyscy wiedzą, która to logika.
I nie ma tu problemu?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 24574
Przeczytał: 42 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Wto 16:20, 28 Lis 2017    Temat postu:

fiklit napisał:
Sądzę, że jeśli nikt się nie myli, która to logika to chyba oznacza, że wszyscy wiedzą, która to logika.
I nie ma tu problemu?

Po prostu, ostateczne znaczenie wielu słów wynika z kontekstu.
Człowiek to zdecydowanie nie komputer!
1.
Morze jest głębokie i szerokie
Może pójdę jutro do kina
W tym kontekście:
morze ## może
## - różne na mocy definicji

2.
Wektor napięcia wskazuje wyższy potencjał
Strzałka napięcia wskazuje wyższy potencjał
W tym kontekście:
strzałka = wektor
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4187
Przeczytał: 3 tematy


Płeć: Mężczyzna

PostWysłany: Wto 16:47, 28 Lis 2017    Temat postu:

To w czym masz problem?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 24574
Przeczytał: 42 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Wto 16:56, 28 Lis 2017    Temat postu:

fiklit napisał:
To w czym masz problem?

Ja nie mam problemu, problem mają niektórzy ziemscy matematycy, którzy wymagają wyrecytowania definicji z dokładnością do każdego przecinka i każdej literki. Pamiętam na ateiście.pl jak podałem jakąś trywialną definicję a nasz Idiota (chyba) tupał nóżkami i machał rękami iż ta definicja jest zła - oczywiście okazało się że chodzi mu jakąś pierdółkę, dla istoty definicji totalnie bez znaczenia.

P.S.
Zresztą, nasz Idiota do tej pory twierdzi, że ja nie wiem co to jest definicja i żadnej poprawnej definicji do tej pory nie podałem.
Czy mam rację Idioto?
Taz, vel Fizyk (admin ateisty.pl), uczeń Idioty twierdzi dokładnie to samo,
Zgadza się Fizyku?


Ostatnio zmieniony przez rafal3006 dnia Wto 17:02, 28 Lis 2017, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3580
Przeczytał: 3 tematy

Skąd: stolnica

PostWysłany: Wto 19:10, 28 Lis 2017    Temat postu:

Firklit też twierdzi, że nie wiesz co to jest definicja i jak działa, nawet kilka razy to wprost stwierdzał.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 24574
Przeczytał: 42 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Wto 19:42, 28 Lis 2017    Temat postu:

idiota napisał:

Firklit też twierdzi, że nie wiesz co to jest definicja i jak działa, nawet kilka razy to wprost stwierdzał.

… a jednak czyta :)



Idiota, niczym siódmy samuraj Kurosawy, chodzi za Kubusiem krok w krok od 11 lat, tryskając niepowtarzalnym humorem.

http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-225.html#310261
idiota napisał:
Chyba ostatecznie przegrzaliśmy rafałowi pozostałości mózgu.

http://www.sfinia.fora.pl/forum-kubusia,12/prawo-subalternacji,8368-2000.html#299283
idiota napisał:
Boże, co za bzdury...
To niesamowite jak rafał swoim nierozumieniem niczego potrafi sobie w głowie posklejać co się da i zrobić to jakoś odnoszące się do jego idee fixe...
Przecież tego nie ma sensu nawet wyjaśniać, bo widać tu raczej symptomy choroby, a nie rozumowanie.

http://www.sfinia.fora.pl/forum-kubusia,12/prawo-subalternacji,8368-2275.html#306541
idiota napisał:
Rafal3006 napisał:
… a nie przyszło ci do głowy Idioto, po 10 latach chodzenia za Kubusiem krok w krok, że Kubuś może mieć rację w tym co pisze?
Nie znam kubusiów, wiem, że rafał myli się we WSZYSTKIM co tu pisze.

[link widoczny dla zalogowanych]
idiota napisał:
jako że nasz, jak to się on lubi określać "kubuś", lubuje się w krentactwach i manipulacji tekstem, postanowiłem użyć broni przeciw niemu podobnej acz subtelniejszej.
I
po pierwsze w temacie tym zamieszczę przebieg rozmowy rzeczonego głupka z niejakim Irbisolem na forom Śfinia
II
odświeżał będę ten temat ilekroć ktokolwiek inny bądż głupek zechce coś napisać w temacie o implikacji.

moderację proszę o wyrozumiałość dla takiego zabiegu, bowiem powoduje mną nie osobista niechęć do głupka lecz chęć ustrzeżenia innych użytkowników forum Ateista.pl przed braniem go poważnie.

zatem idźmy:
niech IR przed cytatem oznacza Irbisola a GŁ rafała 3006

[link widoczny dla zalogowanych]
idiota napisał:

FlauFly napisał:

To jakiś bot?

myślę ze dałoby się taki napisać...
tylko nie wyobrażam sobie takiego sqrwiela informatyka.
takie coś to tylko Bug w swej dobroci nieskończonej wymyślić mug...
piszę to wszystko ku przestrodze.
i będę ... pisał ilekroć ktoś zechce podjąć się rozmowy z wiadomokim.


Ostatnio zmieniony przez rafal3006 dnia Wto 20:17, 28 Lis 2017, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4187
Przeczytał: 3 tematy


Płeć: Mężczyzna

PostWysłany: Wto 21:30, 28 Lis 2017    Temat postu:

O jakim problemie ze mną rozmawiasz? Bo ja o tym co napisałeś:
Cytat:
Widzę poważniejszy problem w logice ziemian:
p*q+~p*~q
To nie jest precyzyjnie zdefiniowana funkcja logiczna bo nie wiadomo czy jest to funkcja w logice dodatniej (bo Y):
Y=p*q+~p*~q
czy też jest to funkcja w logice ujemnej (bo ~Y)
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 24574
Przeczytał: 42 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Wto 21:49, 28 Lis 2017    Temat postu:

fiklit napisał:
O jakim problemie ze mną rozmawiasz? Bo ja o tym co napisałeś:
Cytat:
Widzę poważniejszy problem w logice ziemian:
p*q+~p*~q
To nie jest precyzyjnie zdefiniowana funkcja logiczna bo nie wiadomo czy jest to funkcja w logice dodatniej (bo Y):
Y=p*q+~p*~q
czy też jest to funkcja w logice ujemnej (bo ~Y)
~Y=p*q+~p*~q

fiklit napisał:
Sądzę, że jeśli nikt się nie myli, która to logika to chyba oznacza, że wszyscy wiedzą, która to logika.
I nie ma tu problemu?

Rzeczywiście nie załapałem o co ci chodzi, bo nie podałeś tego cytatu.
Nie jest prawdą to co napisałeś bo zapisuję:
p*q+~p*~q
a ty zgadnij jaką logikę mam na myśli, dodatnią (bo Y), czy ujemną (bp ~Y).
Tu chodzi o matematykę która musi być jednoznaczna, a jest jednoznaczna wyłącznie wtedy, gdy zapisujemy funkcje logiczne Y i ~Y dokładnie jak w cytacie.

Credo poprawnej logiki matematycznej:
Zapisywane równania logiczne muszą być jednoznaczne!
Tu nie może być miejsca na zgadywanie!

Myślę, że poniższy cytat to najpiękniejsza rzecz, jaka ukazała się w 11 letniej historii powstawania algebry Kubusia, możliwe że nie zwróciłeś na niego uwagi tzn. nie przyjrzałeś się mu ze zrozumieniem, więc podaję link:
http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-2125.html#351785

Piękno algebry Kubusia która bez problemu, podobnie jak każdy 5-cio latek płynnie operuje logiką dodatnią (bo Y) i ujemną (bo ~Y) widać tu jak na dłoni.


Ostatnio zmieniony przez rafal3006 dnia Wto 22:05, 28 Lis 2017, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4187
Przeczytał: 3 tematy


Płeć: Mężczyzna

PostWysłany: Wto 21:50, 28 Lis 2017    Temat postu:

No to jeszcze do tego cytatu: Jak to się dzieje, że jednak ludzie nie mylą się o jaką logikę chodzi?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 24574
Przeczytał: 42 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Wto 22:03, 28 Lis 2017    Temat postu:

fiklit napisał:
No to jeszcze do tego cytatu: Jak to się dzieje, że jednak ludzie nie mylą się o jaką logikę chodzi?

Mógłbyś wyjaśnić o co ci chodzi?
Czy chodzi ci o logikę dodatnią (bo Y) i ujemną (~Y)?
Tu rzeczywiście matematycy się nie mylą, bo nie mają bladego pojęcia czym jest logika ujemna.
W przełożeniu na matematykę klasyczną, matematycy są na etapie przed wynalezieniem liczb ujemnych.

O co tu chodzi?
Powtórzę historyczny post niżej, kasując go z postu wyżej.
Jestem pewien, że rozumiesz ten post.


Ostatnio zmieniony przez rafal3006 dnia Wto 23:59, 28 Lis 2017, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 24574
Przeczytał: 42 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Wto 22:05, 28 Lis 2017    Temat postu:

Symboliczna logika matematyczna

Przykład z przedszkola, pokazujący jak działa mózg 5-cio latka:
A.
Pani:
Jutro pójdziemy na basen lub pójdziemy do kina i nie pójdziemy do teatru
Y = B+ K*~T
Kiedy pani dotrzyma słowa (Y):
Pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro:
B =1 - pójdziemy na basen
lub
K*~T =1*1 =1 - pójdziemy do kina (K) i nie pójdziemy do teatru (~T)

Do naszego równania możemy wprowadzić zmienną x pod którą możemy podstawiać dowolne zdarzenia jakie jutro mogą wystąpić:
Y= x*(B+K*~T)
Załóżmy, że jutro zajdzie:
x=B =1 - pójdziemy na basen
stąd mamy:
Y = B*(B+K*~T) = 1+x =1 - wystarczy że pójdźmy na basen i już pani dotrzyma słowa (Y=1)
Załóżmy że jutro zajdzie:
x=K*~T = 1*1 =1 - pójdziemy do kina (K) i nie pójdziemy do teatru (~T)
stąd mamy:
Y = K*~T*(B+K*~T) = x+ 1 =1 - wystarczy że pójdziemy do kina (K) i nie pójdziemy do teatru (~T) i już pani dotrzyma słowa.

Z powyższego wynika że pani dotrzyma słowa (Y) tylko w dwóch przypadkach:
B=1 - gdy jutro pójdziemy na basen
lub
K*~T =1*1 =1 - gdy jutro pójdziemy do kina (K) i nie pójdziemy do teatru (~T)
W pozostałych przypadkach skłamie (~Y)

… a kiedy pani skłamie?
Przechodzimy z równaniem A do logiki ujemnej (bo ~Y):
Y=B+(K*~T)
Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników:
~Y = ~B*(~K+T)
~Y=~B*~K + ~B*T
stąd mamy odpowiedź w naturalnej logice matematycznej człowieka, bo to jest równanie alternatywno-koniunkcyjne:
Pani skłamie (~Y) wtedy i tylko wtedy gdy:
~B*~K - jutro nie pójdziemy na basen (~B) i nie pójdziemy do kina (~K)
lub
~B*T - jutro nie pójdziemy na basen (~B) i pójdziemy do teatru (T)

Do naszego równania możemy wprowadzić zmienną x pod którą możemy podstawiać dowolne zdarzenia jakie jutro mogą wystąpić:
~Y= x*(~B*~K+~B*T)
1.
Załóżmy że jutro pójdźmy na basen:
x=B =1
sprawdzamy czy pani ma szansę skłamać:
~Y = B*(~B*~K+~B*T) = 0+0 =0
Wniosek:
Jak pójdziemy na basen to pani na 100% nie skłamie
2.
Załóżmy że jutro nie pójdziemy na basen (~B) i nie pójdziemy do kina (~K)
x=~B*~K =1*1=1
~Y = ~B*~K*(~B*~K + ~B*T) = 1+x = 1 - pani skłamie
3.
Załóżmy że jutro nie pójdziemy na basen (~B) i pójdziemy do teatru (T)
x=~B*T =1*1 =1
~Y = ~B*T*(~B*~K+~B*T) = x + 1 =1 - pani skłamie

Wniosek:
Pani może skłamać wyłącznie w dwóch przypadkach:
x=~B*~K =1*1 =1
lub
x=~B*T =1*1 =1
w pozostałych przypadkach pani dotrzyma słowa

Zauważmy, że to jest analiza w równaniach algebry Boole’a, żadne tabele zero-jedynkowe nie są tu używane
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4187
Przeczytał: 3 tematy


Płeć: Mężczyzna

PostWysłany: Śro 7:15, 29 Lis 2017    Temat postu:

Cytat:
Nie jest prawdą to co napisałeś bo zapisuję:
p*q+~p*~q
a ty zgadnij jaką logikę mam na myśli, dodatnią (bo Y), czy ujemną (bp ~Y).
Tu chodzi o matematykę która musi być jednoznaczna, a jest jednoznaczna wyłącznie wtedy, gdy zapisujemy funkcje logiczne Y i ~Y dokładnie jak w cytacie.

Gdy napiszesz to Ty to faktycznie nie wiem.
Gdy napisze to ktokolwiek inny to nie ma problemu.
Zatem problem masz jedynie Ty i generują go Twoje pomysły.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 24574
Przeczytał: 42 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Śro 7:47, 29 Lis 2017    Temat postu:

fiklit napisał:

Cytat:
Nie jest prawdą to co napisałeś bo zapisuję:
p*q+~p*~q
a ty zgadnij jaką logikę mam na myśli, dodatnią (bo Y), czy ujemną (bp ~Y).
Tu chodzi o matematykę która musi być jednoznaczna, a jest jednoznaczna wyłącznie wtedy, gdy zapisujemy funkcje logiczne Y i ~Y dokładnie jak w cytacie.

Gdy napiszesz to Ty to faktycznie nie wiem.
Gdy napisze to ktokolwiek inny to nie ma problemu.
Zatem problem masz jedynie Ty i generują go Twoje pomysły.

Problem w tym że wyłącznie autor zapisu:
p*q+~p*~q
wie co miał na myśli.
Reszta ludzkości, około 7 mld musi zgadywać.

Może autor zapisu miał na myśli logiką dodatnią (bo Y):
Y=p*q+~p*~q
a może autor tego zapisu miał na myśli logikę ujemną (bo ~Y):
~Y=p*q+~p*~q
Y#~Y

Zadanie z wariatkowa:
Zapisz funkcję przeciwną do funkcji:
p*q+~p*~q

To zadanie jest nierozwiązywalne, bo nie wiadomo jaką funkcje miał na myśli autor tego zadania.
Mógł mieć na myśli funkcję:
Y=p*q+~p*~q
albo mógł mieć na myśli funkcję:
~Y=p*q+~p*~q

Twardy dowód iż logika matematyczna ziemskich matematyków jest do bani można znaleźć w katalogach układów cyfrowych:
[link widoczny dla zalogowanych]

Zauważ, że najważniejsza informacja jest tu podana wytłuszczonym drukiem (u dołu pierwszej strony):
positive logic (logika dodatnia)

Dopiero po tym zastrzeżeniu podawana jest funkcja logiczna opisująca bramkę „lub”(+)
Y=p+q
Y=~(~p*~q)


Możemy wyróżnić:
1.
Logikę dodatnią i ujemną w sprzęcie.
To ziemianie znają inaczej mieli by chaos w bramkach logicznych
Dwód:
[link widoczny dla zalogowanych]
Wikipedia napisał:

W układach logicznych, gdzie są zdefiniowane tylko dwie wartości liczbowe, rozróżnia się dwa przedziały napięć: wysoki (ozn. H, z ang. high) i niski (ozn. L, z ang. low); pomiędzy nimi jest przerwa, dla której nie określa się wartości liczbowej – jeśli napięcie przyjmie wartość z tego przedziału, to stan logiczny układu jest nieokreślony.
Jeśli do napięć wysokich zostanie przyporządkowana logiczna jedynka, a do niskich logiczne zero, wówczas mówi się, że układ pracuje w logice dodatniej (inaczej zwanej pozytywną), w przeciwnym razie mamy do czynienia z logiką ujemną (lub negatywną).

2.
Logikę dodatnią (bo Y) i ujemną (bo ~Y) w logice matematycznej
Tego póki co ziemianie kompletnie nie kumają, dla matematyków to czarna magia.
W przełożeniu na matematykę klasyczną ziemscy matematycy są z tysiąc lat do tyłu, gdy ludzkość nie wiedziała co to jest liczba ujemna.


Ostatnio zmieniony przez rafal3006 dnia Śro 8:24, 29 Lis 2017, w całości zmieniany 6 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3580
Przeczytał: 3 tematy

Skąd: stolnica

PostWysłany: Śro 8:18, 29 Lis 2017    Temat postu:

"Problem w tym że wyłącznie autor zapisu:
p*q+~p*~q
wie co miał na myśli.
Reszta ludzkości, około 7 mld musi zgadywać. "

Zgoda, ale pod jednym warunkiem.
Musiałaby najpierw wpaść na pomysł twój logik dodatnich i ujemnych.
Normalnie nikt nie widzi problemu bez twoich pomysłów.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 24574
Przeczytał: 42 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Śro 8:28, 29 Lis 2017    Temat postu:

idiota napisał:
"Problem w tym że wyłącznie autor zapisu:
p*q+~p*~q
wie co miał na myśli.
Reszta ludzkości, około 7 mld musi zgadywać. "

Zgoda, ale pod jednym warunkiem.
Musiałaby najpierw wpaść na pomysł twój logik dodatnich i ujemnych.
Normalnie nikt nie widzi problemu bez twoich pomysłów.


[link widoczny dla zalogowanych]

Logika, sens i wątpliwości
Marek Kordos
Delta, marzec 2013


Już przed laty, gdy brałem udział w tworzeniu jednej z kolejnych reform nauczania matematyki, miałem poważne wątpliwości, czy umieszczanie w programach nauczania matematyki (podstawach programowych, wykazach efektów nauczania, podręcznikach itp.) działu logika jest zgodne ze zdrowym rozsądkiem.

Oczywiście, wiem, że wielu głosi, iż nauczanie matematyki (jak niegdyś łaciny, której się zresztą uczyłem) to nauka logicznego myślenia. Ale, gdy czytałem otwierające wówczas podręczniki do liceum rozdziały poświęcone logice, trudno mi było powstrzymać się od wrażenia, że nie ma w nich żadnego sensu. Nie wymienię, rzecz jasna, żadnego konkretnego podręcznika (po co mi rozprawy sądowe – przecież podręcznik to wielkie pieniądze), ale wrażenie przy lekturze każdego z nich było podobne.
Od razu chciałbym powiedzieć, że nie chodzi o opinię, iż logika nigdy matematyce nie pomogła, bo unikanie błędów nie jest aktem twórczym (patrz Nicolas Bourbaki, Elementy historii matematyki). Chodzi o coś więcej. Ale nie śmiałem nalegać na usunięcie tego działu ze szkolnego nauczania, bo jeśli wszyscy widzą w nim sens, to może on tam – wbrew pozorom – istnieje.

Dopiero na sympozjum z okazji dziewięćdziesięciolecia Profesora Andrzeja Grzegorczyka dowiedziałem się, że moje wątpliwości nie są odosobnione i nawet w Instytucie Filozofii i Socjologii PAN prowadzone są prace nad taką modyfikacją logiki, by jej wady usunąć.

Co to za wady? Proszę spojrzeć na zdanie:
Dwa plus dwa równa się cztery wtedy i tylko wtedy, gdy Płock leży nad Wisłą.
Oczywiście, zdanie to jest prawdziwe, ale czy ma sens? Przecież między pewnym faktem arytmetycznym a innym faktem geograficznym żadnego związku nie ma. Dlaczego więc chcemy twierdzić (ba, uczyć tego), że te dwa zdania są równoważne?

Albo zdanie:
Jeśli dwa plus dwa jest równe pięć, to zachodzi twierdzenie Pitagorasa.
Z punktu widzenia logiki to zdanie jest prawdziwe. Tu już po obu stronach implikacji są zdania dotyczące faktów matematycznych. Dlaczego jednak chcemy zmusić młodego człowieka, by widział w tym sens?
Wyjaśnienie jest proste: w pierwszym przypadku chodzi o to, że równoważność zdań ma miejsce, gdy wartość logiczna obu zdań jest taka sama; w drugim – o to, że implikacja jest poprawna, gdy ma fałszywy poprzednik.

A więc logika sprowadza nasz świat do zbioru dwuelementowego, nic przeto dziwnego, że rzeczy absolutnie niepołączone żadnym znaczeniowym (semantycznym) związkiem muszą się znajdować w przynajmniej jednej z dwóch komórek, do jakiejś muszą trafić.


Powstają dwa pytania. Po pierwsze, czemu logika została tak skonstruowana, że – abstrahując od sensu – okalecza pojęciowy świat? Po drugie, czy faktycznie należy trzymać ją jak najdalej od młodzieży, bo tylko ją demoralizuje, każąc za wiedzę uważać takie androny, jak przytoczone powyżej?

Odpowiedź na pierwsze pytanie jest dość prosta. Nowoczesna logika formalna została stworzona (jak wielu uważa) przez Gottloba Fregego (1848-1925) tak, by obsługiwała matematykę, a tę rozumiano wówczas jako badanie prawdziwości zdań języków formalnych.

Odpowiedzi na drugie pytanie de facto nie ma. Tłumaczymy się z używania takich abstrahujących od znaczeń spójników logicznych tym, że alternatywa, koniunkcja i negacja są sensowne; że chcemy, aby młody człowiek wiedział, że zaprzeczeniem zdania, iż istnieje coś mające własność A, jest to, że wszystkie cosie własności A nie mają; że implikacja ze zdania prawdziwego daje jednak tylko zdania prawdziwe itd., itp.

Ale naprawdę chodzi o to, że – jak z małżeństwem i demokracją – lepszej propozycji dotąd nie wynaleziono. A szkoda.


Ostatnio zmieniony przez rafal3006 dnia Śro 8:29, 29 Lis 2017, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4187
Przeczytał: 3 tematy


Płeć: Mężczyzna

PostWysłany: Śro 9:59, 29 Lis 2017    Temat postu:

Niekoreślenie czy chodzi o Y czy ~Y nie jest problemem w aktualnej matematyce/logice.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3580
Przeczytał: 3 tematy

Skąd: stolnica

PostWysłany: Śro 10:14, 29 Lis 2017    Temat postu:

W zasadzie nie wiadomo co by tu miało być określone...

A po co rafał wkleił powyżej tekst... Nie wiadomo.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4187
Przeczytał: 3 tematy


Płeć: Mężczyzna

PostWysłany: Śro 10:23, 29 Lis 2017    Temat postu:

No jak to po co. Nie wie co powiedzieć, więc trzeba coś od rzeczy wkleić.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3580
Przeczytał: 3 tematy

Skąd: stolnica

PostWysłany: Śro 12:31, 29 Lis 2017    Temat postu:

A tak korzystając z okazji, bo nie mam tu jasności.
Masz jakiś pomysł po co rafałowi wprowadzenie pojęć, które powodują, że proste napisy w rodzaju (p v ~q) stają się wieloznaczne?
Ja rozumiem, że on odkrył ku własnej zgrozie i nadziei, że funkcje logiczne mają swoje odwrotności w kwestii prawdy i fałszu, ale to co wymyślił ten fakt jakoś tak rozwadnia.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 24574
Przeczytał: 42 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Śro 13:12, 29 Lis 2017    Temat postu:

idiota napisał:
W zasadzie nie wiadomo co by tu miało być określone...

A po co rafał wkleił powyżej tekst... Nie wiadomo.

Dałem przykład kompromitujący współczesną logikę "matematyczną" w obszarze zdań warunkowych "Jeśli p to q":
http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-2150.html#352025
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 24574
Przeczytał: 42 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Śro 13:16, 29 Lis 2017    Temat postu:

fiklit napisał:
Niekoreślenie czy chodzi o Y czy ~Y nie jest problemem w aktualnej matematyce/logice.

Poproszę zatem o rozwiązanie prostego zadania na poziomie I klasy LO w aktualnej logice matematycznej ziemian, tego zadania:
http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-2150.html#351965
rafal3006 napisał:
Symboliczna logika matematyczna

Przykład z przedszkola, pokazujący jak działa mózg 5-cio latka:
A.
Pani:
Jutro pójdziemy na basen lub pójdziemy do kina i nie pójdziemy do teatru
Y = B+ K*~T

Poproszę o opisanie przypadków kiedy pani jutro dotrzyma słowa a kiedy skłamie.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4187
Przeczytał: 3 tematy


Płeć: Mężczyzna

PostWysłany: Śro 13:17, 29 Lis 2017    Temat postu:

dotrzyma: B+ K*~T
nie dotrzyma ~( B+ K*~T)
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4187
Przeczytał: 3 tematy


Płeć: Mężczyzna

PostWysłany: Śro 13:22, 29 Lis 2017    Temat postu:

Nie wiem po co to rafaławi. Może to trochę wynikać z tego, że mu się wszystko zlewa w jedno, bierze się za krytykowanie rzeczy których nie zna. A ogólnie to chyba po prostu pisze żeby pisać.
Jak dla mnie to o tym "problemie" nierozróżniania czy napis jest w dodatniej czy ujemnej, powinien być w trybie przypuszczającym.
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 86, 87, 88 ... 136, 137, 138  Następny
Strona 87 z 138

 
Skocz do:  
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach

fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
Regulamin