Logo
Unionpedia
Komunikacja
pobierz z Google Play
Nowy! Pobierz Unionpedia na urządzeniu z systemem Android™!
Pobieranie
Szybszy dostęp niż przeglądarce!
 

Logicyzm

Indeks Logicyzm

Logicyzm – kierunek w filozofii matematyki, zakładający, że można oprzeć jej podstawy na bazie rachunku logicznego zdań (porównaj logika).

17 kontakty: Alfred North Whitehead, Antynomia klas samozwrotnych, Bertrand Russell, David Hilbert, Filozofia matematyki, Finityzm, Formalizm (matematyka), Giuseppe Peano, Intuicjonizm (matematyka), Liczby naturalne, Logika, Matematyka, Metamatematyka, Paradygmat, Rachunek zdań, Routledge Encyclopedia of Philosophy, Teoria mnogości.

Alfred North Whitehead

Alfred North Whitehead (ur. 15 lutego 1861 w Ramsgate, zm. 30 grudnia 1947 w Cambridge w stanie Massachusetts) – angielski uczony: filozof, matematyk i fizyk teoretyczny.

Nowy!!: Logicyzm i Alfred North Whitehead · Zobacz więcej »

Antynomia klas samozwrotnych

Antynomia klas samozwrotnych Niech A oznacza zbiór takich wypowiedzi, które nie mogąorzekać o samych sobie.

Nowy!!: Logicyzm i Antynomia klas samozwrotnych · Zobacz więcej »

Bertrand Russell

Bertrand Russell w roku 1893 Bertrand Russell w roku 1907 Bertrand Arthur William Russell, 3.

Nowy!!: Logicyzm i Bertrand Russell · Zobacz więcej »

David Hilbert

problemów Hilberta w tle. David Hilbert (ur. 23 stycznia 1862 w Królewcu (Prusy Wschodnie), zm. 14 lutego 1943 w Getyndze) – niemiecki matematyk.

Nowy!!: Logicyzm i David Hilbert · Zobacz więcej »

Filozofia matematyki

Filozofia matematyki – dział filozofii.

Nowy!!: Logicyzm i Filozofia matematyki · Zobacz więcej »

Finityzm

Finityzm – nurt filozofii matematyki, będący skrajnąodmianąkonstruktywizmu.

Nowy!!: Logicyzm i Finityzm · Zobacz więcej »

Formalizm (matematyka)

Formalizm to kierunek w filozofii matematyki, będący formąrozwojowąlogicyzmu, który postuluje, że matematyka jest systemem formalnym, który zawiera aksjomaty (współcześnie rolę tę pełniąaksjomaty teorii mnogości), pewien zespół definicji oraz wyprowadza swoje wnioski w oparciu o te pojęcia korzystając z rachunku logicznego zdań.

Nowy!!: Logicyzm i Formalizm (matematyka) · Zobacz więcej »

Giuseppe Peano

''Aritmetica generale e algebra elementare'', 1902 Giuseppe Peano (ur. 27 sierpnia 1858 w Spinetta, zm. 20 kwietnia 1932 w Turynie) – włoski matematyk i logik.

Nowy!!: Logicyzm i Giuseppe Peano · Zobacz więcej »

Intuicjonizm (matematyka)

Intuicjonizm – pogląd filozoficzny w zakresie istnienia obiektów matematycznych.

Nowy!!: Logicyzm i Intuicjonizm (matematyka) · Zobacz więcej »

Liczby naturalne

osi liczbowej duża litera N – standardowy symbol liczb naturalnych. Liczby naturalne – termin dwuznaczny.

Nowy!!: Logicyzm i Liczby naturalne · Zobacz więcej »

Logika

Logika (gr. λόγος, logos – rozum, słowo, myśl) – nauka formalna o jasnym i ścisłym formułowaniu myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń.

Nowy!!: Logicyzm i Logika · Zobacz więcej »

Matematyka

Rafaela Santiego (XVI wiek); cyrkiel trzyma Euklides, grecki matematyk z III wieku p.n.e. Uniwersytetu Oksfordzkiego; na ziemi znajduje się parkietaż Penrose’a opisany po raz pierwszy przez jednego z pracowników tej placówki. Matematyka (z łac. mathematicus, od gr. μαθηματικός mathēmatikós, od μαθηματ-, μαθημα mathēmat-, mathēma, „nauka, lekcja, poznanie”, od μανθάνειν manthánein, „uczyć się, dowiedzieć”; prawd. spokr. z goc. mundon, „baczyć, uważać”) – nauka zaliczana do grupy formalnych, inaczej dedukcyjnych lub apriorycznych, a także do nauk ścisłych i definiująca tę grupę – matematyka stanowi ich fundament.

Nowy!!: Logicyzm i Matematyka · Zobacz więcej »

Metamatematyka

Metamatematyka (lub meta-matematyka) – bardzo rygorystyczne badanie podstaw matematyki i pewnych aspektów logiki matematycznej z użyciem zaawansowanych środków samej matematyki.

Nowy!!: Logicyzm i Metamatematyka · Zobacz więcej »

Paradygmat

Paradygmat (gr. parádeigma „przykład, wzór”) – zbiór pojęć i teorii tworzących podstawy danej nauki; znaczenie to wprowadził filozof Thomas Kuhn w książce Struktura rewolucji naukowych (ang. The Structure of Scientific Revolutions) z 1962 roku.

Nowy!!: Logicyzm i Paradygmat · Zobacz więcej »

Rachunek zdań

Rachunek zdań – dział logiki matematycznej badający związki między zmiennymi zdaniowymi (zdaniami) lub funkcjami zdaniowymi, utworzonymi za pomocąfunktorów zdaniotwórczych (spójników zdaniowych) ze zdań lub prostszych funkcji zdaniowych.

Nowy!!: Logicyzm i Rachunek zdań · Zobacz więcej »

Routledge Encyclopedia of Philosophy

Routledge Encyclopedia of Philosophy – encyklopedia filozofii pod redakcjąEdwarda Craiga.

Nowy!!: Logicyzm i Routledge Encyclopedia of Philosophy · Zobacz więcej »

Teoria mnogości

zbiorów. Teoria mnogości, teoria zbiorów – dział matematyki zaliczany do jej działów podstawowych (fundamentalnych); bada on zbiory, zwłaszcza te nieskończone, a także ich uogólnienia jak klasy.

Nowy!!: Logicyzm i Teoria mnogości · Zobacz więcej »

TowarzyskiPrzybywający
Hej! Jesteśmy na Facebooku teraz! »