검색 결과

'''피치의 인식 가능성의 역설'''(Fitch's paradox of knowability, -逆說)은 [[논리학]]의 [[역설]] 중 하나로, [[미국]]의 논리학자 [[프레더릭 피치]](Frederic Fitch)가 [[1963년]] 논문 "가치 피치의 역설은 [[인식 논리학]] 및 [[양상 논리학]]에서 받아들이는 다음과 같은 명제들에서 증명 가능하다. 이하에서 'Kp'는 'p를 안다.'라는 뜻이다. ...

[[논리학]]에서 '''건전성'''({{llang|en|soundness}})이란, 형식 체계 내에서 증명가능한 명제(즉 정리)가 의미론 상으로도 (명제의 구성법과 증명관계가 귀납적으로 잘 정의되어 있다는 가정 하에) <math>G \vdash p</math>인 경우 p는 다음의 세 가지 경우 중 하나이다: 논리적 공리이거나, 전제 G의 원소이 ...

...인(Boolean domain,부울 영역) 은 거짓 및 참을 포함하는 해석이 포함된 정확히 두 개의 요소로 구성된 집합이다. [[수리 논리학]] 및 이론 컴퓨터 과학에서 부울 도메인은 일반적으로 {0, 1},<ref>[[Dirk van Dalen]], ''Logic and S ...[0,1]으로 대체 될 수 있다. 이 경우 0 또는 1 값만 가져 오는 대신 0 과 1을 포함하여 0 과 1을 포함하는 모든 값을 가정 할 수 있다. ...

만약 [[전사 함수]] <math>B\to A</math>가 존재한다면, <math>|A|\le|B|</math>이다. 이는 선택 공리 가정 하에 성립한다. {{수리 논리학}} ...

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

...n|completeness axiom}})라고 한다. 완비성 공리는 [[순서체]] 공리와 함께 [[실수 공리]]를 이룬다. [[구조 (논리학)#만족|구성적으로 정의된]] 실수에게 있어, 실수의 완비성은 [[정리]]이며, 이는 서로 다른 [[실수 모형]]으로부터 서로 다른 방법 상한 공리 가정 아래, 실수 부분 집합 <math>S\subset\mathbb R</math>이 하계를 갖는다고 하자. 그렇다면, ...

...|abduction}})은 가정을 선택하는 [[추론]]의 한 방법으로써, 만약 사실이라면 관계있는 증거를 가장 잘 설명할 것 같은 [[가정]]을 선택하는 방법이다. 귀추법에 의한 논증은 주어진 [[사실]]들로부터 시작해서 가장 그럴듯한 혹은 최선의 [[설명]]을 추론한다. [[분류:논리학]] ...

;<math>n</math>에 대하여 성립한다는 가정 아래, <math>n+1</math>에 대하여 성립 ;<math>n</math>에 대하여 성립한다는 가정 아래, <math>n+1</math>에 대하여 성립 ...

[[논리학]]에서 '''러셀의 역설'''(-逆說, {{llang|en|Russell's paradox}})은 [[버트런드 러셀]]이 1901년에 ...torname{cov}\psi</math>이므로 <math>\psi[\operatorname{cov}\psi]</math>이다. 이는 가정 <math>\lnot\psi[\operatorname{cov}\psi]</math>과 모순이다. 반대로, 만약 <math>\psi[\o ...

[[논리학]] 및 [[증명이론]]에서 '''자연 연역'''(自然演繹, natural deduction)이란 자연스러운 [[논리적 추론]]을 나타내 # 가정 규칙 "The Rule of Assumption" (A) ...

...택론|공공 선택론]]의 요소를 혼합한다. 방법론적으로 개인주의적이며 사회 구성원 개개인의 선호도와 행동을 종합한다. 일반성에 대한 [[논리학|형식 논리]]의 요소를 사용하여 분석은 사회 복지 함수 (또는 헌법 )을 형성하기 위한 사회적 선택의 겉보기에 합리적인 [[공리]] 세 ...회 복지 기능으로 통합하거나 결합하는 이론적이고 실제적인 방법에 대한 연구이다. 이 분야는 일반적으로 개인 에게 [[선호]]가 있다고 가정 하고, [[효용|효용 함수]]를 사용 하여 모델링할 수 있다. 그러나 해당 분야의 많은 연구는 이러한 효용 기능이 인간의 내부에 있고 ...

...전자의 상대론적 질량-에너지 <math>mc^2</math>와 같이 둘 수 있다. 그리고, 숫자 계수 3/5는 전하밀도가 균일하다는 가정 하에 특정한 수로 간주해 무시할 수 있다. 이렇게 되면 반지름 <math>r</math>은 고전전자반지름 <math>r_e</math> 라 [[정의 (논리학)|정의]]하면 고전전자반지름 {{수학|''r''{{sub|e}}}}은 ...

...수 없으므로 존재성을 다른 성질들과 함께 다룰 수 없다. 이 개념은 나중에 [[프레게]]가 [[1차 논리]]를 형식화할 때 [[양화 (논리학)|양화]]의 개념을 도입하면서 체계화되었는데, 이런 관점에서는 존재 양화사는 [[술어]]가 아니라고 할 수 있다. ...논증이든, 일단 이해한 뒤에는 그 가정을 주장하거나 믿는 것이 결론을 주장하거나 믿는 것과 마찬가지라고 생각할 수 있다고 반박했다. 가정 3을 거부하는 것은 최대한으로 위대한 존재가 예시될 수 있는 가능성이 없다는 주장이므로, 이 논증은 신의 존재가 논리적으로 불가능하거나 ...