검색 결과

'''공리'''(公理, {{llang|en|axiom}})는 [[논리학]]이나 [[수학]] 등의 [[이론]]체계에서 가장 기초적인 근거가 되는 [[명제]](命題)이다. [[증명 (수학)|증명]]할 필요가 없 [[분류:논리학 개념]] ...

{{수리 논리학}} [[분류:집합론의 기본 개념]] ...

[[모형 이론]]에서 '''절대 논리식'''(絶對論理式, {{llang|en|absolute formula}})은 모든 [[모형 (논리학)|모형]]에서 참인 [[논리식]]이다. [[1차 논리]] 언어 <math>\mathcal L</math>의 [[구조 (논리학)|구조]]들의 모임 <math>\mathcal M</math>이 주어졌다고 하자. (예를 들어, <math>\mathcal M</mat ...

|주요 개념 = ...류의 용이성을 제거하고 명제를 효과적으로 쉽게 다룰 수 있도록 하기 위해 도입한 현대 논리학 이론으로서, 기호를 많이 사용하여 '기호 논리학'(symbolic logic)이라고도 한다. [[컴퓨터 과학]] 및 철학논리와 밀접하게 연관되어 있다.<ref>안동환. [https:/ ...

[[논리학]]에서 '''건전성'''({{llang|en|soundness}})이란, 형식 체계 내에서 증명가능한 명제(즉 정리)가 의미론 상으로도 [[분류:논리학 개념]] ...

[[논리학]]에서 '''치환 실례'''(置換實例, {{llang|en|substitution instance}})는 명제를 구성하는 원자 명제를 [[1차 논리]]에서, [[항 (논리학)|항]] <math>t</math>의, 변수 <math>x_1,\dots,x_n</math> 및 항 <math>u_1,\dots,u_n ...

'''명사'''(名辭)는 [[철학]] 또는 [[논리학]]에서 하나의 [[개념]]을 언어로 나타내며 [[명제]]를 구성하는 데에 요소가 되는 말 또는 단어를 지칭한다. 흔히 [[명사 (품사)|명사]](名詞)나 [[ [[외연]](外延)은 일정한 개념(명사)이 적용되는 사물의 전 범위이다. 이를테면 금속이라고 하는 명사에 대해서는 금, 은, 구리, 쇠 따위이고 동물이라고 하는 개념에 ...

[[분류:논리학 개념]] [[분류:철학 개념]] ...

| 2부 || [[기수 (수학)|기수]] 산술의 전제 개념 || {{lang|en|Prolegomena to cardinal arithmetic}} || *50 ~ *97 || [[이항 관계]] ...하여 수학의 원리는 몇 안되는 공리계로 환원될 수 있으며, 이것은 [[논리학]]의 원리에 틀림없다고 보았고, 우선 이 책에서 [[기호 논리학]]을 도입·확립하고 거기서부터 수학 체계를 재구성하려고 하였다. 《수학 원리》는 종래의 논리학과 달리 애매한 일상 언어 대신 순수하게 ...

'''논리적 귀결'''(論理的歸結, {{llang|en|logical consequence, entailment}})은 [[논리학]]에서 가장 기본적인 개념이자, 복수의 [[문장 (언어학)|글]] (또는 [[명제]])의 [[집합]]과 하나의 글(명제)의 사이가 「~ [[분류:철학적 논리학]] ...

...하고, 소개념을 포함한 전제를 소전제(小前提), 대개념을 포함한 전제를 대전제(大前提)라 한다. 두 전제에는 대소개념과는 다른 제3의 개념 '동물'이 포함되어 있다. 이는 두 전제를 결부시켜 결론으로 이끌기 위한 매개적 작용을 나타내는 것으로서 매개념(媒槪念)이라고 한다. ===[[명사 (논리학)|명사]]관련 오류=== ...

| 주제 = {{hlist|이상 언어 철학|[[논리학]]}} ...해 '모사(模寫)'된다. 꽃이 아름답다는 사실이 '꽃은 아름답다'는 판단으로 모사되고 여기서 '꽃' '은' '아름답다' 등의 여러 [[개념]]이 형성된다. 개념이 먼저 있고 이것이 결합되어 판단이 성립하는 것은 아니다. 원자적 사실의 모사인 판단의 내용(명제)은 상호 독립된 ...

== 주요 개념 == 그래프는 특정 구조를 가지는지 등의 여부에 따라 분류할 수 있으며, 그래프 이론에서는 이러한 개념 및 성질들 사이의 관계를 연구한다. ...

'''폴란드 표기법(PN)''' 또는 '''전위 표기법'''은 [[논리학|논리]], 산술 그리고 [[대수학]](algebra)에 대한 하나의 표기법 양식이다. 그것의 두드러지는 특징은 연산자를 피연산자의 왼쪽 ...al Logic''에서, 그는 그의 표기법의 원칙은 괄호를 피하기 위해 인자 앞에 함수적 술어를 쓰는 것이었으며, 1929년부터 그의 논리학 논문에서 그의 표기법을 사용해 왔다고 언급한다. 한 가지 예를 들자면, 그 뒤에 그는 Alfred Tarski와 1930년에 공저한 명 ...

[[논리학]]에서 '''러셀의 역설'''(-逆說, {{llang|en|Russell's paradox}})은 [[버트런드 러셀]]이 1901년에 ...는 “변수를 함수로 치환하는 것은 신중해야 한다”는 짧은 주해가 있으며, 이와 관련된 자세한 설명은 프레게의 1891년 논문 《함수와 개념》({{llang|de|Funktion und Begriff}})에 등장한다.) ...

{{수리 논리학}} [[분류:논리학 개념]] ...

...어 이론]]에서 중요한 역할을 하며, [[리스프]]를 비롯한 [[함수형 프로그래밍 언어]]의 기반이 된다. 람다 대수는 그 밖에도 [[논리학]], [[철학]],<ref>Coquand, Thierry, [http://plato.stanford.edu/archives/sum201 === 핵심 개념 === ...

...집합 이론]]에서 특성함수는 실수 구간 [0, 1]에서 반환하도록 일반화 되거나, 심지어 [[보편적 대수학|대수]] 또는 [[구조 (논리학}|구조]](보통 적어도 [[부분 순서 집합]] 또는 [[격자 (순서론)|격자]]가 되어야 한다)에서 값을 반환하기도 한다. 이런 일반화 [[분류:집합론의 기본 개념]] ...

[[집합론]]에서 '''강제법'''(强制法, {{llang|en|forcing}})은 특정한 조건을 만족시키는 [[집합론]] [[구조 (논리학)|모형]]을 정의하는 방법이다.<ref>{{저널 인용|제목=What is … forcing?|url=http://www.ams.org/ {{인용문2|강제법의 기본 정리에 따르면, 매우 일반적인 조건 아래, [[체르멜로-프렝켈 집합론|ZFC 공리]]들을 만족시키는 [[구조 (논리학)|수학적 구조]] <math>M</math>에 새 원소 <math>U</math>를 추가하여, ZFC를 여전히 만족시키는 더 큰 구조 ...

...th>\{2,3,5\}</math>의 대표 원소들로서 1과 3을 고를 수 있고, 2와 2를 고를 수도 있다. 이 문제에 대한 [[역 (논리학)|역]]은 분할의 대표 원소들를 고르는 함수의 존재가 [[선택 공리]]를 함의하는지 여부이며, 이는 [[열린 문제]]이다. [[분류:집합론의 기본 개념]] ...