|
'논리학' 카테고리의 설명
|
|
0
|
678
|
5월 4, 2020
|
|
속성이 될 수 있는 것들에 대한 제약
|
|
1
|
223
|
12월 25, 2024
|
|
이중 부정 제거 규칙에서 배중률 도출하기
|
|
1
|
252
|
12월 10, 2024
|
|
음주자 역설
|
|
2
|
290
|
11월 18, 2024
|
|
린 4와 커리-하워드 동형
|
|
0
|
118
|
11월 17, 2024
|
|
한국 고교 수학 교과서는 '명제' 용어를 어떻게 쓰는가
|
|
15
|
1130
|
11월 11, 2024
|
|
이차원 의미론에 대한 노트
|
|
3
|
423
|
11월 9, 2024
|
|
논리학의 성부와 성자는 누구인가?
|
|
6
|
415
|
11월 7, 2024
|
|
어떤 만화는 논리학 만화이다 - 1. 들어가며
|
|
7
|
638
|
11월 7, 2024
|
|
「후설 현상학의 일반적 입문 - 『이념들 i』을 중심으로 1: 본질의 유형학」
|
|
0
|
189
|
10월 21, 2024
|
|
[영상] Mark Jago - Truthmaker Semantics
|
|
5
|
222
|
10월 15, 2024
|
|
헤겔의 논리학의 범주의 자기 적용성
|
|
2
|
227
|
9월 28, 2024
|
|
증명, 명제 그리고 명제들의 유형
|
|
17
|
563
|
9월 25, 2024
|
|
"린 4로 하는 정리 증명" 교재의 해설 영상을 만들고 있어요
|
|
0
|
190
|
9월 17, 2024
|
|
로버트 브랜덤이 논리철학에 대한 새 책을 출간했네요
|
|
2
|
508
|
8월 29, 2024
|
|
양상논리 문제풀이 질문
|
|
14
|
516
|
8월 10, 2024
|
|
증명 보조기와 유형론 알아보기
|
|
0
|
660
|
4월 23, 2024
|
|
어떤 오류가 사소한 실수인가
|
|
5
|
1059
|
4월 22, 2024
|
|
괴델의 완전성 정리와 불완전성 정리는 어떻게 공존 가능할까?
|
|
5
|
763
|
4월 5, 2024
|
|
350년 난제 '페르마의 마지막 정리' 컴퓨터 증명 나선 수학자들
|
|
0
|
418
|
4월 2, 2024
|
|
자연연역의 일관성 형식화
|
|
4
|
369
|
3월 19, 2024
|
|
유형론에 관한 학습 자료와 두 가지 물음
|
|
2
|
448
|
2월 19, 2024
|
|
철학에 대해 질문있습니다
|
|
14
|
2331
|
2월 16, 2024
|
|
거짓말쟁이 역설과 수리논리학 이야기
|
|
5
|
1834
|
2월 4, 2024
|
|
가정법과 논리적 형식 (上)
|
|
0
|
383
|
2월 3, 2024
|
|
Modal Logic: Translation into quantification theory
|
|
5
|
550
|
1월 8, 2024
|
|
What is the prevailing opinion today?
|
|
1
|
414
|
12월 11, 2023
|
|
[알림] 짓;다 연례 강좌: 논리학 공구 상자 열어보기
|
|
5
|
1443
|
10월 24, 2023
|
|
자연수라는 신기루: 수리논리학과 언어철학에 관한 짧은 이야기
|
|
13
|
2196
|
10월 16, 2023
|
|
논리학-수학, 철학의 관계
|
|
7
|
1729
|
7월 26, 2023
|