Logicyzm
Z Wikipedii
Logicyzm to kierunek w filozofii matematyki, zakładający, że można oprzeć jej podstawy na bazie rachunku logicznego zdań (porównaj logika). W szczególności sprowadza to matematykę jako naukę do szczególnego rodzaju formalnej teorii logicznej implementującej pewien zestaw aksjomatów i wyprowadzającej z nich wnioski w oparciu o pewien zespół definicji (porównaj: formalizm (matematyka)).
Logicyzm odegrał znaczącą rolę w tworzeniu podstaw matematyki współczesnej. Swój sukces zawdzięcza stworzeniu przez Giuseppe Peano spójnej aksjomatyki liczb naturalnych oraz stworzeniu przez Russella i Alfreda Whiteheada spójnej teorii rachunku logicznego zdań opartego na teorii typów eliminującej antynomię klas samozwrotnych oraz inne problemy nękające podstawy matematyki na początku XX wieku. Dalszy rozwój matematyki potoczył się jednak w kierunku budowania podstaw matematyki w oparciu o teorię mnogości i jej zespolenie z logiką.
Różnica pomiędzy logicyzmem a formalizmem polega na tym, że logicyzm nie wypowiada się na temat znaczenia pojęć pozalogicznych używanych do konstrukcji matematyki. Zarówno Hilbert jak i twórca koncepcji Russell mieli na te kwestie zdanie znacząco odbiegające od współczesnych poglądów formalistów. Akcentowali oni znaczenie pojęć matematycznych a nie jedynie ich wzajemne relacje. Formalizm stoi na zupełnie innej pozycji dzieląc jawnie aksjomaty na logiczne i pozalogiczne i dodatkowo uważając, że są one wszystkie całkiem dowolne.
Współcześnie logicyzm został wchłonięty w warstwie technicznej przez formalizm który stanowi wraz z aksjomatyką teorii mnogości paradygmat rozwojowy podstaw matematyki, przynajmniej w zakresie przedstawiania wiedzy i edukacji. Należy powątpiewać czy matematycy tworząc nowe teorie stosują rzeczywiście metodę aksjomatyczną. Zwykłym obyczajem w matematyce jest jednak aksjomatyczne formułowanie wyników już dokonanej pracy.
[edytuj] Czołowi przedstawiciele
[edytuj] Zobacz też
- formalizm (matematyka)
- intuicjonizm (matematyka)
- finityzm (matematyka)
- konstrukcjonizm (matematyka)
- metamatematyka
- logika
 |
Niektóre informacje występujące w tym haśle uznano za kontrowersyjne. Uzasadnienie tej decyzji znajduje się na stronie Wikipedia:Artykuły kontrowersyjne lub na stronie dyskusji. Jeśli możesz, przeredaguj go zgodnie z zasadami neutralnego punktu widzenia. |
| Pojawiły się polskie "wielkomyszy" |
|
Ile może ważyć mysz? Nawet 2,5 kg - mówią we wrocławskim zoo. W rodzinie myszowatych są i zwierzęta duże, przynajmniej w porównaniu z naszymi myszami i szczurami. Jednymi z najciekawszych są wielkomyszy, zamieszkujące Filipiny. Od kilku miesięcy posiadaniem takich mysich goliatów może się poszczycić wrocławskie zoo
|
| Mała planetoida zderzyła się z Ziemią |
|
Wczesnym rankiem, mała planetoida zderzyła się z Ziemią - poinformowała NASA.
|
| Nagroda Nobla dla naukowca z ideałami |
|
Tegoroczna noblistka w dziedzinie medycyny - Francuzka Francoise Barre-Sinoussi całą swoją karierę poświęciła badaniom nad wirusem HIV oraz działaniom na rzecz poprawy sytuacji chorych na AIDS w krajach Trzeciego Świata.
|
| Tajemnicze pigułki dla Jana Pawła II |
|
Luc Montagnier, jeden z laureatów tegorocznej nagrody Nobla w dziedzinie medycyny, sugerował swego czasu, że jego pigułki zażywał Jan Paweł II.
|
| Rzadkie choroby wymagają pomocy państwa |
|
Sytuacja pacjentów z rzadkimi chorobami jest w Polsce znacznie gorsza niż w innych krajach Unii Europejskiej, np. w Rumunii - wynika z danych przedstawionych na międzynarodowej konferencji poświęconej leczeniu rzadkich chorób w Europie Środkowej i Wschodniej, która odbywa się piątek i sobotę w Konstancinie pod Warszawą.
|