|
Modal Logic: Translation into quantification theory
|
|
5
|
569
|
1월 8, 2024
|
|
What is the prevailing opinion today?
|
|
1
|
423
|
12월 11, 2023
|
|
[알림] 짓;다 연례 강좌: 논리학 공구 상자 열어보기
|
|
5
|
1470
|
10월 24, 2023
|
|
자연수라는 신기루: 수리논리학과 언어철학에 관한 짧은 이야기
|
|
13
|
2292
|
10월 16, 2023
|
|
논리학-수학, 철학의 관계
|
|
7
|
1798
|
7월 26, 2023
|
|
증명과 관련된 나름의 재밌는 공상
|
|
4
|
817
|
5월 4, 2023
|
|
ChatGPT를 사용하여 논리적 동치 증명하기
|
|
14
|
1984
|
4월 6, 2023
|
|
2019학년도 수능 가능세계 지문에 대하여 -출제 오류 논란을 중심으로-
|
|
0
|
5827
|
3월 8, 2023
|
|
Sep, <스콜렘의 역설> 번역 (기본 개념, 서론 및 1절)
|
|
4
|
868
|
3월 8, 2023
|
|
'p&q→r'이나 'p→q&r'은 적형식인가?
|
|
2
|
838
|
1월 27, 2023
|
|
추론규칙과 공리의 명확한 차이가 뭔가요
|
|
10
|
1414
|
1월 11, 2023
|
|
⟪비트겐슈타인 새로 읽기⟫에 제시된 비트겐슈타인의 수학철학에 관한 보론과 비판
|
|
11
|
1600
|
1월 9, 2023
|
|
Subjunctive Mood - 약간의 정리
|
|
0
|
369
|
1월 5, 2023
|
|
양상논리 질문입니다
|
|
6
|
1159
|
1월 5, 2023
|
|
두 종류의 진리: 이승종과 이영철의 논쟁에 대한 고찰
|
|
0
|
981
|
12월 23, 2022
|
|
다음 명제를 분석명제라고 볼 수 있나요?
|
|
4
|
971
|
4월 1, 2022
|
|
논리학 기호화 문제 질문 가능할까요?
|
|
2
|
884
|
3월 26, 2022
|
|
논리학 문제 도움을 요청합니다
|
|
8
|
1165
|
3월 26, 2022
|
|
자기지시 없는 역설
|
|
15
|
1757
|
3월 23, 2022
|
|
기호 논리학 문제 하나 질문 가능할까요
|
|
20
|
2465
|
3월 20, 2022
|
|
논리학 기초 자료 공유
|
|
0
|
1942
|
3월 20, 2022
|
|
논리학을 공부하면 철학텍스트를 분석하는 데 도움되나요?
|
|
4
|
2472
|
2월 14, 2022
|
|
정의와 정리의 정리
|
|
5
|
2097
|
12월 21, 2021
|
|
모순율을 왜 준수해야 하는가?: 에른스트 투겐트하트 & 우슬라 볼프, 『논리-의미론적 예비학』 제4장
|
|
8
|
2921
|
5월 23, 2021
|
|
Metalogic for Sentential Logic Slides
|
|
0
|
526
|
4월 19, 2021
|
|
Use vs. Mention
|
|
5
|
1206
|
3월 20, 2021
|
|
Three-valued Propositional Logic and Supervaluationism
|
|
1
|
612
|
11월 27, 2020
|
|
Metalogic for Propositional Logic
|
|
2
|
1195
|
10월 13, 2020
|
|
타르스키의 참 이론: 콜린 맥긴, 「언어철학」 제8장 요약
|
|
3
|
1990
|
7월 30, 2020
|
|
타르스키의 증명에 관한 노트
|
|
3
|
1455
|
5월 14, 2020
|