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 

Znaleziono 19 wyników
Forum ŚFiNiA Strona Główna
Autor Wiadomość
  Temat: Wszechwiedza absolutna
SumienieMikołaja

Odpowiedzi: 549
Wyświetleń: 31971

PostForum: Apologia kontra krytyka teizmu   Wysłany: Nie 21:59, 14 Maj 2006   Temat: Wszechwiedza absolutna
Czy wolno np. napisać zdanie "niniejsze zdanie nie ma dowodu"?
Wolno. Przeciez napisales :D

Pytanie natomiast brzmi: co znaczy to, co napisales? Bo ja nie wiem.


To proste. Zdanie to ...
  Temat: Wszechwiedza absolutna
SumienieMikołaja

Odpowiedzi: 549
Wyświetleń: 31971

PostForum: Apologia kontra krytyka teizmu   Wysłany: Nie 23:20, 07 Maj 2006   Temat: Wszechwiedza absolutna

Padadoks klamcy polega na pomyleniu poziomow rozumowania. Sprowadza sie on do wypowiadania na poziomie teorii oceny, ktora mozna sformulowac tylko na poziomie meta-teorii. Jest to rownoznaczne probi ...
  Temat: Wszechwiedza absolutna
SumienieMikołaja

Odpowiedzi: 549
Wyświetleń: 31971

PostForum: Apologia kontra krytyka teizmu   Wysłany: Nie 21:54, 07 Maj 2006   Temat: Wszechwiedza absolutna

Paradoks klamcy to konstrukcja polegajaca na wzieciu dowolnej przeslanki i pokazaniu, ze uznanie tej przeslanki za falszywa na podstawie wylacznie tej przeslanki prowadzi do absurdu. Bynajmniej. To, ...
  Temat: Wszechwiedza absolutna
SumienieMikołaja

Odpowiedzi: 549
Wyświetleń: 31971

PostForum: Apologia kontra krytyka teizmu   Wysłany: Nie 13:11, 07 Maj 2006   Temat: Wszechwiedza absolutna
Kazde twierdzenie sklada sie przeslanek, dowodu i wniosku.
Podział na przesłanki i wniosek jest chyba zbędny, a w każdym razie trzeba by wyjaśnić, jak pojęcia "przesłanek" i "wniosku" są zdefiniowa ...
  Temat: O lichości ateizmu
SumienieMikołaja

Odpowiedzi: 184
Wyświetleń: 19968

PostForum: Rozbieranie irracjonalizmu   Wysłany: Sob 14:58, 25 Mar 2006   Temat: O lichości ateizmu
Sjoro jesteśmy przy dowodzie Amzelma warto przypomnieć sobie jak niektórzy ateisci obalają dowody Tomasza z Akwinu. Otóż twierdzą oni, ze przyczyny pierwszej nie było i stnieje nieskończona liczba wsz ...
  Temat: Logika - Od przedszkola do Opola
SumienieMikołaja

Odpowiedzi: 30
Wyświetleń: 10608

PostForum: Metodologia   Wysłany: Nie 14:54, 26 Lut 2006   Temat: Logika - Od przedszkola do Opola
Trochę dziwna ta logika J2. Dziwi mnie już fakt, że transformacja d nie jest zdefiniowana kompozycjonalnie, tzn. może być A<=>B, ale nie być d(A)<=>d(B). W szczególności "andp" to jest doś ...
  Temat: Logika - Od przedszkola do Opola
SumienieMikołaja

Odpowiedzi: 30
Wyświetleń: 10608

PostForum: Metodologia   Wysłany: Nie 14:35, 26 Lut 2006   Temat: Logika - Od przedszkola do Opola

Ja czegoś nie rozumiem w twojej definicji S5. Mianowicie gdzie jest zdefiniowana semantyka modalności? Jakoś przegapiłem.


Ups, właśnie znalazłem:

w spełnia MH przy M wtw dla pewnego w' należ ...
  Temat: Logika - Od przedszkola do Opola
SumienieMikołaja

Odpowiedzi: 30
Wyświetleń: 10608

PostForum: Metodologia   Wysłany: Nie 14:31, 26 Lut 2006   Temat: Logika - Od przedszkola do Opola

A poza tym - jestem ciekaw, czy mikon miał na zajęciach o logice parainkonsystentnej. Mam bowiem marne pojęcie o tym, jakie systemy omawia się na studiach matematycznych, a jestem tego bardzo ciekaw ...
  Temat: Logika dwuwartosciowa a logika wielowartosciowa i inne cuda
SumienieMikołaja

Odpowiedzi: 133
Wyświetleń: 23061

PostForum: Metodologia   Wysłany: Nie 22:20, 19 Lut 2006   Temat: Logika dwuwartosciowa a logika wielowartosciowa i inne cuda
Weźmy mianowicie q=~p.
Czyli samoodniesienie?


Taa... To jest takie samoodniesienie jak w napisie 2+2=4, gdzie 2 się "samo odnosi do siebie". NIE jest to żadne samoodniesienie.


Wciaz widze ...
  Temat: Logika dwuwartosciowa a logika wielowartosciowa i inne cuda
SumienieMikołaja

Odpowiedzi: 133
Wyświetleń: 23061

PostForum: Metodologia   Wysłany: Nie 20:29, 19 Lut 2006   Temat: Logika dwuwartosciowa a logika wielowartosciowa i inne cuda

Zachodzą standardowe metatwierdzenia:
Zbiór formuł Q spełnia H wtw każdy M spełniający Q spełnia H
H jest i-dowiedlna z Q wtw H ma dowód (dokładniej, i-dowód) w sensie Hilberta na podstawie Q
Dl ...
  Temat: Wreszcie sumienie sie odezwalo!
SumienieMikołaja

Odpowiedzi: 5
Wyświetleń: 2181

PostForum: Kawiarnia   Wysłany: Nie 20:17, 19 Lut 2006   Temat: Wreszcie sumienie sie odezwalo!
Jesłi sumienie Mikołaja nie jest żartem Mikona, jego drugim wcieleniem, to zastanawiam sie czy to nie powinno podlegać pod regfulamin, (tzn pod dokuczanie delikatnie mówiac innemu urzytkownikowi). : ...
  Temat: Logika dwuwartosciowa a logika wielowartosciowa i inne cuda
SumienieMikołaja

Odpowiedzi: 133
Wyświetleń: 23061

PostForum: Metodologia   Wysłany: Nie 20:12, 19 Lut 2006   Temat: Logika dwuwartosciowa a logika wielowartosciowa i inne cuda
Twierdzenie (B) jest nieprawdziwe dla X="p". Wówczas X nie jest fałszem
Dlaczego dla X="p", X nie jest falszem? Zgodnie z definicja falszu, jesli "p" jest takie, ze dla kazdego q zachodzi p->q, to ...
  Temat: Logika dwuwartosciowa a logika wielowartosciowa i inne cuda
SumienieMikołaja

Odpowiedzi: 133
Wyświetleń: 23061

PostForum: Metodologia   Wysłany: Nie 18:26, 19 Lut 2006   Temat: Logika dwuwartosciowa a logika wielowartosciowa i inne cuda

Powolutku. Mamy zdanie:

(1) "X jest falszem" <=> dla kazdego psi, X->psi.

Klasyczne zaprzeczenie zdania (1) brzmi:

(2) ~"X jest falszem" <=> istnieje psi, dla ktorego ~(X-&g ...
  Temat: Logika dwuwartosciowa a logika wielowartosciowa i inne cuda
SumienieMikołaja

Odpowiedzi: 133
Wyświetleń: 23061

PostForum: Metodologia   Wysłany: Nie 15:27, 19 Lut 2006   Temat: Logika dwuwartosciowa a logika wielowartosciowa i inne cuda
Moze wygodniej pisac jak w C, oznaczajac zaprzeczenie rownosci przez "!=". Rozumiem, ze przez | oznaczasz warunek, jak w prawdopodobienstwie warunkowym.

Nie wiem w sumie, czy notacja jest aż tak wa ...
  Temat: Logika dwuwartosciowa a logika wielowartosciowa i inne cuda
SumienieMikołaja

Odpowiedzi: 133
Wyświetleń: 23061

PostForum: Metodologia   Wysłany: Nie 2:00, 19 Lut 2006   Temat: Logika dwuwartosciowa a logika wielowartosciowa i inne cuda
jak dokładnie rozumiesz "jest fałszywe"
Jest falszem. Po prostu analizuje twoja definicje falszu.

Prawde rozumiem jako negacje falszu.


No tak, a więc phi jest fałszem wtw, gdy dla każdego psi ...
  Temat: O lichości Nietzschego i jego filozofii
SumienieMikołaja

Odpowiedzi: 44
Wyświetleń: 8544

PostForum: Rozbieranie irracjonalizmu   Wysłany: Nie 1:46, 19 Lut 2006   Temat: O lichości Nietzschego i jego filozofii
Dla Nietschego liczy sie bowiem tylko SKUTECZNOSCto już jest BZDURA wręcz kompromitująca.
Co Nietzsche uwaza o slabych i slabosci?

Co jest przeciwienstwem slabosci?

Czy sila jest silna, kiedy j ...
  Temat: Logika dwuwartosciowa a logika wielowartosciowa i inne cuda
SumienieMikołaja

Odpowiedzi: 133
Wyświetleń: 23061

PostForum: Metodologia   Wysłany: Nie 1:24, 19 Lut 2006   Temat: Logika dwuwartosciowa a logika wielowartosciowa i inne cuda

fałszem jest takie F, że zachodzi F->p dla każdego p
Czy F jest falszywe wtedy i tylko wtedy, gdy F->p dla kazdego p?


Hm, nie jestem pewien, jak dokładnie rozumiesz "jest fałszywe". Prop ...
  Temat: O lichości Nietzschego i jego filozofii
SumienieMikołaja

Odpowiedzi: 44
Wyświetleń: 8544

PostForum: Rozbieranie irracjonalizmu   Wysłany: Nie 0:20, 19 Lut 2006   Temat: O lichości Nietzschego i jego filozofii
"Dla Nietschego liczy sie bowiem tylko SKUTECZNOSC"

Jestem wprawdzie tylko sumieniem Mikołaja (mikona), ale to już jest BZDURA wręcz kompromitująca.

"Rozumiem ten argument, taki zreszta w swym a ...
  Temat: Logika dwuwartosciowa a logika wielowartosciowa i inne cuda
SumienieMikołaja

Odpowiedzi: 133
Wyświetleń: 23061

PostForum: Metodologia   Wysłany: Nie 0:02, 19 Lut 2006   Temat: Logika dwuwartosciowa a logika wielowartosciowa i inne cuda
Oj Mikołaju, Mikołaju, niemało masz na sumieniu. Niedość, że znęcasz się za pomocą izomorfizmu Curry'ego-Howarda, Coqa, Kripkego (niedługo może i Heytinga), toposów, etc., a nawet systemów modułów (a ...
 
Strona 1 z 1
Wszystkie czasy w strefie EET (Europa)
Skocz do:  

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