디시인사이드 갤러리

갤러리 이슈박스, 최근방문 갤러리

갤러리 본문 영역

양상논리학에서 리 수 법앱에서 작성

凡人(119.195) 2025.03.29 08:34:18
조회 204 추천 0 댓글 24

양상논리학에서 부정성(Negation), 가능성(Possibility), 개연성(Probability)은 중요한 개념들입니다. 이 세 가지 개념은 다음과 같이 설명할 수 있습니다:

1. **부정성(Negation)**: 명제의 진리값을 반대로 바꾸는 연산자입니다. 명제 p가 참이면 그 부정 ¬p는 거짓이고, p가 거짓이면 ¬p는 참입니다. 양상논리에서는 필연성의 부정은 가능성이라는 관계가 성립합니다(¬□p ↔ ◇¬p).

2. **가능성(Possibility)**: 어떤 명제가 적어도 하나의 가능 세계에서 참일 수 있음을 나타냅니다. 기호로는 주로 ◇p로 표현하며, "p는 가능하다"라고 읽습니다. 이는 필연성(□)과 쌍대 관계에 있습니다.

3. **개연성(Probability)**: 명제가 참일 확률적 정도를 나타냅니다. 고전적 양상논리가 진리값을 이분법적으로 다룬다면, 개연성은 0부터 1 사이의 확률값으로 명제의 참일 가능성 정도를 수량화합니다.

이 세 개념은 양상논리학에서 다양한 형태의 추론과 논증을 분석하는 데 핵심적인 축으로 작용합니다. 특히 이 세 축을 통해 필연성, 우연성, 확률적 추론 등 다양한 양상적 관계를 형식화할 수 있습니다.

ㅡㅡㅡㅡㅡㅡㅡㅡ

엄밀히 말하자면, 양상논리학에서 이들을 공식적으로 "세 축"이라고 부르는 것은 일반적이지 않습니다. 양상논리학에서 중심이 되는 개념들은 주로 다음과 같습니다:

1. **필연성(Necessity)**: □p로 표기하며, "p는 필연적이다" 또는 "모든 가능 세계에서 p가 참이다"를 의미합니다.

2. **가능성(Possibility)**: ◇p로 표기하며, "p는 가능하다" 또는 "적어도 하나의 가능 세계에서 p가 참이다"를 의미합니다.

이 두 개념이 양상논리학의 기본 축이라고 할 수 있으며, 필연성과 가능성은 서로 정의 관계에 있습니다(□p ↔ ¬◇¬p, ◇p ↔ ¬□¬p).

부정성(Negation)은 양상논리학만의 특수한 개념이라기보다는 일반 논리학의 기본 연산자이고, 개연성(Probability)은 확률론적 논리나 베이지안 논리 등 별도의 분야로 발전했습니다.

따라서 부정성, 가능성, 개연성을 양상논리학의 "세 축"이라고 부르기보다는, 양상논리학은 주로 필연성과 가능성을 중심으로 발전했다고 보는 것이 더 정확합니다.

- dc official App

추천 비추천

0

고정닉 0

0

댓글 영역

전체 댓글 0
등록순정렬 기준선택
본문 보기

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 술 마시면 실수가 많을 것 같은 스타는? 운영자 25/04/14 - -
300938 파란 계간지 신인상 발표했나요? [4] 문갤러(118.216) 04.09 82 0
300937 오늘도 좋은 글을 써봅시다 런던공고갤로그로 이동합니다. 04.09 102 0
300936 불길 ㅇㅇ(211.234) 04.09 37 1
300933 예전에 문학 수업 듣다가 필기 적은건데 REALFORCE갤로그로 이동합니다. 04.09 63 0
300932 표정 0o(39.7) 04.09 50 0
300931 00(39.7) 04.09 58 0
300930 저항시를 한 편 써보았습니다. 평가 부탁드립니다. ㅇㅇ(124.48) 04.09 80 2
300929 문제 풀어봐... ㅇㅇ(39.115) 04.09 53 0
300928 고1 창작시 좀 봐주세요.. [1] 문갤러(58.29) 04.08 92 0
300927 시를하나 찾고있는데요 ㅇㅇ(106.101) 04.08 51 0
300925 니체는 문장력이 좋나요?? [1] 압도적갤로그로 이동합니다. 04.08 98 0
300924 다시 안녕하세요 압도적갤로그로 이동합니다. 04.08 50 0
300922 혜화 대학로 마로니에 공원 관련 시 아시는 분 있나요? ㅇㅇ갤로그로 이동합니다. 04.08 50 0
300921 야옹 그리고 안녕 [2] ㅇㅇ(118.222) 04.08 81 0
300917 세상 제일 멍청한 사람은 [1] ㅇㅇ(118.235) 04.08 106 1
300915 <돌멩이> 한 5~6년전에 시 입문 했을때 쓴 시 [2] 런던공고갤로그로 이동합니다. 04.08 100 0
300913 돌맹이 문갤러(180.226) 04.08 43 0
300912 오늘도 좋은 글을 써봅시다 런던공고갤로그로 이동합니다. 04.08 104 0
300911 깨달은 것 ㅇㅇ(118.235) 04.08 52 0
300910 깨달은 것 [3] ㅇㅇ(211.234) 04.08 75 2
300909 11월의 비 [2] 남킹갤로그로 이동합니다. 04.08 104 0
300908 <어린이 대공원> [1] ㅇㅇ(223.38) 04.07 73 0
300900 친구 이별해서 쓴 글 [1] 고수모갤로그로 이동합니다. 04.07 93 0
300899 봄, 눈, 개나리 [1] 00(61.84) 04.07 76 0
300898 자유 뇌절금지갤로그로 이동합니다. 04.07 48 0
300897 시배틀 결과발표 [9] 런던공고갤로그로 이동합니다. 04.07 125 0
300896 시를 적어봤습니다 ㅇㅇ(125.182) 04.07 55 0
300895 시: 짱깨의 미래 ㅇㅇ(223.38) 04.07 52 0
300894 바람이 분다 / 이소라 [3/1] 凡人(218.52) 04.07 127 1
300893 시배틀 <봄> [8] 런던공고갤로그로 이동합니다. 04.07 117 0
300892 깨달은 것 ㅇㅇ(211.234) 04.07 47 0
300891 깨달은 거 ㅇㅇ(211.234) 04.07 43 0
300890 브로콜리 잎 ㄱ..(223.38) 04.07 47 0
300888 어머니 그리고 페미 [4] 니그라토갤로그로 이동합니다. 04.07 113 0
300887 바람이 불어오는 곳 / 김광석 [1/1] 凡人(218.52) 04.07 137 1
300886 시 : 이름도 없는 거북 ㅇㅇ(223.38) 04.07 81 0
300885 시 : 선택받은 사람들 ㅇㅇ(223.38) 04.07 69 1
300884 야설이야 말로 가장 회화적이고 강렬한 시각적 언어 아닌가? [1] 헤이즐♪갤로그로 이동합니다. 04.07 67 0
300880 오늘도 좋은 글을 써봅시다 런던공고갤로그로 이동합니다. 04.07 102 0
300879 프란츠 카프카의 문학은 전부 우화적 성격을 띠는가? 헤이즐♪갤로그로 이동합니다. 04.07 44 0
300878 채식주의자가 정말로 에코페미니즘일까? 문갤러(182.231) 04.07 70 0
300876 화초에 물 주는 일을 좋아하시나요? [2] 문갤러(39.7) 04.07 92 0
300875 자작시 평가 부탁드려요 문갤러(121.139) 04.07 72 0
300874 25.04.07 5픽서폿빼고감갤로그로 이동합니다. 04.07 59 0
300873 소설 '소리와 분노'는 사춘기 소녀의 그것이다 [1] 헤이즐♪갤로그로 이동합니다. 04.06 87 0
300871 잃시찾 도전합니다! 문갤러(218.150) 04.06 43 0
300870 낯선 역에서 남킹갤로그로 이동합니다. 04.06 48 0
300869 [사탄의 정복자, 예수님.][ 니그라토갤로그로 이동합니다. 04.06 44 0
300868 문갤러(119.66) 04.06 42 0
300867 여자 울리고 때리고 강간하는 소설 추천좀 [2] 헤이즐♪갤로그로 이동합니다. 04.06 119 2
뉴스 [TVis] 유승범, 20억 빚진 이후…“브라질 청년, 아들로 품어” (특종세상) 디시트렌드 04.18
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2