Srodne teme

27.02.2003. Logika po kojoj radi univerzum
31.03.2006. Filozofsko pitanje
03.08.2008. Epikurova pitanja
03.12.2007. Maturski rad Filozofija? Gde naci na netu?
25.05.2004. Da li je filozofija nauka?
09.11.2004. Sta je to logika BP i aplikacije ?
25.07.2007. Sta su to depozitni krediti?
05.09.2005. O zar se i to moze?

Navigacija

Brisanje liste

Lista poslednjih: 16, 32, 64, 128 poruka.

Logika, filozofija

[es] :: Matematika :: Logika, filozofija Strane: 1 2 3 4	[ Pregleda: 5024 \| Odgovora: 62 ]	Postavi temu Odgovori

Autor

qzqzqz

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

Profil

Logika, filozofija

^{14.03.2006. u 19:59}

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?

^{14.03.2006. u 19:59}

Bojan Basic
Novi Sad

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

Jabber: bojan_basic@elitesecurity.org
ICQ: 305820253

Profil

Re: Logika, filozofija

^{14.03.2006. u 20:31}

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.

^{14.03.2006. u 20:31}

qzqzqz

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

Profil

Re: Logika, filozofija

^{14.03.2006. u 21:10}

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

^{14.03.2006. u 21:10}

Bojan Basic
Novi Sad

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

Jabber: bojan_basic@elitesecurity.org
ICQ: 305820253

Profil

Re: Logika, filozofija

^{14.03.2006. u 21:30}

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.

^{14.03.2006. u 21:30}

cozi

Član broj: 6066
Poruke: 128
194.106.175.*

ICQ: 137446974

Profil

Re: Logika, filozofija

^{18.03.2006. u 21:19}

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]}

http://brankaselakovic.com/

^{18.03.2006. u 21:19}

uranium
Beograd

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

Jabber: uranium@elitesecurity.org
ICQ: 324386953

Profil

Re: Logika, filozofija

^{18.03.2006. u 21:32}

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

^{18.03.2006. u 21:32}

qzqzqz

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

Profil

Re: Logika, filozofija

^{21.03.2006. u 14:20}

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

i

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

^{21.03.2006. u 14:20}

Bojan Basic
Novi Sad

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

Jabber: bojan_basic@elitesecurity.org
ICQ: 305820253

Profil

Re: Logika, filozofija

^{21.03.2006. u 20:41}

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

i

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.

^{21.03.2006. u 20:41}

cozi

Član broj: 6066
Poruke: 128
194.106.175.*

ICQ: 137446974

Profil

Re: Logika, filozofija

^{21.03.2006. u 23:41}

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]}

http://brankaselakovic.com/

^{21.03.2006. u 23:41}

uranium
Beograd

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

Jabber: uranium@elitesecurity.org
ICQ: 324386953

Profil

Re: Logika, filozofija

^{22.03.2006. u 00:07}

@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.}

^{22.03.2006. u 00:07}

qzqzqz

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

Profil

Re: Logika, filozofija

^{23.03.2006. u 13:16}

Citat:

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

jel moze malo detaljnije?

^{23.03.2006. u 13:16}

Bojan Basic
Novi Sad

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

Jabber: bojan_basic@elitesecurity.org
ICQ: 305820253

Profil

Re: Logika, filozofija

^{23.03.2006. u 19:24}

Citat:

qzqzqz:
pr2. Naprimer ako

i

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.

^{23.03.2006. u 19:24}

qzqzqz

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

Profil

Re: Logika, filozofija

^{23.03.2006. u 19:56}

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)?

^{23.03.2006. u 19:56}

Bojan Basic
Novi Sad

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

Jabber: bojan_basic@elitesecurity.org
ICQ: 305820253

Profil

Re: Logika, filozofija

^{23.03.2006. u 20:33}

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

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.

^{23.03.2006. u 20:33}

qzqzqz

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

Profil

Re: Logika, filozofija

^{24.03.2006. u 13:58}

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]}

^{24.03.2006. u 13:58}

Bojan Basic
Novi Sad

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

Jabber: bojan_basic@elitesecurity.org
ICQ: 305820253

Profil

Re: Logika, filozofija

^{24.03.2006. u 14:16}

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.

^{24.03.2006. u 14:16}

qzqzqz

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

Profil

Re: Logika, filozofija

^{24.03.2006. u 14:40}

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]}

^{24.03.2006. u 14:40}

Lobacev
Lobacev Ski
Earth

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

Profil

Re: Logika, filozofija

^{24.03.2006. u 14:52}

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

^{24.03.2006. u 14:52}

Bojan Basic
Novi Sad

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

Jabber: bojan_basic@elitesecurity.org
ICQ: 305820253

Profil

Re: Logika, filozofija

^{24.03.2006. u 15:32}

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.

^{24.03.2006. u 15:32}

galet@world
Dane Gacesa

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

Profil

Re: Logika, filozofija

^{28.03.2006. u 18:38}

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.

Dane Gaćeša

^{28.03.2006. u 18:38}

[es] :: Matematika :: Logika, filozofija

Strane: 1 2 3 4

[ Pregleda: 5024 | Odgovora: 62 ]

Srodne teme

27.02.2003. Logika po kojoj radi univerzum
31.03.2006. Filozofsko pitanje
03.08.2008. Epikurova pitanja
03.12.2007. Maturski rad Filozofija? Gde naci na netu?
25.05.2004. Da li je filozofija nauka?
09.11.2004. Sta je to logika BP i aplikacije ?
25.07.2007. Sta su to depozitni krediti?
05.09.2005. O zar se i to moze?

Navigacija

Lista poslednjih: 16, 32, 64, 128 poruka.