The Normalization Theorem for Full First-Order Classical Natural Deduction with Generalized Elimination Rules This paper proves weak normalization, a restricted subformula property, and…
Two Types of Structure as Constraints in Mechanistic Modeling Mechanistic explanation is typically understood as a model-based activity, yet the role of structure…
Park’s Critiques of Hume’s Argument against Induction In his recent book Induction, Science, and Morality, Seungbae Park raises four key objections to David…
The Complete 5700 and 5700 Elite Instruction Manual version 1.00 Bulid 2026-06-14 Contents • Measurements And Features 측정 및 특징 • Getting To…
조준선 정렬이 어느 정도 잡힌 듯 하여, 탄착군을 줄여보는 연습 사격을 실시했다. 15cm에서 7cm 까지. 왜 7cm냐고 한다면… 차차 알려주겠다. 아래는 사격의 결과. …
영점사격 하듯이, 1차 3발 사격으로 조준선 정렬 사격을 해봤다. 역시… 7번째 만에 조준선 정렬에 성공했다. 결국, 방법은 연습 뿐이다. 아래 사진은, 사격의 결과.…
내가 조준, 격발, 명중 또는 추적을 하는 과정을 촬영하고 싶어서 스마트폰 장착 마운트를 구매했다. 장착을 했는데, 문제가 발생했다. 조준경 대물렌즈 부분의 전장이 바뀌는 것이…
옛날(?) 총기의 최대 단점은 접용점을 잡기가 몹시 힘들다는 것이다. 보통은 뺨이나 광대뼈를 개머리판에 대기 마련인데, 지금 내가 연습하는 저격소총은 아래턱뼈에 접용점을 잡아야 하는 어려움이…
AI와 레비나스(1). 인공지능의 알고리즘 전체성과 타자성의 위기 : 레비나스의 ‘동일자의 제국주의’ 비판을 중심으로 AI and Levinas(1). Algorithmic Totality of AI and the Crisis of…
베이컨 『노붐 오르가눔』: 우상론 Bacon’s Novum Organum: The Doctrine of Idols 베이컨은 『노붐 오르가눔』에서 인간이 자연을 탐구하는 과정에서 반복적으로 범하는 인식의 오류를 ‘우상’이라…