|
Odoslaný - 15 júl 2011 : 13:53:21
|
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
|
|
|
|
Odoslaný - 16 júl 2011 : 18:42:11
|
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
|
|
|
|
Odoslaný - 17 júl 2011 : 08:05:25
|
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
|
|
|
|
Odoslaný - 17 júl 2011 : 17:49:42
|
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
|
|
|
|
Odoslaný - 17 júl 2011 : 20:22:05
|
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
|
|
|
|
Odoslaný - 17 júl 2011 : 21:12:18
|
Aha, požadovaný dôkaz pre uzavretie témy. Takže môžem? |
|
|
|
Odoslaný - 17 júl 2011 : 21:22:56
|
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
|
|
|
|
Odoslaný - 27 január 2013 : 22:40:11
|
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
|
|
|
|
|
|
|