Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.

Property Value
dbo:abstract
  • المنطق هو العلم الذي يبحث في القواعد التي تتبع في التفكير وطرق الاستدلال الصحيح. وهو بذلك أداة للتفكير لأنه يعنى بتحليل طرق التفكير وصيانته من الخطأ. والعملية المنطقية تهتم بفئة من الصيغ أو القضايا. القضية : جملة تقوم على علاقة بين عدد من الكلمات المفهومة، وتنقسم إلى قسمين : 1. * القضية الإخبارية: وهي تخبر عن شيء ما وتحتمل الصدق أو الكذب مثل (المثلثات المتطابقة متكافئة)، (كل ما في الكون يجذب بعضه بعضا). 2. * القضية الإنشائية: وهي التي لا يمكن أن توصف بالصدق أو الكذب مثل لا تمش في الأرض مرحا وهي ليست قضايا منطقية. والقضية المنطقية جملة خبرية تحتمل الصدق أو الكذب ويمكن التحقق منها فالجملة المعادن تتمدد بالحرارة جملة خبرية يمكن التحقق من صحتها بإجراء التجارب وإقرار صحة العبارة من عدمه.والقضية مفهوم أساسي في المنطق نتعلم تصنيفها كما ورد سابقا عن طريق الخبرة مثل : 1. * ابن تيمية صاحب كتاب رفع الملام عن الأئمة الأعلام. (خبرية) 2. * ينزل المطر في الخريف. (خبرية) 3. * لا تنه عن خلق وتأتي بمثله. (إنشائية) 4. * كيف حالك؟ (إنشائية) وما دمنا سنتحدث كثيرا عن الصدق والخطأ سنرمز لهما بالحرفين (ص) (خ).ومن ذلك كله نقول أن القضية المنطقية تحتمل الصدق أو الكذب. (ar)
  • Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou. Zabývá se zkoumáním, formalizováním a matematizováním zejména těch oblastí logiky, na jejichž základech je postavena matematika. V centru jejího zájmu jsou pojmy jako důkaz, teorie, axiomatizace, model, bezespornost, úplnost, rozhodnutelnost. (cs)
  • La lògica matemàtica és la disciplina inclosa en la matemàtica que estudia els sistemes formals en relació amb la manera en què aquests codifiquen els conceptes intuïtius de demostració matemàtica i computació com una part dels fonaments de la matemàtica. S'ha format com a resultat d'aplicar, en el terreny de la lògica, els de la matemàtica basats en l'ocupació d'un llenguatge especial de símbols i fórmules. En la lògica matemàtica, el pensament lògic de contingut (processos del judici i de la demostració) s'estudia representant per mitjà de sistemes lògics formals o càlculs. Resulta, doncs, que la lògica matemàtica, pel seu objecte és lògica, i pel seu mètode és matemàtica. Es pot entendre com la matemàtica de la lògica, ja que comprèn aquelles parts de la lògica que poden ser modelades matemàticament. Anteriorment la lògica matemàtica es coneixia com a lògica simbòlica i metamatemàtica que ara són termes restringits a determinats aspectes de la teoria de la prova. Aquesta conté generalitzacions de llarg abast, i el desenvolupament de les idees i mètodes de la lògica formal tradicional constitueix precisament l'etapa present d'el desenvolupament de la lògica formal. La lògica matemàtica contemporània inclou en si una sèrie de càlculs lògics que constitueixen una teoria sobre aquests càlculs, sobre les seves premisses, propietats i aplicacions. Al costat de l'estudi de l'estructura formal dels càlculs lògics (), en la lògica matemàtica sorgeix també la necessitat d'examinar les relacions entre els càlculs i les esferes de contingut que serveixen per a les interpretacions i models d'aquestes relacions. En aquesta qüestió es esbossa la problemàtica de la semàntica lògica. La sintaxi lògica i la semàntica s'inclouen en la metalógica, teoria sobre els recursos per a descriure les premisses i les propietats dels càlculs lògics. Van ser George Boole i Augustus De Morgan, durant el segle XIX, els que van sistematitzar matemàticament la lògica, per això van haver de reformar i completar la lògica tradicional aristotèlica. La lògica matemàtica inclou la teoria de models i la teoria de la demostració i recursió o altrament computabilitat, branca aquesta compatida amb la ciència informàtica. Gran part de la lògica matemàtica moderna s'ocupa de . (ca)
  • Η μαθηματική λογική είναι ένας κλάδος των μαθηματικών και της επιστήμης υπολογιστών, με στενή σχέση και με τη φιλοσοφική λογική. Το πεδίο περιλαμβάνει τη μαθηματική μελέτη της λογικής και τις εφαρμογές της τυπικής λογικής σε άλλες περιοχές των μαθηματικών. Οι βασικότερες ιδέες στη μαθηματική λογική περιλαμβάνουν τη μελέτη της εκφραστικής ισχύος των τυπικών συστημάτων και της συμπερασματικής ισχύος των συστημάτων τυπικών αποδείξεων. Η μαθηματική λογική διαιρείται συχνά στα υποπεδία θεωρία συνόλων, θεωρία μοντέλων, θεωρία αναδρομής και και . Οι περιοχές αυτές μοιράζονται βασικά αποτελέσματα πάνω στη λογική, και ειδικά στην λογική πρώτου βαθμού και την . Από τη γέννησή της, η μαθηματική λογική έχει συμβάλλει αλλά και ωθείται από τη μελέτη των θεμελίων των μαθηματικών. Η μελέτη αυτή ξεκίνησε στο τέλος του 19ου αιώνα με την ανάπτυξη των πλαισίων για τη γεωμετρία, την αριθμητική και την ανάλυση. Στην αρχή του 20ού αιώνα διαμορφώθηκε από το του Ντάβιντ Χίλμπερτ για την απόδειξη της συνέπειας των θεμελιακών θεωριών. Η εργασία πάνω στη θεωρία συνόλων έδειξε ότι σχεδόν όλα τα συνηθισμένα μαθηματικά μπορούν να διατυπωθούν με βάση τα σύνολα, αν και υπάρχουν κάποια θεωρήματα που δεν μπορούν να αποδειχθούν στα συνήθη αξιωματικά συστήματα για τη θεωρία συνόλων. Η σύγχρονη μελέτη στα θεμέλια των μαθηματικών συχνά εστιάζει στο να θεσπίσει ποια κομμάτια των μαθηματικών μπορούν να διατυπωθούν σε συγκεκριμένα τυπικά συστήματα, και όχι στο να αναπτύξει θεωρίες από όπου αναπτύσσονται όλα τα μαθηματικά. (el)
  • Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems. Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory. These areas share basic results on logic, particularly first-order logic, and definability. In computer science (particularly in the ACM Classification) mathematical logic encompasses additional topics not detailed in this article; see Logic in computer science for those. Since its inception, mathematical logic has both contributed to, and has been motivated by, the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and analysis. In the early 20th century it was shaped by David Hilbert's program to prove the consistency of foundational theories. Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to the program, and clarified the issues involved in proving consistency. Work in set theory showed that almost all ordinary mathematics can be formalized in terms of sets, although there are some theorems that cannot be proven in common axiom systems for set theory. Contemporary work in the foundations of mathematics often focuses on establishing which parts of mathematics can be formalized in particular formal systems (as in reverse mathematics) rather than trying to find theories in which all of mathematics can be developed. (en)
  • Die mathematische Logik, auch symbolische Logik, (veraltet auch Logistik), ist ein Teilgebiet der Mathematik, insbesondere als Methode der Metamathematik und eine Anwendung der modernen formalen Logik. Oft wird sie wiederum in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt. Forschung im Bereich der mathematischen Logik hat zum Studium der Grundlagen der Mathematik beigetragen und wurde auch durch dieses motiviert. Infolgedessen wurde sie auch unter dem Begriff Metamathematik bekannt. Ein Aspekt der Untersuchungen der mathematischen Logik ist das Studium der Ausdrucksstärke von formalen Logiken und formalen Beweissystemen. Eine Möglichkeit, die Komplexität solcher Systeme zu messen, besteht darin, festzustellen, was damit bewiesen oder definiert werden kann. (de)
  • Cur i bhfeidhm an chruinnis mhatamaiticiúil is teicníochtaí siombalacha i staidéar na loighce. Mar shampla, forbairt na dteangacha foirmiúla is na gcóras aicsímí chun cruthuithe loighciúla a thógáil. Tugtar loighic shiombalach uirthi freisin. Bunaíodh an t-ábhar ar shaothar Boole, agus ina dhiaidh sin saothar Frege, Whitehead is Russell, Gödel, is Tarski. Tagairtí (ga)
  • Logika matematika adalah cabang logika dan matematika yang mengandung kajian matematis logika dan aplikasi kajian ini pada bidang-bidang lain di luar matematika. Logika matematika berhubungan erat dengan ilmu komputer dan logika filosofis. Tema utama dalam logika matematika antara lain adalah kekuatan ekspresif dari logika formal dan kekuatan deduktif dari sistem pembuktian formal. Logika matematika sering dibagi ke dalam cabang-cabang dari teori himpunan, , , , serta . Bidang-bidang ini memiliki hasil dasar logika yang serupa. (in)
  • La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du XIXe siècle, qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité. (fr)
  • 数理論理学(独: mathematische Logik、英: mathematical logic)は、論理学(形式論理学)の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする、数学の関連分野である。局所的には数理論理学は超数学、数学基礎論、理論計算機科学などと密接に関係している。数理論理学の共通な課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理やに関する結果を共有している。計算機科学(とくに)における数理論理学の役割の詳細はこの記事には含まれていない。詳細はを参照。 この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、算術、解析学に対する公理的な枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか(逆数学のように)ということに焦点を当てている。 (ja)
  • 수리논리학(數理論理學, 영어: mathematical logic)은 논리학에서 사용하는 명제들을 수학적인 기호로 표시하는 학문이다. 고틀로프 프레게, 버트런드 러셀, 폴 조지프 코언 등이 개척한 분야로서 일상 언어와 같은 자연언어의 사용에서 올수있는 복잡성과 오류의 용이성을 제거하고 명제를 효과적으로 쉽게 다룰 수 있도록 하기 위해 도입한 현대 논리학 이론으로서, 기호를 많이 사용하여 '기호 논리학'(symbolic logic)이라고도 한다. 컴퓨터 과학 및 철학논리와 밀접하게 연관되어 있다. 이 분야는 논리학 및 형식논리의 타 분야로의 응용에 관한 수학적 연구를 포함하고 있으며, 통합적으로는 형식 체계의 표현력과 형식 증명 체계의 연역 가능성에 관한 연구를 포함한다. 수리논리학은 종종 집합론, 모형 이론, 재귀 이론, 증명 이론, 구성적 수학 등의 하위 분야로 나뉜다. 이 분야들은 공통적으로 1차 논리와 정의가능성 등의 기본적인 논리학적 결과들을 바탕으로 하고 있다. 수리논리학은 처음 출현한 이후 줄곧 수학기초론의 연구와 영향을 주고 받았다. 이 연구는 19세기 말 기하학, 대수학, 분석학의 공리적 구조의 개발과 함께 시작되었다. 20세기 초에는 수학기초론의 무모순성을 증명하려는 다비트 힐베르트의 연구에 의해 다듬어졌다. 쿠르트 괴델과 게르하르트 겐첸 등은 그 연구에 일부 해결 방법을 제시하였고 무모순성 증명과 관련한 문제들을 명확히 하였다. 비록 몇몇 정리들이 집합 이론의 공리 체계에서 증명 불가능하지만, 집합 이론에서의 연구는 거의 모든 일반적인 수학은 집합의 형태로 형식화할 수 있다는 것을 보여주었다. 수학기초론에서 최근의 연구는 종종 모든 수학을 전개할 수 있는 이론을 찾기보다는 수학의 어느 부분이 특정 형식 체계에서 형식화할 수 있는지 찾는 데 중점을 두고 있다. (ko)
  • De wiskundige logica is een deelgebied van de wiskunde. De wiskundige logica wordt onderverdeeld in de vier deelgebieden verzamelingenleer, bewijstheorie, modeltheorie en berekenbaarheid. Zo is in de wiskunde de groepentheorie verbonden met de verzamelingenleer, de getaltheorie met de bewijstheorie en is de berekenbaarheid een onderdeel van de computationele complexiteitstheorie. Onderzoek op het gebied van de wiskundige logica heeft bijgedragen aan de grondslagen van de wiskunde, die weer de logica in het algemeen ondersteunden. Maar er zijn ook onderdelen van de wiskundige logica die zich niet met grondslag van de wiskunde bezighouden.De wiskundige logica geeft de voorwaarden aan, waaraan een wiskundig bewijs moet voldoen. Vroeger werd de wiskundige logica ook wel symbolische logica genoemd en op één lijn getrokken met disciplines waar qua onderzoeksgebied enige overlap mee is, met name met de en de metawiskunde. De eerste discipline betreft vooral de algemene logica, maar wordt soms ook nog gebruikt voor de wiskundige logica. Metawiskunde heeft vooral betrekking op bepaalde aspecten van de bewijstheorie. In de vorige eeuw was het programma van Hilbert, genoemd naar David Hilbert en het onderzoek van de consistentie binnen de wiskunde door onder meer Kurt Gödel van belang. (nl)
  • Logika matematyczna – dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki. Koncentruje się ona na analizowaniu zasad rozumowania oraz pojęć z nim związanych z wykorzystaniem sformalizowanych oraz uściślonych metod i narzędzi matematyki. W początkowym okresie rozwoju tego działu używano też nazwy logika symboliczna (w celu odróżnienia od logiki filozoficznej). Nazwa logika matematyczna została użyta po raz pierwszy przez włoskiego matematyka Giuseppe Peana. (pl)
  • Lógica Matemática é uma sub-área da matemática que explora as aplicações da lógica formal para a matemática. Basicamente, tem ligações fortes com matemática, os fundamentos da matemática e ciência da computação teórica. Os temas unificadores na lógica matemática incluem o estudo do poder expressivo de sistemas formais e o poder dedutivo de sistemas de prova matemática formal. A lógica matemática é muitas vezes dividida em campos da teoria dos conjuntos, teoria de modelos, teoria da recursão e teoria da prova. Estas áreas compartilham resultados básicos sobre lógica, particularmente lógica de primeira ordem, e definibilidade. Na ciência da computação, especialmente na classificação ACM, onde ACM vem do inglês (Association for Computing Machinery) , lógica matemática engloba tópicos adicionais não descritos neste artigo; ver lógica em ciência da computação para este tópico anterior. Desde o seu surgimento, a lógica matemática tem contribuído e motivado pelo estudo dos fundamentos da matemática. Este estudo foi iniciado no final do século XIX, com o desenvolvimento de arcabouço axiomático para geometria, aritmética e análise. No início do século XX a lógica matemática foi moldada pelo programa de David Hilbert para provar a consistência das teorias fundamentais. Os resultados de Kurt Godel, Gerhard Gentzen, e outros, desde resolução parcial do programa, e esclareceu as questões envolvidas em provar a consistência. O trabalho na teoria dos conjuntos mostrou que quase toda a matemática ordinária pode ser formalizada em termos de conjuntos, embora existam alguns teoremas que não podem ser demonstrados em sistemas axiomáticos comuns para a teoria dos conjuntos. O trabalho contemporâneo nos fundamentos da matemática, muitas vezes se concentra em estabelecer quais as partes da matemática que podem ser formalizadas, em particular, sistemas formais (como em matemática reversa) ao invés de tentar encontrar as teorias em que toda a matemática pode ser desenvolvida. Sub-áreas e escopoO manual de lógica matemática divide a matemática contemporânea em quatro áreas: 1. * Teoria dos conjuntos; 2. * teoria dos modelos; 3. * teoria da recursão; 4. * teoria da prova e da matemática construtiva consideradas partes de uma única área. Cada área tem um foco distinto, apesar de ter várias técnicas e resultados comuns entre si. A divisão das referidas áreas e os limites que separam a lógica matemática de outros campos de estudo não são bem definidas. A teoria da incompletude de Gödel representa não só um marco na teoria da recursão e teoria da prova, mas também contribuiu para o teorema de Löb da teoria dos modelos. O método do forçamento ("forcing") é aplicada na teoria dos conjuntos, na teoria dos modelos, na teoria da recursão, assim como no estudos da matemática intuiticionística. O campo matemático conhecido como o da teoria das categorias usa muitos métodos axiomáticos formais nos quais se inclui o estudo da lógica categórica, mas essa teoria não é comumente considerada um sub-ramo da lógica. Por causa da sua aplicabilidade em diversos campos da lógica, matemáticos como Saunders Mac Lane propuseram usar a teoria das categorias como fundamentos da matemática, independentemente da teoria dos conjuntos. Essas fundamentações usam tópicos que em muito se parecem com modelos generalizados das teorias dos conjuntos, e empregam lógica clássica ou não-clássica. (pt)
  • Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики. (ru)
  • Matematisk logik har generellt två betydelser. Det kan betyda logik studerad med matematiska metoder eller matematikens logik. Ofta avser man båda dessa tolkningar: man studerar matematikens logik med matematiska metoder. Begreppet ska förstås ses som kontrast till filosofisk logik. (sv)
  • Математи́чна ло́гіка — розділ математики, що вивчає мислення за допомогою числень, застосовуючи математичні методи та спеціальний апарат символів.Предметом математичної логіки є математичні теорії в цілому, які вивчаються за допомогою логіко-математичних мов. При цьому в першу чергу цікавляться питаннями несуперечливості математичних теорій, їх розв'язності та повноти. (uk)
  • 数理逻辑(英:Mathematical logic)是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑(相对于哲学逻辑),又称元数学,后者的使用现已局限于证明论的某些方面。 (zh)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 19636 (xsd:integer)
dbo:wikiPageLength
  • 69229 (xsd:integer)
dbo:wikiPageRevisionID
  • 981501884 (xsd:integer)
dbo:wikiPageWikiLink
dbp:id
  • p/m062660 (en)
dbp:title
  • Mathematical logic (en)
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou. Zabývá se zkoumáním, formalizováním a matematizováním zejména těch oblastí logiky, na jejichž základech je postavena matematika. V centru jejího zájmu jsou pojmy jako důkaz, teorie, axiomatizace, model, bezespornost, úplnost, rozhodnutelnost. (cs)
  • Cur i bhfeidhm an chruinnis mhatamaiticiúil is teicníochtaí siombalacha i staidéar na loighce. Mar shampla, forbairt na dteangacha foirmiúla is na gcóras aicsímí chun cruthuithe loighciúla a thógáil. Tugtar loighic shiombalach uirthi freisin. Bunaíodh an t-ábhar ar shaothar Boole, agus ina dhiaidh sin saothar Frege, Whitehead is Russell, Gödel, is Tarski. Tagairtí (ga)
  • Logika matematika adalah cabang logika dan matematika yang mengandung kajian matematis logika dan aplikasi kajian ini pada bidang-bidang lain di luar matematika. Logika matematika berhubungan erat dengan ilmu komputer dan logika filosofis. Tema utama dalam logika matematika antara lain adalah kekuatan ekspresif dari logika formal dan kekuatan deduktif dari sistem pembuktian formal. Logika matematika sering dibagi ke dalam cabang-cabang dari teori himpunan, , , , serta . Bidang-bidang ini memiliki hasil dasar logika yang serupa. (in)
  • La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du XIXe siècle, qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité. (fr)
  • Logika matematyczna – dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki. Koncentruje się ona na analizowaniu zasad rozumowania oraz pojęć z nim związanych z wykorzystaniem sformalizowanych oraz uściślonych metod i narzędzi matematyki. W początkowym okresie rozwoju tego działu używano też nazwy logika symboliczna (w celu odróżnienia od logiki filozoficznej). Nazwa logika matematyczna została użyta po raz pierwszy przez włoskiego matematyka Giuseppe Peana. (pl)
  • Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики. (ru)
  • Matematisk logik har generellt två betydelser. Det kan betyda logik studerad med matematiska metoder eller matematikens logik. Ofta avser man båda dessa tolkningar: man studerar matematikens logik med matematiska metoder. Begreppet ska förstås ses som kontrast till filosofisk logik. (sv)
  • Математи́чна ло́гіка — розділ математики, що вивчає мислення за допомогою числень, застосовуючи математичні методи та спеціальний апарат символів.Предметом математичної логіки є математичні теорії в цілому, які вивчаються за допомогою логіко-математичних мов. При цьому в першу чергу цікавляться питаннями несуперечливості математичних теорій, їх розв'язності та повноти. (uk)
  • 数理逻辑(英:Mathematical logic)是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑(相对于哲学逻辑),又称元数学,后者的使用现已局限于证明论的某些方面。 (zh)
  • المنطق هو العلم الذي يبحث في القواعد التي تتبع في التفكير وطرق الاستدلال الصحيح. وهو بذلك أداة للتفكير لأنه يعنى بتحليل طرق التفكير وصيانته من الخطأ. والعملية المنطقية تهتم بفئة من الصيغ أو القضايا. القضية : جملة تقوم على علاقة بين عدد من الكلمات المفهومة، وتنقسم إلى قسمين : 1. * القضية الإخبارية: وهي تخبر عن شيء ما وتحتمل الصدق أو الكذب مثل (المثلثات المتطابقة متكافئة)، (كل ما في الكون يجذب بعضه بعضا). 2. * القضية الإنشائية: وهي التي لا يمكن أن توصف بالصدق أو الكذب مثل لا تمش في الأرض مرحا وهي ليست قضايا منطقية. (ar)
  • La lògica matemàtica és la disciplina inclosa en la matemàtica que estudia els sistemes formals en relació amb la manera en què aquests codifiquen els conceptes intuïtius de demostració matemàtica i computació com una part dels fonaments de la matemàtica. S'ha format com a resultat d'aplicar, en el terreny de la lògica, els de la matemàtica basats en l'ocupació d'un llenguatge especial de símbols i fórmules. En la lògica matemàtica, el pensament lògic de contingut (processos del judici i de la demostració) s'estudia representant per mitjà de sistemes lògics formals o càlculs. Resulta, doncs, que la lògica matemàtica, pel seu objecte és lògica, i pel seu mètode és matemàtica. (ca)
  • Die mathematische Logik, auch symbolische Logik, (veraltet auch Logistik), ist ein Teilgebiet der Mathematik, insbesondere als Methode der Metamathematik und eine Anwendung der modernen formalen Logik. Oft wird sie wiederum in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt. Forschung im Bereich der mathematischen Logik hat zum Studium der Grundlagen der Mathematik beigetragen und wurde auch durch dieses motiviert. Infolgedessen wurde sie auch unter dem Begriff Metamathematik bekannt. (de)
  • Η μαθηματική λογική είναι ένας κλάδος των μαθηματικών και της επιστήμης υπολογιστών, με στενή σχέση και με τη φιλοσοφική λογική. Το πεδίο περιλαμβάνει τη μαθηματική μελέτη της λογικής και τις εφαρμογές της τυπικής λογικής σε άλλες περιοχές των μαθηματικών. Οι βασικότερες ιδέες στη μαθηματική λογική περιλαμβάνουν τη μελέτη της εκφραστικής ισχύος των τυπικών συστημάτων και της συμπερασματικής ισχύος των συστημάτων τυπικών αποδείξεων. (el)
  • Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems. (en)
  • 数理論理学(独: mathematische Logik、英: mathematical logic)は、論理学(形式論理学)の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする、数学の関連分野である。局所的には数理論理学は超数学、数学基礎論、理論計算機科学などと密接に関係している。数理論理学の共通な課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理やに関する結果を共有している。計算機科学(とくに)における数理論理学の役割の詳細はこの記事には含まれていない。詳細はを参照。 (ja)
  • 수리논리학(數理論理學, 영어: mathematical logic)은 논리학에서 사용하는 명제들을 수학적인 기호로 표시하는 학문이다. 고틀로프 프레게, 버트런드 러셀, 폴 조지프 코언 등이 개척한 분야로서 일상 언어와 같은 자연언어의 사용에서 올수있는 복잡성과 오류의 용이성을 제거하고 명제를 효과적으로 쉽게 다룰 수 있도록 하기 위해 도입한 현대 논리학 이론으로서, 기호를 많이 사용하여 '기호 논리학'(symbolic logic)이라고도 한다. 컴퓨터 과학 및 철학논리와 밀접하게 연관되어 있다. 이 분야는 논리학 및 형식논리의 타 분야로의 응용에 관한 수학적 연구를 포함하고 있으며, 통합적으로는 형식 체계의 표현력과 형식 증명 체계의 연역 가능성에 관한 연구를 포함한다. 수리논리학은 종종 집합론, 모형 이론, 재귀 이론, 증명 이론, 구성적 수학 등의 하위 분야로 나뉜다. 이 분야들은 공통적으로 1차 논리와 정의가능성 등의 기본적인 논리학적 결과들을 바탕으로 하고 있다. (ko)
  • De wiskundige logica is een deelgebied van de wiskunde. De wiskundige logica wordt onderverdeeld in de vier deelgebieden verzamelingenleer, bewijstheorie, modeltheorie en berekenbaarheid. Zo is in de wiskunde de groepentheorie verbonden met de verzamelingenleer, de getaltheorie met de bewijstheorie en is de berekenbaarheid een onderdeel van de computationele complexiteitstheorie. Onderzoek op het gebied van de wiskundige logica heeft bijgedragen aan de grondslagen van de wiskunde, die weer de logica in het algemeen ondersteunden. Maar er zijn ook onderdelen van de wiskundige logica die zich niet met grondslag van de wiskunde bezighouden.De wiskundige logica geeft de voorwaarden aan, waaraan een wiskundig bewijs moet voldoen. (nl)
  • Lógica Matemática é uma sub-área da matemática que explora as aplicações da lógica formal para a matemática. Basicamente, tem ligações fortes com matemática, os fundamentos da matemática e ciência da computação teórica. Os temas unificadores na lógica matemática incluem o estudo do poder expressivo de sistemas formais e o poder dedutivo de sistemas de prova matemática formal. Sub-áreas e escopoO manual de lógica matemática divide a matemática contemporânea em quatro áreas: (pt)
rdfs:label
  • Mathematical logic (en)
  • منطق رياضي (ar)
  • Lògica matemàtica (ca)
  • Matematická logika (cs)
  • Mathematische Logik (de)
  • Μαθηματική λογική (el)
  • Logique mathématique (fr)
  • Loighic mhatamaiticiúil (ga)
  • Logika matematika (in)
  • 数理論理学 (ja)
  • 수리 논리학 (ko)
  • Wiskundige logica (nl)
  • Logika matematyczna (pl)
  • Lógica matemática (pt)
  • Математическая логика (ru)
  • Matematisk logik (sv)
  • Математична логіка (uk)
  • 数理逻辑 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:academicDiscipline of
is dbo:genre of
is dbo:knownFor of
is dbo:mainInterest of
is dbo:notableIdea of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:discipline of
is dbp:field of
is dbp:fields of
is dbp:knownFor of
is dbp:mainInterests of
is dbp:notableIdeas of
is dbp:region of
is dbp:subjects of
is rdfs:seeAlso of
is foaf:primaryTopic of