Maksud "logicyzm" dalam kamus Poland

SEBUTAN LOGICYZM DALAM POLAND

logicyzm

APAKAH MAKSUD LOGICYZM dalam POLAND?

logicism

Logicyzm

Logicism arah ini dalam falsafah matematik, dengan anggapan bahawa asas boleh berdasarkan dasar ayat kalkulus logik (bandingkan logik). Khususnya, ini membawa sains kepada matematik sebagai sejenis khas teori logik formal yang melaksanakan satu set aksiom dan mengosongkan mereka kesimpulan berdasarkan satu set tertentu definisi (rujuk formalisme (matematik)). Logik telah memainkan peranan penting dalam penubuhan matematik moden. Ia berhutang kejayaannya dengan mewujudkan koheren aksiom Giuseppe Peano nombor asli dan penciptaan oleh Russell dan Alfreda Whiteheada teori koheren ayat kalkulus logik berdasarkan teori jenis untuk menghapuskan kelas sendiri rujukan yang antinomy dan masalah-masalah lain yang memberi kesan kepada asas matematik pada awal abad kedua puluh. Walau bagaimanapun, perkembangan matematik seterusnya telah membawa kepada penubuhan matematik berdasarkan teori pendaraban dan gabungannya dengan logik. Perbezaan antara logik dan formalisme ialah logik tidak membincangkan maksud istilah non-logikal yang digunakan dalam pembinaan matematik.

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.

TERJEMAHAN LOGICYZM

Cari terjemahan logicyzm kepada 25 bahasa dengan penterjemah Poland pelbagai bahasa kami.

Terjemahan logicyzm dari Poland ke bahasa lain yang dibentangkan dalam bahagian ini telah diperolehi menerusi terjemahan statistik automatik; di mana unit terjemahan penting adalah perkataan «logicyzm» dalam Poland.

• Penterjemah Poland - Cina: 逻辑主义
• Penterjemah Poland - Czech: logicismo
• Penterjemah Poland - Corsica: logicism
• Penterjemah Poland - Hindi: logicism
• Penterjemah Poland - Amhara: logicism
• Penterjemah Poland - Rusia: логицизм
• Penterjemah Poland - Punjabi: logicismo
• Penterjemah Poland - Basque: logicism
• Penterjemah Poland - Frisia: logicisme
• Penterjemah Poland - Melayu: logicism
• Penterjemah Poland - Chichewa: Logizismus
• Penterjemah Poland - Jepun: logicism
• Penterjemah Poland - Kreol Haiti: 논리주의
• Penterjemah Poland - Jerman: logicism
• Penterjemah Poland - Vietnam: logicism
• Penterjemah Poland - Tagalog: logicism
• Penterjemah Poland - Marathi: logicism
• Penterjemah Poland - Turki: Mantıksalcılık
• Penterjemah Poland - Itali: logicism
• Poland: logicyzm
• Penterjemah Poland - Ukraine: логіцизм
• Penterjemah Poland - Romania: logicismului
• Penterjemah Poland - Cina: λογικισμού
• Penterjemah Poland - Afrikaans: logisisme
• Penterjemah Poland - Swahili: logicism
• Penterjemah Poland - Parsi: logicism

POLAND BUKU YANG BERKAIT DENGAN «LOGICYZM»

Ketahui penggunaan logicyzm dalam pilihan bibliografi berikut. Buku yang berkait dengan logicyzm dan ekstrak ringkas dari yang sama untuk menyediakan konteks penggunaannya dalam kesusasteraan Poland.

Filozofia matematyki i logiki w Polsce międzywojennej: - Strona 177

Zaproponował w niej – rozważywszy istniejące kierunki w filozofii matematyki – tzw. logicyzm pluralistyczny. Mehlberg wyróżnia trzy postaci/wersje logicyzmu: radykalny, umiarkowany i proponowany przez siebie logicyzm pluralistyczny (jego ...

Roman Murawski, 2011

Mała encyklopedia logiki - Strona 94

B. Russell, który w swych pracach z początków XX w. rozwinął idee logicyzmu, zastosowane następnie w napisanym wspólnie z A. N. Whiteheadem monumentalnym dziele Principia mathematica (1910-1913). W monografii tej przedstawiona ...

Witold Marciszewski, 1988

Problematyka niektórych ujęć przedmiotu logiki formalnej - Strona 52

Potoczna identyfikacja logicyzmu z tezą, że twierdzenia matematyki tworzą podzbiór logicznych praw, wydaje się uproszczona i niewątpliwie błędna. W zasadzie należy mówić nie o jednej i ogólnej zarazem tezie logicyzmu, lecz 0 kilku ...

Ryszard Maciołek, 2001

Studia z teorii poznania i filozofii wartości: praca zbiorowa - Strona 39

Tak więc, jeżeli dokonamy relatywizacji programu logicyzmu i anty- logicyzmu do określonych dziedzin opisu, to wówczas można oba stanowiska uważać za komplementarne. Spór o logikę prawniczą staje się w tej sytuacji kontrowersją w ...

Władysław Stróżewski, ‎Izydora Dąmbska, ‎Polskie Towarzystwo Filozoficzne. Oddział w Krakowie, 1978

Matematyka. Filozofia. Sztuka - Strona 144

A więc logicyzm się nie powiódł, ale był bardzo ważny. Damian Leszczyński: Czyli, podobnie jak program Leibnizjański, okazał się po prostu płodny w wytyczaniu nowych kierunków rozważań. Przyniósł więc pozytywny skutek, mimo że ...

Roman Konik, 2009

Idealizacyjny charakter interpretacji humanistycznej - Strona 147

W końcu XIX wieku i pierwszych dziesięcioleciach naszego stulecia wśród myślicieli zajmujących się tymi problemami największe wpływy uzyskały trzy względnie odrębne kierunki: logicyzm, formalizm i intuicjonizm3. Ponieważ wielkie ...

Wojciech Patryas, 1979

Język w świetle odkryć nauki - Strona 58

Na gruncie logiki formalnej zainicjował logicyzm i zapoczątkował formalizację rozumowań. Na obszarze semiotyki logicznej położył podwaliny pod technikę analizy językowej, głosząc zasady kompozycyjności i funktorowości oraz rozróżniając ...

Tomasz Nowak, 2011

Słownik pojęć filozoficznych - Strona 64

głosi, że matematyka jest częścią — > logiki, intuicjonizm - że jest konstrukcją umysłu ludzkiego, formalizm - że konstrukcją —> systemów formalnych. Były to trzy kierunki F.M. i jednocześnie propozycje, jak matematykę analizować ...

Władysław Krajewski, ‎Ryszard Banajski, 1996

Z badań nad filozoficznymi podstawami nauk - Strona 137

Ważką również w aspekcie filozoficznym kwestią analizy przyczyn i skutków ludzkiej ograniczoności poznawczej podstaw wiedzy matematycznej zajęty się trzy zasadnicze kierunki, powstałe niemal równocześnie, a mianowicie: logicyzm, ...

Stefan Kaczmarek, 1981

Rola teorii i techniki w eksperymentalnym testowaniu wiedzy - Strona 77

Ponieważ autor ten nie wyjaśnia, dlaczego nie wychodzi poza tradycyjne dla logicyzmu metodologicznego procedury językowe, ocena słuszności jego stanowiska wymaga ustosunkowania się do argumentacji twórców tego kierunku. 2.3.2.

Jerzy Szymański, 1982

BARANGAN BERITA YANG TERMASUK TERMA «LOGICYZM»

Ketahui apa yang diterbitkan oleh akhbar nasional dan antarabangsa dan cara istilah logicyzm digunakan dalam konteks perkara berita berikut.

Matematyczność Przyrody

Trudności, jakie napotkał w początkach naszego stulecia logicyzm metamatematyczny, świadczą, iż matematyki nie można bynajmniej utożsamiać ze zbiorem ... «Opoka, Jan 10»