[es] - Logika, filozofija

qzqzqz

Član broj: 66936
Poruke: 219
*.ptt.yu.

Profil

^{14.03.2006. u 19:59 - pre 220 meseci}

zanima me zasto iz tacnog tvrdjenja sledi uvek tacno tvrdjene? Jeste logicno ali da li postoji neki formalan matematicki dokaz toga? I uopste sta je tacno tvrdjenje?

Odgovor na temu

Bojan Basic
Novi Sad

SuperModerator
Član broj: 6578
Poruke: 3996
*.ADSL.neobee.net.

Jabber: bojan_basic@elitesecurity.org
ICQ: 305820253

+605 Profil

Re: Logika, filozofija

^{14.03.2006. u 20:31 - pre 220 meseci}

Logika je oblast matematike. Kao što geometrija ima svoje aksiome tako i logika ima svoje aksiome, i svako logičko tvrđenje je ili aksiom ili se može izvesti iz konačno mnogo aksioma i pravila zaključivanja.

Ljubičice crvena, što si plava kô zelena trava.

Odgovor na temu

qzqzqz

Član broj: 66936
Poruke: 219
*.ptt.yu.

Profil

Re: Logika, filozofija

^{14.03.2006. u 21:10 - pre 220 meseci}

e ta pravila zakljucivanje. kako znamo da mozemo tako da zakljucejemo zasto iz q sledi p

Odgovor na temu

Bojan Basic
Novi Sad

SuperModerator
Član broj: 6578
Poruke: 3996
*.ADSL.neobee.net.

Jabber: bojan_basic@elitesecurity.org
ICQ: 305820253

+605 Profil

Re: Logika, filozofija

^{14.03.2006. u 21:30 - pre 220 meseci}

Evo malo detaljnije.

Aksiome:
A1:

A2:

A3:

Pravilo izvođenja (modus ponens):

(donja formula je direktna posledica skupa gornjih formula)

Za ove četiri stvari se ne pita zašto su tačne nego se jednostavno tako kaže. Sve ostalo se dokazuje preko njih. Može se napraviti i neka drugačija teorija ukoliko izmenimo nešto od gorenavedenog, a sadašnja iskazna logika je ovakva.

Ljubičice crvena, što si plava kô zelena trava.

Odgovor na temu

cozi

Član broj: 6066
Poruke: 221
194.106.175.*

+111 Profil

Re: Logika, filozofija

^{18.03.2006. u 21:19 - pre 220 meseci}

Logika je oblast matematike, reci ovo na filozofskom fakultetu ako smes ;)
Jednostavno se podrazumeva da um(razum) funkcionise na taj nacin.

_{[Ovu poruku je menjao cozi dana 18.03.2006. u 22:20 GMT+1]}

Odgovor na temu

uranium
Beograd

Član broj: 60097
Poruke: 543
*.eunet.yu.

Jabber: uranium@elitesecurity.org
ICQ: 324386953

+5 Profil

Re: Logika, filozofija

^{18.03.2006. u 21:32 - pre 220 meseci}

Mislim da bi se svaki pošten filozof složio da je Matematička logika najznačajniji deo savremene Logike.

Što se tiče početnog pitanja koje je postavio qzqzqz verujem da bi bilo zanimljivo pomenuti intuicionističku logiku, u kojoj recimo ne važi zakon isključenja trećeg - ali to je zato što se kod njih pojam istinitosti zamenjuje pojmom dokazivosti.

_{[Ovu poruku je menjao uranium dana 18.03.2006. u 22:34 GMT+1]}

_{Attempt all the problems. Those you can do, don't do. Do the ones you cannot.}

Odgovor na temu

qzqzqz

Član broj: 66936
Poruke: 219
*.ptt.yu.

Profil

Re: Logika, filozofija

^{21.03.2006. u 14:20 - pre 220 meseci}

e sad otkud znam da iz

sledi

. ne znam da li me razumete npr. Kako znamo da nema neki degenrisani pravougli trougao u kome ne vazi pitagorina teorem..

pr2. Naprimer ako

znaci

.E sad ako je

to ne vazi. Zapravo vazi

. Zar ne? E odgovor je ne npr b=0.

I jos nesto, sinoc sam se raspravljao nesto sa drugom. Da li postoji broj? Sta je broj i kako se definise?...

Odgovor na temu

Bojan Basic
Novi Sad

SuperModerator
Član broj: 6578
Poruke: 3996
*.ADSL.neobee.net.

Jabber: bojan_basic@elitesecurity.org
ICQ: 305820253

+605 Profil

Re: Logika, filozofija

^{21.03.2006. u 20:41 - pre 220 meseci}

Citat:

cozi:
Logika je oblast matematike, reci ovo na filozofskom fakultetu ako smes ;)

Koliko god oni ne priznavali matematičku logiku, ja još više ne priznajem celu filozofiju (zajedno sa još mnogo toga) kao nauku. Zašto? Ne mogu da shvatim da se naukom može nazivati nešto što svaki tip koji se time bavi ima svoja shvatanja. U matematici (primera radi, naravno nije to jedina oblast) kad je nešto dokazano to svi matematičari prihvataju kao takvo i kraj priče. Po mom mišljenju (iako znam da je zapravo drugačije, niko mi ne brani da stvari shvatam kako ja hoću) jedino tako nešto može da se nazove naukom.

Citat:

qzqzqz:
e sad otkud znam da iz

sledi

. ne znam da li me razumete npr. Kako znamo da nema neki degenrisani pravougli trougao u kome ne vazi pitagorina teorem..

pr2. Naprimer ako

znaci

.E sad ako je

to ne vazi. Zapravo vazi

. Zar ne? E odgovor je ne npr b=0.

To regulišeš aksiomima/teoremama iz odgovarajuće oblasti, recimo u tvom primeru iz teorije brojeva.

Ljubičice crvena, što si plava kô zelena trava.

Odgovor na temu

cozi

Član broj: 6066
Poruke: 221
194.106.175.*

+111 Profil

Re: Logika, filozofija

^{21.03.2006. u 23:41 - pre 220 meseci}

ko ne priznaje matematicku logiku?
na filozofskom fakultetu se radi matematicka logika u okviru kursa logike.
tesko da je filozofija nauka, siroka je to tema sta je danasnji pojam nauke i filozofije i njihov odnos.

@qzqzqz
posmatraj a sledi b kao iskaz i nista vise bice ti jasnije dakle a i b iz iskaza su u nekom odnosu koji je definisan u iskazu.
pojam pravouglog trougla ne dozvoljava da ne vazi pitagorina teorema tako ako govoris o pravouglom trouglu govoris u strogo odredjenom smislu. poenta je kao sto je bojan napisao
To regulišeš aksiomima/teoremama iz odgovarajuće oblasti

mali oftopik
zanimljivo je to da li postoji broj trougao, krug...recimo ne moze se zamisliti trougao uopste vec samo odredjeni pravougli ili nejednakostranicni ili jednakokraki... a opet ti trouglovi se ne mogu naci u prirodi(praksi)...

_{[Ovu poruku je menjao cozi dana 22.03.2006. u 00:45 GMT+1]}

Odgovor na temu

uranium
Beograd

Član broj: 60097
Poruke: 543
*.eunet.yu.

Jabber: uranium@elitesecurity.org
ICQ: 324386953

+5 Profil

Re: Logika, filozofija

^{22.03.2006. u 00:07 - pre 220 meseci}

@cozi:

Da li bi mogao malo da pojasniš kako to ne može da se zamisli "trougao uopšte" (valjda misliš na generički pojam trougla) "već samo određeni"? Evo možeš to da mi objasniš na primeru da se ne može zamisliti filozofija uopšte nego samo neka konkretna

To što se u prirodi (ma šta to bilo) ne može naći objekat koji odgovara nekom pojmu uopšte ne diskvalifikuje taj pojam. Opet: da li u prirodi postoje objekti koji odgovaraju pojmovima: filozofija, ljubav, mudrost...

Matematički pojmovi su rezultat apstrakcije i rekao bih da najčešće govore o odnosima između objekata...

_{Attempt all the problems. Those you can do, don't do. Do the ones you cannot.}

Odgovor na temu

qzqzqz

Član broj: 66936
Poruke: 219
*.ptt.yu.

Profil

Re: Logika, filozofija

^{23.03.2006. u 13:16 - pre 219 meseci}

Citat:

Bojan Basic: To regulišeš aksiomima/teoremama iz odgovarajuće oblasti, recimo u tvom primeru iz teorije brojeva.

jel moze malo detaljnije?

Odgovor na temu

Bojan Basic
Novi Sad

SuperModerator
Član broj: 6578
Poruke: 3996
*.dialup.neobee.net.

Jabber: bojan_basic@elitesecurity.org
ICQ: 305820253

+605 Profil

Re: Logika, filozofija

^{23.03.2006. u 19:24 - pre 219 meseci}

Citat:

qzqzqz:
pr2. Naprimer ako

znaci

Uzećemo neki drugi primer, pošto ovaj nije tačan (kao što si i sam pokazao) :) Recimo, ako je

, onda je

. To se može dokazati polazeći od aksioma teorije brojeva, i tako imaš implikaciju

koju dalje kombinuješ sa logičkim zakonima.

Ljubičice crvena, što si plava kô zelena trava.

Odgovor na temu

qzqzqz

Član broj: 66936
Poruke: 219
*.ptt.yu.

Profil

Re: Logika, filozofija

^{23.03.2006. u 19:56 - pre 219 meseci}

Kako se zna da se iz aksioma teorije brojeva ne moze izvesti i da je

(tvoj primer). Ili uopsteno kako se zna da je sistem aksioma konzistentan(ako se uopste zna)?

Odgovor na temu

Bojan Basic
Novi Sad

SuperModerator
Član broj: 6578
Poruke: 3996
*.dialup.neobee.net.

Jabber: bojan_basic@elitesecurity.org
ICQ: 305820253

+605 Profil

Re: Logika, filozofija

^{23.03.2006. u 20:33 - pre 219 meseci}

Mislim da se sad već bolje razumemo. Za neki sistem aksioma (geometrija npr.) se pomoću drugih grana matematike može dokazati da je konzistentan, ali u opštem slučaju to nije moguće. Objašnjenje toga nam pruža Druga Gödelova teorema nekompletnosti. Jednostavno, formulišemo neki sistem aksioma i nadamo se da niko neće iz tog sistema dokazati tvrđenja i

, a dok se to eventualno ne dogodi (za postojeće sisteme verovatnoća tako nečeg je, naravno, beskonačno mala) prihvatamo da ako pokažemo recimo da je

onda ne važi

Ljubičice crvena, što si plava kô zelena trava.

Odgovor na temu

qzqzqz

Član broj: 66936
Poruke: 219
*.ptt.yu.

Profil

Re: Logika, filozofija

^{24.03.2006. u 13:58 - pre 219 meseci}

znaci da bi dokazali da je neka teorija konzistenta moramo da uzmemo neke druge teorija. Kako cemo onda napraviti prvu konzistentu teoriju? I jel to znaci da mozda iz aksioma logike mozemo da izvedemo i negacije Gedelovih teorema?

Sad sam se uplasio....

_{[Ovu poruku je menjao qzqzqz dana 24.03.2006. u 14:59 GMT+1]}

Odgovor na temu

Bojan Basic
Novi Sad

SuperModerator
Član broj: 6578
Poruke: 3996
*.ftn.ns.ac.yu.

Jabber: bojan_basic@elitesecurity.org
ICQ: 305820253

+605 Profil

Re: Logika, filozofija

^{24.03.2006. u 14:16 - pre 219 meseci}

Citat:

qzqzqz:
Kako cemo onda napraviti prvu konzistentu teoriju?

Baš to pokušavam da ti kažem. Odgovor je nikako :)

Citat:

qzqzqz:
I jel to znaci da mozda iz aksioma logike mozemo da izvedemo i negacije Gedelovih teorema?

Možda, ne samo Gödelovih nego svih teorema, ali šanse za to su ravne nuli. Jednostavno živimo sa verom da su aksiome logike konzistentne zbog toga što niko do sada nije uspeo da dokaže suprotno.

Ljubičice crvena, što si plava kô zelena trava.

Odgovor na temu

qzqzqz

Član broj: 66936
Poruke: 219
*.ptt.yu.

Profil

Re: Logika, filozofija

^{24.03.2006. u 14:40 - pre 219 meseci}

Sta ce da bude ako se dodje do neke negacije teoreme? Cela matematika se obara(samim tim i sve sto postoji)? Misilm da je nemoguce da se matematika toliko razvijala, a da se nije doslo do kontradikcije. Verovatno tu postoji nesto cega covek nije svestan(misim kako matematika cuva samu sebe).

_{[Ovu poruku je menjao qzqzqz dana 24.03.2006. u 15:45 GMT+1]}

Odgovor na temu

Lobacev
Lobacev Ski
Earth

Član broj: 76551
Poruke: 84
*.erstebank.co.yu.

Profil

Re: Logika, filozofija

^{24.03.2006. u 14:52 - pre 219 meseci}

Srećom da Matematika ne mora da se čuva od svih nas.

Odgovor na temu

Bojan Basic
Novi Sad

SuperModerator
Član broj: 6578
Poruke: 3996
*.ftn.ns.ac.yu.

Jabber: bojan_basic@elitesecurity.org
ICQ: 305820253

+605 Profil

Re: Logika, filozofija

^{24.03.2006. u 15:32 - pre 219 meseci}

Citat:

qzqzqz:
Sta ce da bude ako se dodje do neke negacije teoreme? Cela matematika se obara(samim tim i sve sto postoji)?

Da :)

Citat:

qzqzqz:
Misilm da je nemoguce da se matematika toliko razvijala, a da se nije doslo do kontradikcije.

Upravo u tome je stvar, neko bi do sada došao do kontradikcije a kad već nije onda je najverovatnije nema.

Ljubičice crvena, što si plava kô zelena trava.

Odgovor na temu

galet@world

Član broj: 81985
Poruke: 1076
*.ppp-bg.sezampro.yu.

+3 Profil

Re: Logika, filozofija

^{28.03.2006. u 18:38 - pre 219 meseci}

Možda ovo šta ću da pitam ne spada na ovaj forum, ali zbog logike ipak ću se usuditi da postavim jedno jednostavno pitanje:
Ako je α = β koliko je cos(α - β)?
Molim vas da ovo ne shvatite kao šalu jer to zaista nije i dugo me muči.

Odgovor na temu