Fórum pre katolíkov
Vitajte na fóre.
Meno:
Heslo:
Ostať prihlásený


Registrovať sa
Zabudli ste heslo?
  Portál   Fórum   Zodpovední ľudia   FAQ     Registrovať sa
Aktívne témy | Aktívne ankety | Ďaľšie informácie | Reg. členovia | Prihlásení užívatelia | Zoznam avatarov | Hľadať
Zvoľte si vzhľad: 
 Všetky fóra
 Mimo pôvodnú myšlienku fóra
 Polemiky, filozofovanie
 Veda a teologia
   V tomto fóre môžu všetci užívatelia otvárať NOVÉ témy
   V tomto fóre môžu všetci užívatelia odpovedať na témy
Predchádzajúca strana
 Verzia pre tlač
Autor Previous Topic: Bezak prestal mlcat Téma Next Topic: Vplyv metalu a inej hudby na človeka
Strana: z 4

rudy

Stav: offline

 Odoslaný - 15 júl 2011 :  13:53:21  Zobraziť profil  Pridať rudy do zoznamu priateľov
citácia:
rudy. žiadny testament som nenašiel v ktorom by nejaký apoštol odovzdával moc biskupovi.

Pôvodne zaslal slovak - 15 júl 2011 :  13:14:27


Už v Biblii je reč o biskupoch. Pozri si Skutky apoštolov 20,28.
Ešte stále si myslíš, že ide o účelove vymyslený text v prospech tých, ktorí to vymysleli a prisvojili si z toho vyplývajúcu moc???

 Krajina: Slovakia  ~  Počet príspevkov: 286  ~  Člen od: 15 február 2010  ~  Posledná návšteva: 17 apríl 2012 Upozorniť moderátora  Na začiatok stránky

slovak

Stav: offline

 Odoslaný - 16 júl 2011 :  18:42:11  Zobraziť profil  Pridať slovak do zoznamu priateľov
Uznávam, Pavol bol vynikajúci, zanietený organizátor a súčasná katolícka cirkev sa v podstate opiera o jeho učenie a vytvorené organizačné štruktúry. Bolo to v tom čase potrebné a osvedčuje sa to aj v súčasnosti.

 Krajina: Slovakia  ~  Počet príspevkov: 288  ~  Člen od: 10 august 2010  ~  Posledná návšteva: 15 máj 2014 Upozorniť moderátora  Na začiatok stránky

Rafael

Stav: offline

 Odoslaný - 17 júl 2011 :  08:05:25  Zobraziť profil  Pridať Rafael do zoznamu priateľov
citácia:



Ak dovolite, mam aj ja otazku.






Je to z vyznania viery zo 7. storocia (in : povodny Denzinger)
v preklade sa tam hovori nieco ako:









otazka znie: ako sa teraz da dokazat platnost omse (NOM) ?






Pôvodne zaslal Rarach - 29 jún 2011 :  07:31:29







"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.


--- 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!


"







 Krajina: Slovakia  ~  Počet príspevkov: 3722  ~  Člen od: 18 január 2008  ~  Posledná návšteva: 10 jún 2024 Upozorniť moderátora  Na začiatok stránky

slovak

Stav: offline

 Odoslaný - 17 júl 2011 :  17:49:42  Zobraziť profil  Pridať slovak do zoznamu priateľov
Prepáč, ak vstupné premisy nie sú pravdivé a v tomto prípade sa dá o ich pravdivosti pochybovať, sú veľmi slabé, aj záver bude nepravdivý, aj o tom je formálna logika. Ale v polohe náboženskej viery môžeš predložiť veriacemu aj takéto "logické" postupy k uvereniu, tobôž ak neovláda formálnu logiku. A tomu sa hovorí psychologická manipulácia, alebo mágia.

 Krajina: Slovakia  ~  Počet príspevkov: 288  ~  Člen od: 10 august 2010  ~  Posledná návšteva: 15 máj 2014 Upozorniť moderátora  Na začiatok stránky

Rafael

Stav: offline

 Odoslaný - 17 júl 2011 :  20:22:05  Zobraziť profil  Pridať Rafael do zoznamu priateľov
citácia:
Prepáč, ak vstupné premisy nie sú pravdivé a v tomto prípade sa dá o ich pravdivosti pochybovať, sú veľmi slabé, aj záver bude nepravdivý, aj o tom je formálna logika.

Pôvodne zaslal slovak - 17 júl 2011 :  17:49:42


prepacim,
vari som niekedy niekde tvrdil opak?


citácia:
Ale v polohe náboženskej viery môžeš predložiť veriacemu aj takéto "logické" postupy k uvereniu, tobôž ak neovláda formálnu logiku. A tomu sa hovorí psychologická manipulácia, alebo mágia.

Nielen ja tomu hovorim na rovinu: šiši.

Take predkladat nemozno nikomu, ani veriacemu ani neveriacemu, bez ujmy na kredite a zhadzovani seba sameho jakozto autora.
Problem je, ak take predklada udajne veriaci.
Potom je otazka, o akeho veriaceho v aku vieru sa vlastne jedna?
O katolika a o katolicku vieru?

 Krajina: Slovakia  ~  Počet príspevkov: 3722  ~  Člen od: 18 január 2008  ~  Posledná návšteva: 10 jún 2024 Upozorniť moderátora  Na začiatok stránky

sasulnik

Stav: offline

 Odoslaný - 17 júl 2011 :  21:12:18  Zobraziť profil  Pridať sasulnik do zoznamu priateľov
Aha, požadovaný dôkaz pre uzavretie témy. Takže môžem?

 Počet príspevkov: 1677  ~  Člen od: 09 december 2004  ~  Posledná návšteva: 06 marec 2015 Upozorniť moderátora  Na začiatok stránky

Rafael

Stav: offline

 Odoslaný - 17 júl 2011 :  21:22:56  Zobraziť profil  Pridať Rafael do zoznamu priateľov
Ja sa prihovaram za to, aby to tu este dostalo priestor pre prislusnu koncovku.
Ta pride, budte si isty, no a uzavretim temy uz teraz, by sme o nu boli ochudobneni.
Niet nad presvedcivost originalnych vyrokov originalnych autorov, treba im dat priestor k realizacii, aby nemali potom falosne alibi a nemohli zahovarat ci prekrucat...

 Krajina: Slovakia  ~  Počet príspevkov: 3722  ~  Člen od: 18 január 2008  ~  Posledná návšteva: 10 jún 2024 Upozorniť moderátora  Na začiatok stránky

mino

Stav: offline

 Odoslaný - 27 január 2013 :  22:40:11  Zobraziť profil  Pridať mino do zoznamu priateľov
ochudobnení sme ostali, lebo nič neprišlo...

 Krajina: Slovakia  ~  Počet príspevkov: 4422  ~  Člen od: 27 november 2011  ~  Posledná návšteva: 22 február 2015 Upozorniť moderátora  Na začiatok stránky
Strana: z 4 Previous Topic: Bezak prestal mlcat Téma Next Topic: Vplyv metalu a inej hudby na človeka  
 Verzia pre tlač
Predchádzajúca strana
Choď na:
 Image Forums 2001 Powered By: Snitz Forums 2000 Version 3.4.06