Tag: logic

created: 2024-09-05; tags: bib, deception, logic, ontology, posthuman

정보철학과 논리학, 그리고 디지털 객체의 존재론을 함께 엮어 정보사회에서 앎, 속임, 인포스피어, 관계론적 존재론을 어떻게 사유할지 탐색하는 참고축이다.

created: 2024-03-21; tags: autholog, classification, knowledge, language, logic, pkm

버퍼에서 시작한 날것이 용어·관계·분류·표현을 거쳐 지식공학과 검증 가능한 산출물로 이어지는 지식구조화의 바닥을 다시 묻는 autholog.

created: 2024-09-08; tags: bib, coq, formallanguage, logic, mathematics, theory

정주희는 수리논리와 집합론, 머신러닝을 넘나들며 수학적 엄밀함과 계산적 사고를 함께 보여주는 연구자이자 교육자다.

created: 2024-03-12; tags: ai, bib, foundation, logic, mathematics, philosophy, principle, science, technology, topology

수리논리, 위상수학, 수학기초론, 과학기술철학을 아우르는 개념서들을 모아 수학적 사고의 뼈대를 세우는 묶음이다.

created: 2025-02-13; tags: arts, bib, concepts, culture, dictionary, history, humanity, literature, logic, nature, philosophy, sociology, syntopicon, thought

논리·철학·역사·사회·자연·문학·예술의 핵심 개념을 폭넓게 정리해 인문학 전체를 가로질러 읽게 하는 사전이다.

created: 2026-05-13; tags: agent, aprj, botlog, logic, skills

한국어 자연어 추론을 표준 논리 좌표계로 정규화하는 logickocli의 문제의식, 리포 분리, Phase 1 정비, 다음 로드맵을 공개용 botlog 형식으로 정리했다.

created: 2023-06-17; tags: dictionary, glossary, logic

논리학과 언어철학에서 쓰는 개념어를 영어·한자말·한말로 대응시키려는 말꼴 테이블 기록 문서.

created: 2024-06-14; tags: howtouse, logic, orgmode, symbol, writing

조직모드에서 논리 기호를 입력하고 prettify-symbols로 보이게 하며 문장 관계와 추론을 압축해 표현하는 실전 노트.

created: 2024-05-19; tags: collection, logic, meta, symbol

수학과 논리, 양상논리에서 자주 만나는 기호와 읽는 법을 모아 둔 기호 컬렉션 노트. 관련 내용을 정리한 기록.

created: 2024-11-11; tags: abduction, bib, inference, logic, philosophy, reasoning, semiotics

찰스 샌더스 퍼스는 가추법과 기호논리학을 통해 탐구와 추론의 구조를 새롭게 연 미국 철학자다.

created: 2024-07-06; tags: bib, logic, mathematics, person, philosophy, proof

Ernest Nagel의 Godel's Proof는 incompleteness와 mathematical logic의 전환점을 짧고 선명하게 설명하는 고전이다.

created: 2024-12-06; tags: bib, language, linguistics, logic, philosophy

비트겐슈타인의 초기와 후기 작업을 함께 떠올리며 언어, 논리, 세계의 관계를 집요하게 묻는다. 그림이론에서 언어게임으로 이동하는 철학의 긴장을 한 축에서 읽게 한다.

created: 2025-04-15; tags: bib, clojure, datalog, lisp, lists, logic, programming, symbolic

Datalog와 Clojure 로직 프로그래밍의 접점을 기록한 개념 노트이다.

created: 2025-10-20; tags: paradox, mathematics, logic, bib

상식처럼 보이는 명제와 역설적 문제들을 수학과 논리의 시선으로 뒤집으며, 익숙한 세계를 의심하는 사고 훈련을 제공한다.

created: 2024-03-21; tags: bib, logic, philosophy

논리학과 인식론, 추론과 증명을 한국어 저작들로 엮어 비판적 사고의 기초를 다지는 흐름을 잡는다.

created: 2024-08-30; tags: bib, logic

박정일은 괴델·튜링·비트겐슈타인을 잇는 논리철학자이자 저술가로, 추상적 사고와 계산의 역사를 한국어로 풀어낸다.

created: 2024-03-18; tags: bib, linguistics, logic, philosophy

박병철은 러셀과 언어철학 입문서를 통해 명제, 의미, 언어적 전환의 핵심을 한국어로 풀어낸다.

created: 2024-12-20; tags: bib, logic, allegory, metaphor, analogy, abduction, rhetoric, persuade, creativity

김용규와 김유림은 설득을 말재주가 아니라 논리와 은유, 유추를 다루는 사고 기술로 풀어내며 글쓰기와 토론의 기초를 다진다.

created: 2024-05-31; tags: altruism, defense, logic, mechanism, meta

정신과 스트레스, 방어기제, 이타심, 승화는 심리적 긴장에 대응하는 인간의 내적 조절 방식을 함께 비춘다.

created: 2024-06-20; tags: bib, logic, mathematics, philosophy, python

수리논리의 핵심 개념을 파이썬 코드와 함께 익히며 증명, 모델, 계산 가능성의 감각을 기른다. 괴델과 형식 체계로 이어지는 논리학의 기초를 프로그래밍과 연결해 보여준다.

created: 2025-05-29; tags: logic, reasoning, bib, writing

논리적 사고와 문장 구성을 함께 다루며, 설득력 있는 글쓰기를 위해 무엇을 판단하고 어떻게 배열해야 하는지 익히게 한다.

created: 2025-05-29; tags: informal, logic, meta

비형식논리학은 일상 언어 속 주장과 추론을 분석하며 어디서 오류가 생기는지 따진다. 형식 체계 밖에서 벌어지는 논증의 설득력과 궤변의 패턴을 함께 살핀다.

created: 2025-05-29; tags: bib, informal, logic

전기차 위험성과 인공지능 위험성을 단순 비교할 때 생기는 거짓 동등성과 과도한 일반화 오류를 짚는다.

created: 2024-09-09; tags: bib, mathematics, category, theory, logic

유지니아 쳉은 카테고리이론과 논리를 요리와 일상 언어로 풀어내며 수학적 구조가 사고를 넓히는 방식을 보여준다.

created: 2025-05-09; tags: concepts, keywords, predicate, philosophy, bib, logic

현대철학의 핵심 술어와 개념어를 통해 지식의 방법과 사유의 틀을 차분하게 다시 짚어 정리한다.

created: 2025-04-30; tags: philosopher, logic, bib, youtuber

논리학당 채널과 저작을 통해 철학과 논리를 대중적으로 풀어내는 최승락의 작업과 문제의식을 모은다.

created: 2024-06-10; tags: bib, information, linguistics, logic, philosophy, polymath, science

논리철학, 과학방법, 언어철학을 바탕으로 사고를 정교하게 다듬는 김명석의 공부 체계를 모은다.

created: 2025-04-28; tags: applied, formal, history, logic, meta, philosophy, propaedia

논리학의 큰 지도를 세우며 형식논리와 비형식논리, 메타논리와 오류, 수리논리의 갈래를 함께 짚는다.

created: 2025-04-24; tags: logic, metameta, predicate, syntopicon

논리를 사고의 형식 규칙에만 두지 않고 개념·명제·추론·증명의 질서를 세우는 학문으로 다룬다.

created: 2025-04-20; tags: propaedia, branches, knowledge, logic, mathematics, science, philosophy, preservation, meta

메타지식 10은 철학, 과학, 수학, 논리 같은 지식의 큰 가지들을 서로 비춰 보는 묶음이다. 브리태니커식 프로피디아와 개인 지식 그래프 감각이 만나는 자리로 읽힌다.

created: 2024-05-22; tags: bib, foundation, logic, mathematics, meta, symbolic, theory

수리논리학과 기호논리학, 수학기초론은 수학 명제의 형식화와 증명의 근거를 다루며 수학의 토대를 묻는다.

created: 2024-09-08; tags: bib, guide, logic

피터 스미스의 Logic Matters는 논리학·괴델·LaTeX 학습 자료를 체계적으로 정리해 독학자의 길잡이가 되어준다.

created: 2024-03-20; tags: bib, logic

벤슨 메이츠의 『기호논리학』은 자연 연역과 메타논리를 통해 엄밀한 사고와 논증의 기초를 세우는 표준 교과서다.

created: 2024-03-18; tags: bib, logic

콜린 맥긴의 『언어철학』은 프레게부터 크립키, 타르스키까지 분석철학의 핵심 논쟁을 선명하게 정리한 입문서다.

created: 2024-11-11; tags: bib, coq, logic

박성우는 콕과 논리학 교육을 통해 증명, 형식화, 계산가능성의 기초를 차분히 다루는 연구자다.