한곳에서 찾는 논리 자료

통합검색

연구와 학습, 시험과 도서를 한곳에서 찾습니다.

검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

세 연구자가 논문과 도표를 함께 검토하고 작은 갈색 안경 올빼미가 곁에서 책을 읽는 모습

관심 주제로 찾아보기

조건 초기화

통합검색1890건

검색 결과 제목

  1. 391가능한 세계마다 이름을 붙이면 보통 양상논리보다 무엇을 더 말할 수 있을까?
  2. 392‘A 또는 B’를 증명하려면 어느 쪽인지도 보여 주어야 할까?
  3. 393질문에 답하기 전에, 질문이 이미 참으로 놓은 말을 찾을 수 있을까?
  4. 394행동을 하나의 논리 연산자로 다룰 수 있을까?
  5. 395한 가지가 바뀌었을 때, 나머지는 그대로라고 어떻게 판단할까?
대기, 응시, 제출 세 상태와 응시 상태 이름 e, 현재 위치에서 e로 평가점을 옮기는 화살표

가능한 세계마다 이름을 붙이면 보통 양상논리보다 무엇을 더 말할 수 있을까?

대기, 응시, 제출 세 상태와 응시 상태 이름 e, 현재 위치에서 e로 평가점을 옮기는 화살표
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

가능한 세계마다 이름을 붙이면 보통 양상논리보다 무엇을 더 말할 수 있을까?

혼합논리는 한 세계에서만 참인 ‘이름 명제’와 특정 세계로 평가 지점을 옮기는 연산자를 더해, 시간·상태의 동일성과 국소 사실을 표현합니다.

Hybrid Logic

게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
A 또는 B라는 목표에서 A의 증명이나 B의 증명 가운데 하나를 실제로 제시해야 한다는 두 갈래 흐름

‘A 또는 B’를 증명하려면 어느 쪽인지도 보여 주어야 할까?

A 또는 B라는 목표에서 A의 증명이나 B의 증명 가운데 하나를 실제로 제시해야 한다는 두 갈래 흐름
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

‘A 또는 B’를 증명하려면 어느 쪽인지도 보여 주어야 할까?

직관주의 논리는 참을 구성 가능한 증명과 연결합니다. 배중률과 이중부정 제거가 왜 자동 규칙이 아닌지 살펴봅니다.

Intuitionistic Logic

게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
원래 질문과 그 질문의 배경, 기록 확인 질문을 분리한 도식.

질문에 답하기 전에, 질문이 이미 참으로 놓은 말을 찾을 수 있을까?

원래 질문과 그 질문의 배경, 기록 확인 질문을 분리한 도식.
논증과 대화논리학 배우기 · 개념·이론 · 일반

질문에 답하기 전에, 질문이 이미 참으로 놓은 말을 찾을 수 있을까?

언어학의 전제 연구는 발화가 새로 주장하는 내용과 배경으로 처리하는 내용을 구분합니다. 토론 질문을 더 정확하게 고치는 방법을 생각해 봅니다.

Presupposition

게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
이동은 위치만 바꾼다는 가정 아래 선반만 1에서2로 바뀌고 제목 쪽수 대출 상태는 유지된다.

한 가지가 바뀌었을 때, 나머지는 그대로라고 어떻게 판단할까?

이동은 위치만 바꾼다는 가정 아래 선반만 1에서2로 바뀌고 제목 쪽수 대출 상태는 유지된다.
인간의 사고와 추론논리학 배우기 · 개념·이론 · 일반

한 가지가 바뀌었을 때, 나머지는 그대로라고 어떻게 판단할까?

프레임 문제는 행동의 결과뿐 아니라 바뀌지 않는 사실을 어떻게 다룰지 묻습니다. 관련 정보만 골라 생각하는 능력의 어려움을 살펴봅니다.

The Frame Problem

게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →

391–395 / 1890편