Yeon-Hong Kim(김연홍)

Picture 1: 어제 산책하다 찍은 셀카


Interests

Main interests

Forcing, substructural logic, fuzzy logic + mammals, birds, and water bears.

Hobbies

German idealism, critical theory, formal argumentation, computability, type theory, category theory, birdwatching.


Curriculum Vitae

2015.3-2019.2: B.A. in Philosophy, Chonnam National University

2019.3-2022.5: M.A. in Philosophy (not completed), Chonnam National University

2022.5-2023.8: On leave

2023.9-: M.A. in Philosophy (transferred), Jeonbuk National University

2024.12.7: Served as the President of Association for Less Walking(덜 걷기 협회)

Picture 2: 덜 걷기 협회


Thesis

그런 거 없다

Papers

그런 거 없다

Books

그런 거 없다

Conferences

Notes

Codes