이름을 말할 수 있으면 그 대상도 반드시 존재할까?
자유논리는 가리키는 대상이 없는 이름을 허용하고, 이름이 들어간 문장에서 존재 결론으로 넘어갈 때 어떤 조건이 필요한지 따집니다.
Free Logic
게시 2026-09-22 · 약 9분논리학 학습 글 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과27건
검색 결과 제목
읽기·생활 추론Quantifiers and Quantification논리학 배우기
‘대부분이 좋아했다’면 민서도 좋아했다고 결론 내릴 수 있을까?
다수의 크기·개인의 집단 포함 여부·직접 응답을 바꾸어 한 사람에 대한 결론과 반례가 남는지 확인합니다.
Quantifiers and Quantification
게시 2026-09-16 · 약 26분논리학 학습 글 읽기 →
셀 수 있는 모형이 ‘셀 수 없는 집합’을 담을 수 있을까?
스콜렘의 역설은 외부에서 셀 수 있는 모형과 모형 내부의 셀 수 없음이 충돌하지 않는 이유를 보여 줍니다.
Skolem’s Paradox
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
한 행의 값만 보면 의존을 판단할 수 있을까?
의존논리는 여러 변수 배정을 한 팀으로 평가해 ‘같은 입력이면 같은 출력’이라는 함수적 의존을 논리식 안에 표현합니다.
Dependence Logic
게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
명제를 무한히 이어 붙여도 익숙한 논리 법칙이 성립할까?
무한 논리는 무한한 연언·선언으로 표현력을 넓히지만 콤팩트성·완전성 같은 1차 논리의 성질을 다시 따져야 합니다.
Infinitary Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
6–10 / 27편