검색 결과
둘러보기로 이동
검색으로 이동
문서 제목 일치
- ...논리 체계의 일종으로, [[명제]]의 필연성·가능성·불가능성과 같은 양상(modality)을 서술할 수 있는 논리이다. 예컨대 진리 양상 논리에서 기호 □는 명제가 반드시 참임(필연성)을, ◇는 명제가 참일 수 있음(가능성)을 나타낸다. 양상 논리는 일반 [[명제 논리]]의 기호 (<math>\land</math>, <math>\lor</math>, <math>\lnot</m ...11 KB (814 단어) - 2024년 12월 19일 (목) 22:07
문서 내용 일치
- ...시간]]의 개념을 나타낼 수 있는 논리 체계를 이르는 말이다. 특히 '''시제 논리'''(時制論里, tense logic)라 하면 [[양상 논리]]를 기반으로 한 시간 논리를 가리키는 말로, [[선형 시제 논리]]와 [[계산 트리 논리]] 등이 알려져 있으며 [[컴퓨터 과학 ...서 ''Time and Modality''에서 처음 도입한 시제 논리 체계에는 일반적 [[1차 논리]] 연산자에 더하여 다음의 4가지 양상 연산자가 더해졌다. ...1 KB (47 단어) - 2022년 2월 5일 (토) 10:29
- 피치의 역설은 [[인식 논리학]] 및 [[양상 논리학]]에서 받아들이는 다음과 같은 명제들에서 증명 가능하다. 이하에서 'Kp'는 'p를 안다.'라는 뜻이다. # Kp → p ([[정규 양상 논리학]]의 T [[공리]]) ...7 KB (296 단어) - 2025년 3월 8일 (토) 13:56
- === 양상 논리와의 관계 === {{본문|양상 동반원}} ...7 KB (485 단어) - 2022년 7월 28일 (목) 00:42
- 비정규세계는 [[솔 크립키]]에 의해 1965년에 도입되었다. 이것은 [[양상 논리|공리계K]]보다도 약한 [[양상 논리|양상논리]], 특히 필연화 규칙(necessitation rule)을 기각하는 양상논리에 [[의미론]]을 부여하는 순수한 기술적 세계의 개념을 가진 양상논리에 따른 언어의 해석에 대한 추가적인 의론은, [[양상 논리|양상논리학]] 및 [[wikipedia:Kripke semantics|크립키 의미론]]의 항목을 참조할 것. ...6 KB (230 단어) - 2024년 6월 4일 (화) 14:12
- ...논리 체계의 일종으로, [[명제]]의 필연성·가능성·불가능성과 같은 양상(modality)을 서술할 수 있는 논리이다. 예컨대 진리 양상 논리에서 기호 □는 명제가 반드시 참임(필연성)을, ◇는 명제가 참일 수 있음(가능성)을 나타낸다. 양상 논리는 일반 [[명제 논리]]의 기호 (<math>\land</math>, <math>\lor</math>, <math>\lnot</m ...11 KB (814 단어) - 2024년 12월 19일 (목) 22:07
- '''인식 논리'''(認識論理, epistemic logic)는 앎의 개념을 나타내는 [[양상 논리]] 체계의 일종이다. 본래 C. I. Lewis 등이 연구한 바 있으며 [[솔 크립키]]의 등장 이후 논리적으로 형식화되었다. [ ...가까운 것이지만, 논리적 방법은 [[크립키 의미론]]으로 형식화되어 있는 데 반해 사건적 방법은 Aumann 구조에 기반한 것으로써 양상 논리식은 전혀 사용되지 않는다. 이러한 접근은 [[게임 이론]] 등에서 응용된다. 다만 다음 설명은 양상논리적 접근에 관한 내용이다. ...10 KB (419 단어) - 2024년 5월 9일 (목) 02:53
- ...理, {{llang|en|linear temporal logic}}, 약자 LTL)는 선형 이산 시간에 대한 여러 가지 [[양상 논리|양상]]을 갖춘, [[시제 논리]]의 하나이다. PTL(Propositional temporal logic)이라고도 한다.<ref name= ...8 KB (1,159 단어) - 2022년 7월 28일 (목) 02:29
- 이들 각각은 [[고전 논리|고전적]]이든 [[직관 논리|직관적]]이든 간에 [[명제논리]]나 [[술어논리]]를 비롯하여 [[양상 논리]] 등 많은 논리체계들을 완전하고 공리적으로 형식화할 수 있다. 증명가능성 논리({{llang|en|provability logic}})는 [[양상 논리]]의 일종으로, 양상 연산자 <math>\Box</math>가 "~가 증명가능하다"는 의미를 담는 논리이다. 양상논리의 일반 공리계 K에 뢰프의 정리(Löb ...9 KB (243 단어) - 2024년 12월 20일 (금) 14:19
- ...한 논리이다. [[2차 논리]] 이상의 고차 논리에서는 완전성이 성립하지 않는다. [[크립키 의미론]]을 이용하여 많은 경우 정규 [[양상 논리]]의 경우에도 완전성이 성립한다. ...5 KB (281 단어) - 2024년 9월 21일 (토) 16:14
- ...모형으로 여길 수 있다. 이 경우 양상 기호 <math>\Box</math>(필연 기호)는 집합의 [[내부 (위상수학)|내부]]에, 양상 기호 <math>\Diamond</math>(개연 기호)는 집합의 [[폐포 (위상수학)|폐포]]에 대응한다. ...18 KB (1,063 단어) - 2025년 2월 14일 (금) 02:49
- == 개발 양상 == ...16 KB (557 단어) - 2025년 3월 13일 (목) 13:00
- ...문 Natural deduction: a proof-theoretical study에서 제시된 형태는 현재 자연연역의 최종판으로서 [[양상 논리]]나 [[2차 술어 논리]]에 대한 응용도 제시되어 있다. * [[양상 논리]] ...15 KB (713 단어) - 2023년 5월 11일 (목) 07:22
- ...숀]], [[앨빈 플랜팅가]]를 비롯한 많은 철학자들이 변형된 형태의 논증을 제시했으며, [[수리논리학자]] [[쿠르트 괴델]]은 [[양상 논리]]를 이용한 버전을 발표했다. ...따라 여러 철학자들이 안셀무스의 논증을 논리적으로 명확히 형식화하려고 시도했는데, 그 중 한 사람인 [[앨빈 플랜팅가]]는 S5 [[양상 논리]]를 사용하여 가정들로부터 결론이 따라나오는 다음 논증을 발표했다.<ref>PLANTINGA, ALVIN (1998). God, ...22 KB (653 단어) - 2024년 12월 20일 (금) 10:50
- 이 밖에도, [[양상 논리]]의 [[크립키 모형]]({{llang|en|Kripke model}})을 직관 논리에서도 사용할 수 있다. ...10 KB (710 단어) - 2024년 5월 18일 (토) 11:00
- 이러한 기술이(記述)이 「양상적(modal)」이라는 것은, [[양상 논리|양상논리학]]적인 가능성과 필연성을 주장하고 있기 때문이다. 필연성은 [[가능세계론]]에서의 [[보편적 계량]]이라고 이해할 수 ...9 KB (232 단어) - 2024년 5월 4일 (토) 15:22
- ...ath></nowiki>, <nowiki><math>P_T</math></nowiki> 모두 라울의 법칙의 그래프에 비해 압력이 커진 양상) 이 케이스의 <nowiki>[[용해열]]</nowiki>은 양수(흡열과정)이다. ...>P_A</math>, <math>P_B</math>, <math>P_T</math> 모두 라울의 법칙의 그래프에 비해 압력이 작아진 양상) 이 케이스의 용해열은 음수(발열과정)이다. ...21 KB (633 단어) - 2025년 2월 10일 (월) 01:15
- 이러한 이유로 일반적으로 큰 {{mvar|n}}에 대한 복잡도의 양상, 즉 {{mvar|n}}이 무한대로 갈 때의 점근 동작에 초점을 맞춘다. 따라서 복잡도는 일반적으로 [[대문자 O 표기법]]을 사용하여 ...18 KB (220 단어) - 2024년 2월 9일 (금) 12:11
- ...성]이 언제 다시 나타날 지에대한 몇 개의 예측을 내놓았다. 하지만, 이 추측 역시 기대대로 이행되지 않았고, 토성이 오로지 두 가지 양상[위성과 함께한 토성, 위성이 없는 토성]을 지닌다는 사실이 틀렸음이 밝혀졌다. 나는 블란카누스(Josephus Blancanus)와 폰 ...다. 게다가, 내가 이러한 사실들을 토성의 팔의 운동과 연결지어 생각하는 동안, 이러한 팔들은 1655년 나의 이전 관찰이 보여주었던 양상 아래 나타났다. 토성의 팔들은 일종의 축이 행성의 중심을 뚫고 지나간 것처럼 토성면을 따라 같은 곧은 직선으로 뻗어나가는 반면에 토성의 ...58 KB (812 단어) - 2025년 1월 14일 (화) 03:19
- 이마스어의 [[서법]] 범주는 크게 양상과 발화수반력으로 나뉜다. [[양상 논리|양상]]은 시제의 비현실법 / 현실법 대립에 더해 다음과 같은 어두 접두사들로 표현된다. 이중 ta-와 ant-는 아래의 표와 같이 어두 논 ...60 KB (2,274 단어) - 2024년 5월 8일 (수) 21:10
- == 지진해일의 피해 양상 == ...111 KB (6,254 단어) - 2025년 3월 13일 (목) 09:26