Tag: logic

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, skill

한국어 자연어 추론을 표준 논리 좌표계로 정규화하는 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

@비트겐슈타인 Ludwig Wittgenstein 언어철학 논리철학논고 철학적탐구

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-09-05; tags: bib, deception, 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: 2024-09-08; tags: bib, logic, mathematics, theory, coq

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

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

#지식의분야

created: 2024-05-22; tags: bib, foundation, logic, mathematical, 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

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