Areopág

kresťansko
katolícke
fórum

Všetkým návštevníkom nášho portálu požehnanie a radosť v Duchu Svätom od nášho Pána. Nech On sám je vaším svetlom a Jeho kríž i zmŕtvychvstanie svedectvom Božej moci vo vašich životoch.
Obsah fóra » Literárna tvorba » Kútik literárnych prvotín


 [ Príspevkov: 68 ]  Choď na stránku Predchádzajúci  1, 2, 3, 4, 5  Ďalší
Autor Správa
Poslať 04.08.2009 19:00:49   
 

od 06.07.2009 14:30:51
napísal 94 príspevkov
Bydlisko: Nižná Vyšná
Rarach z bazáru píše:
Podla nich ... ked sa nieco neda "formalne dokazat v jazyku symbolov", tak to proste nielenze nie je pravda (podla nich), ale to ani neexistuje (ako pravda, podla nich).
bulšit! nikto predsa toto netvrdí. logika nevie všetko, ale to, čo vie, v tom je spoľahlivá. kto ju odmieta, ten blábolí:

Obrázok

Rarach z bazáru píše:
Je nemozne pozadovat po modernom formalnom logikovi, aby pochopil, ze ... mechanizmy fomalnej logiky maju svoje kompetencie jasne vymedzene?
a tvrdím vari niečo iné?!!!

už si naozaj trápny, keď robíš takýchto strašiakov, a ešte k tomu odveci, len aby si zahováral !!!


Samozrejme, že logika má aj svoje obmedzenia, nevie v každej teórii rozhodnúť o všetkom,
avšak to, čo robí, tomu nemôžeš protirečiť, inak BLÁBOLÍŠ !!!

Obrázok


Rarach z bazáru píše:
Mortus, toto su same zname veci, tymto ma neohuris. Iba co dokazujes, ze moderna logika je bezmocna tam, kde klasicka funguje stale absolutne bezproblemovo.
bulšit ! aká bezmocnosť modernej logiky, čo to drístaš?!

Že moderná logika nevie dokázať niečo, čo z predpokladov nevyplýva - to nazývaš bezmocnosťou oproti starej logike?! si chorý, človeče?!!!!


Veď to je úloha logiky, že má tvrdiť to, čo z predpokladov vyplýva, a nie to, čo z nich nevyplýva !


Darapti tvrdí niečo, čo NEVYPLÝVA z uvedených predpokladov, a tvári sa, že to z nich vyplýva !


"Vďaka" tomu možno pomocou darapti dokázať bárs čo, napr. že existujú hory zo zlata.


V predošlom príspevku som to DOKÁZAL !!!!


Takže prestaň so svojimi scestnými reči a urážať Godela a Russela, lebo oni svoje theorémy DOKÁZALI, ale ty len blábolíš a blábolíš. Nielenže nič nedokazuješ, ale ani nekonkretizuješ, kde presne je podľa Teba chyba v ich dôkazoch !



Russel DOKÁZAL, že darapti je nekorektný, takže ak to odmietaš, BLÁBOLÍŠ (kopyrajt Bochenski)


Obrázok







__________________________



Významný svetový matematik B. Russel vo svojej knihe:

Obrázok

píše:

Obrázok
_________________
katachoréta
Hore
 Profil  
 
Poslať 16.08.2009 22:10:27   Re: Validus(NOM)
 

od 05.05.2006 18:28:13
napísal 4379 príspevkov
Katarína Chorétová píše:
Dôkaz to celkom triviálny.

Vystačí si s najznákladnejšími troma axiómami logiky a najznákladnejším jedným odvodzovacím pravidlom.

A potom už len jedna jediná špeciálna axióma bude použitá, totiž z nasledovne opísanej teórie.

Obrázok
--- Mansi XI,133D (možno to tiež nájsť v detských šlabikároch: D277, alebo DS527, alebo v NR kdesi ku koncu)

Ako teóriu si vezmime podčiarknutú formulu, citovaného koncilu.

naša premisa má teda tvar: "nec ingenitus(Spiritus Sanctus) nec genitus(Spiritus Sanctus)"

pre jednoduchosť "Spiritus sanctus" budem označovať "SS"

Ďalej pripomínam, že "nec X nec Y" je definované ako: ~X et ~Y

pričom "et" je definované tak, že "A et B" znamená: ~(A > ~B )

teda tá premisa je: ~(~ ingenitus(SS) > ~~ genitus(SS) )

avšak predikát "ingenitus"(nesplodený), ako vysvetľuje sv. Augustín ktorým bol inšpirovaný tento koncil, znamená "~genitus"(nie splodený).

Ďalej, predikát "genitus" budeme (kvôli prehľadnosti) označovať symbolom "G".

Teda naša teória T obsahuje len onú jednu formulu, formálne zapísanú nasledovne:

    ~(~~G(SS) > ~~G(SS) )

Ďalej, výroková logika má dovedna tri axiómy (tie isté má aj predikátová, akurát ona má ešte dve naviac). Sú to tieto tri (pre ľubovoľné formuly X, Y, Z predikátovej logiky):

    Ax1: X>(Y > X)
    Ax2: (X>(Y>Z))>((X>Y)>(X>Z))
    Ax3: (~X>~Y)>(Y>X)

Výroková logika má len jedno odvodzovacie pravidlo (to má tiež aj predikátová, akurát ona má aj ešte jedno ďalšie), a totiž pravidlo modus ponens (skratka: MP):
    |- X>Y
    |- X
    ---------------------------
    |- Y

A teraz, hor sa do dôkazu, že NOM je platný, t.j. do dôkazu formule: Validus(NOM)

(1).: T |- ~(~~ G(SS) > ~~ G(SS) )
(2) Ax1: |- ~(~~ G(SS) > ~~ G(SS) )>( ~Validus(NOM)> ~(~~ G(SS) > ~~ G(SS) ) )
(3) MP1,2: T |- ~Validus(NOM)> ~(~~ G(SS) > ~~ G(SS) )
(4)Ax3: (~Validus(NOM)> ~(~~ G(SS) > ~~ G(SS) ))>((~~ G(SS) > ~~ G(SS) )>Validus(NOM) )
(5)MP4,3: T |- (~~ G(SS) > ~~ G(SS) )>Validus(NOM)
(6).Ax2: |- (~~G(SS) > (( ~~ G(SS) > ~~ G(SS) )> ~~ G(SS)))>(( ~~G(SS)>( ~~ G(SS) > ~~ G(SS) ))>( ~~G(SS) > ~~ G(SS) ))
(7).Ax1: |- ~~G(SS) > (( ~~ G(SS) > ~~ G(SS) )> ~~G(SS))
( 8 ).MP6,7: |- ( ~~G(SS)>( ~~ G(SS) > ~~ G(SS) ))>( ~~G(SS) > ~~ G(SS) )
(9).Ax1: |- ~~G(SS)>( ~~ G(SS) > ~~ G(SS) )
(10).MP8,9: |- ~~G(SS) > ~~ G(SS)
(11).MP5,10: T |- Validus(NOM)



Q.E.D.




aká krásna je veru formálna logika!

;)



Edit: zavedenie symbolu G kvôli lepšej optickej prehľadnosti





a.) Formalnou logikou (a este k tomu devalvovanou na matematicky terministicky symbolizmus) tuna dokazujes platnost NOM? Platnost NOMu zalezi na formalnologickych formulach? Mortus, na com zalezi platnost alebo neplatnost NOMu? Co je to "platny NOM"?

b.) A este k tomu z textu, ze Duch Svaty nie je ani splodeny, ani nesplodeny? Takto sa da "dokazat", ze marmelada je platna, lebo nosorozci neziju na Sibiri. Staci nasit symboly a voila...


c.) terminizmus uzko suvisi so stratou zmyslu pre realitu, ruka v ruke s antimetafyzikou, fideizmom a agnosticizmom:



Obrázok




Ze Mortus terminista naozaj je, dokazuje citat, forum je posiate dalsimi dokazmi. Konzekventne, ss agnosticizmom nutne ma do cinenia, bez ohladu na to, ci subjektivne tvrdi opak.
Hore
 Profil  
 
Poslať 17.08.2009 8:23:23   Re: Validus(NOM)
 

od 16.11.2006 13:42:16
napísal 18761 príspevkov
Rarach z bazáru píše:
Mortus, na com zalezi platnost alebo neplatnost NOMu? Co je to "platny NOM"?

Ozaj, Rarach - a na com vlastne zalezi platnost alebo neplatnost NOMu ?
:lol:

(Kuk do detskeho katechizmu !)
_________________
"Pre teba som ateista, pre boha som lojálna opozícia." (Woody Allen)
Hore
 Profil  
 
Poslať 17.08.2009 17:30:22   
 
Obrázok užívateľa

od 07.08.2006 23:41:06
napísal 11034 príspevkov
Ani do tretice ti to nevyšlo, Rarach, nože skús ešte raz, do štvrtice všetko dobré, jak sa hovorí.


Ja vnímam formálnu logiku takto:

Obrázok
_________________
Už nemať žiadnej vlastnej prosby z lásky k slobode. Veď stačí nám žiť iba o chlebe a o vode a spávať bez podušky na bukovej lavici, len nech tí druhí majú šťastie, radosť na líci. (Janko Silan)
Hore
 Profil  
 
Poslať 17.08.2009 17:33:22   
 

od 05.05.2006 18:28:13
napísal 4379 príspevkov
Tak preco blabolis, ked vyznavas co vyznavas?
Hore
 Profil  
 
Poslať 17.08.2009 20:01:53   
 
Obrázok užívateľa

od 07.08.2006 23:41:06
napísal 11034 príspevkov
Rarach z bazáru píše:
Tak preco blabolis, ked vyznavas co vyznavas?
zasa trápny pokus, ktorý Ti nevyšiel.

od logiky sa tu oslobodzuješ len ty, ako si to dnes zas a nanovo predviedol v susednej téme.

http://areopag.christ-net.sk/viewtopic. ... 940#142940


absencia logiky - táto diagnóza vysvetľuje aj ostatné Tvoje alogické reakcie a spôsoby.


Veľmi dobre to vystihol Bochenski:

Obrázok
_________________
Už nemať žiadnej vlastnej prosby z lásky k slobode. Veď stačí nám žiť iba o chlebe a o vode a spávať bez podušky na bukovej lavici, len nech tí druhí majú šťastie, radosť na líci. (Janko Silan)
Hore
 Profil  
 
Poslať 17.08.2009 20:22:37   
 

od 11.06.2004 9:17:11
napísal 9875 príspevkov
Bydlisko: V domceku pod vodopadom
Mortuus:
ty si uz dokazal aj take uchylnosti akoze Cim viac pijem, tak tym menej pijem! Tuto viditelne absentuje akykolvek zmysel sa zapodievat tvojou "logikou".
Hore
 Profil  
 
Poslať 18.08.2009 2:24:18   
 
Obrázok užívateľa

od 07.08.2006 23:41:06
napísal 11034 príspevkov
Branislav píše:
Mortuus:
ty si uz dokazal aj take uchylnosti akoze Cim viac pijem, tak tym menej pijem! Tuto viditelne absentuje akykolvek zmysel sa zapodievat tvojou "logikou".
Braňo, Braňo... neprekrúcaj už aj ty...

to s tým alkoholom je to známy vtip, ja som to nevymyslel,

páči sa mi to ako príklad toho, ako ľahko sa ľudia zamotajú,

ale vidím predsa, kde je tam pes zakopaný, to len skôr na pobavenie,

ten príklad je dosť priehľadný,

avšak existujú i skutočne zaujímavé logické slučky,

v histórii sa toho popísali celé knihy.

Niektoré z nich sú natoľko náročné, že trvalo tisícročie než sa zistilo,

kde presne sa tam skrýva logická chyba.

Z formálnej logiky mám štátnice,

a nájsť logickú chybu v logicky chybných úvahách problém nemávam.

S logikou tu má však problémy niekto iný.

A to je smutné, lebo formálna logika je základ,

kto ju odmieta, ten blábolí.
_________________
Už nemať žiadnej vlastnej prosby z lásky k slobode. Veď stačí nám žiť iba o chlebe a o vode a spávať bez podušky na bukovej lavici, len nech tí druhí majú šťastie, radosť na líci. (Janko Silan)
Hore
 Profil  
 
Poslať 18.08.2009 5:40:55   
 

od 05.05.2006 18:28:13
napísal 4379 príspevkov
Z logiky statnice, a dokazuje platnost NOM z nesplodeneho Ducha.

Neni o com.
Hore
 Profil  
 
Poslať 18.08.2009 7:47:15   
 

od 16.11.2006 13:42:16
napísal 18761 príspevkov
Rarach z bazáru píše:
Z logiky statnice, a dokazuje platnost NOM z nesplodeneho Ducha.

Aspon sa snazi ...

Zato Teba som tu nevidel uviest este ziaden dokaz.

Aj ked to pre niektorych mozno tak vypada ... :)

A tvrdis toho zakazdym teda pozehnane !
_________________
"Pre teba som ateista, pre boha som lojálna opozícia." (Woody Allen)
Hore
 Profil  
 
Poslať 18.08.2009 12:21:31   
 
Obrázok užívateľa

od 07.08.2006 23:41:06
napísal 11034 príspevkov
Rarach z bazáru píše:
Z logiky statnice, a dokazuje platnost NOM z nesplodeneho Ducha.

Neni o com.
s takýmito demagogickými prekrúcaniami si choď vieš kam.

túto tému som nemyslel ako tému o NOM, ale o tom, aký si blábolič.

Uviedol som tu jednoduchú teóriu s DS a jej logické dôsledky,

vyvodené výlučne použitím štandardných axióm a odvodzovacieho pravidla výrokovej logiky.

Ja som si to teda nevymyslel.

Ak sa Ti to nepáči, povedz konkrétny jeden krok dôkazu, ktorý je chybný,

v opačnom prípade si blábolič.


Obrázok



A Ty si naozaj blábolič, ako si tu predviedol.

Formálnu logiku pokladáš za blbosť, Russela, Godela za hlupákov, atď.

lenže kým oni ku všetkému čo v tomto tvrdili mali logické dôkazy, u Teba logika absentuje,

žiadne dôkazy neuvádzaš a keď aj niekto uvedie, tak ich odmietaš,

hoci nevieš ukázať, ktorý konkrétny krok je podľa Teba chybný.
_________________
Už nemať žiadnej vlastnej prosby z lásky k slobode. Veď stačí nám žiť iba o chlebe a o vode a spávať bez podušky na bukovej lavici, len nech tí druhí majú šťastie, radosť na líci. (Janko Silan)
Hore
 Profil  
 
Poslať 18.08.2009 12:31:53   
 

od 05.05.2006 18:28:13
napísal 4379 príspevkov
Didymos píše:
túto tému som nemyslel ako tému o NOM, ale o tom, aký si blábolič.


Z nesplodeneho Ducha vyplyva platnost NOMu, lebo Rarach je blabolic. (Copyright Mortus)

Mortus, coraz lepsie. :lol: :lol:



Citácia:
Uviedol som tu jednoduchú teóriu s DS a jej logické dôsledky,

vyvodené výlučne použitím štandardných axióm a odvodzovacieho pravidla výrokovej logiky.

Ja som si to teda nevymyslel.


Ty nie, ty len papagajujes terministicke blaboly. S nimi je spojeny fideizmus a agnosticizmus, Mortus, spomen si na svoje priznanie a na svoje prispevky o nesulade vedy a viery. Aj o tom mame ss, pamatas?


Citácia:
Ak sa Ti to nepáči, povedz konkrétny jeden krok dôkazu, ktorý je chybný,

v opačnom prípade si blábolič.


Zase logika v kybli? Co vyplyva z toho, ak sa ti neuracim "povedat"?
Hore
 Profil  
 
Poslať 18.08.2009 13:31:17   
 

od 16.11.2006 13:42:16
napísal 18761 príspevkov
Rarach z bazáru píše:
Didymos píše:
túto tému som nemyslel ako tému o NOM, ale o tom, aký si blábolič.


Z nesplodeneho Ducha vyplyva platnost NOMu, lebo Rarach je blabolic. (Copyright Mortus)

Mortus, coraz lepsie. :lol: :lol:


Ze Ta huba neboli ... :roll:
_________________
"Pre teba som ateista, pre boha som lojálna opozícia." (Woody Allen)
Hore
 Profil  
 
Poslať 18.08.2009 15:33:17   
 
Obrázok užívateľa

od 07.08.2006 23:41:06
napísal 11034 príspevkov
Rarach z bazáru píše:
Citácia:
Uviedol som tu jednoduchú teóriu s DS a jej logické dôsledky,

vyvodené výlučne použitím štandardných axióm a odvodzovacieho pravidla výrokovej logiky.

Ja som si to teda nevymyslel.
Ty nie, ty len papagajujes terministicke blaboly.
DOKÁŽ, že formálna logika je blábol !

Ktorá z tých axióm neplatí? veď povedz a uveď dôvody prečo si to myslíš !

Bo na Tvoje púhe demagogické prekrúcania a fideisticko emočné výlevy zvedavý nie som.

Jak môže byť formálna logika blábolenie, keď blábolenie je definované presne opačne:

Obrázok


Rarach z bazáru píše:
S nimi je spojeny fideizmus a agnosticizmus, Mortus, spomen si na svoje priznanie a na svoje prispevky o nesulade vedy a viery. Aj o tom mame ss, pamatas?
áno, pamätám na tvoje priznanie sa k akatolizmu, a o nesúhlade Tvojej akatolíckej viery s vedou sú dôkazy nielen v našich ss, ale takmer v každej téme na fóre, aj v tejto, kde odmietaš formálnu logiku ;).

Obrázok
_________________
Už nemať žiadnej vlastnej prosby z lásky k slobode. Veď stačí nám žiť iba o chlebe a o vode a spávať bez podušky na bukovej lavici, len nech tí druhí majú šťastie, radosť na líci. (Janko Silan)
Hore
 Profil  
 
Poslať 18.08.2009 15:39:10   
 
Obrázok užívateľa

od 07.08.2006 23:41:06
napísal 11034 príspevkov
ach jo, zas tu len zabíjam čas s trápnym Rarachom,

ktorý sa zmôže len na úbohé demagogické prekrúcania a alogizmy.


ach jaj :roll:
_________________
Už nemať žiadnej vlastnej prosby z lásky k slobode. Veď stačí nám žiť iba o chlebe a o vode a spávať bez podušky na bukovej lavici, len nech tí druhí majú šťastie, radosť na líci. (Janko Silan)
Hore
 Profil  
 
Zobraziť príspevky z predchádzajúceho:  Zoradiť podľa  
 [ Príspevkov: 68 ]  Choď na stránku Predchádzajúci  1, 2, 3, 4, 5  Ďalší

Obsah fóra » Literárna tvorba » Kútik literárnych prvotín

Kto je on-line

Užívatelia prezerajúci fórum: Žiadny registrovaný užívateľ nie je prítomný a 1 hosť


Nemôžete zakladať nové témy v tomto fóre
Nemôžete odpovedať na témy v tomto fóre
Nemôžete upravovať svoje príspevky v tomto fóre
Nemôžete mazať svoje príspevky v tomto fóre
Nemôžete zasielať súbory v tomto fóre

Skočiť na:  
cron
Powered by phpBB® Forum Software © phpBB Group
Slovenský preklad:phpbb.sk.

Zobraziť štatistiku návštevnosti: