논문KCI 등재
A procedural Theory of Concepts and the Problem of Synthetic a priori
0
조회
0
다운로드
0
인용
0
참고문헌
주제분류철학
초록
Abstract
The Kantian idea that some judgments are synthetic even in the area of a priori judgments cannot be accepted in its original version, but a modification of the notions ‘analytic’ and ‘synthetic’ discovers a rational core of that idea. The new definition of ‘analytic’ concerns concepts and makes it possible to distinguish between analytic concepts, which are effective ways of computing recursive functions, and synthetic concepts, which either define non-recursive functions, or define recursive functions in an ineffective way. To justify this claim we have to construe concepts as abstract procedures not reducible to set-theoretical entities.
참고문헌 (16)
- Bealer, G, "Quality and Concept" (1982), Clarendon Press, Oxford
- Bolzano, B, "Wissenschaftslehre I" (1837), Sulzbach
- Church, Alonzo, "Introduction to Mathematical Logic I" (1956), Princeton
- Couturat, L, "Die philosophischen Prinzipien der Mathematik" (1908), Leipzig
- Cresswell, M.J, "Structured Meanings" (1985), MIT Press, Cambridge, Mass.
- Dubucs, M.Marion, "Radical Anti-realism and Substructural Logics (In Philosophical Dimensions of Logic and Science)" (2003), Kluwer
- Duzí, M, "Concepts, Language and Ontologies. (from the logical point of view) (In: Proc. of the 12th European-Japanese Conference on Information Modelling and Knowledge Bases)", pp.197~212 (2003), Kitakyushu, Japan
- Fletcher, P, "Truth, Proof and Infinity", pp.London, Kluwer Academic Publishers, Dordrecht
- Kleene, S.C, "Introduction to Metamathematics" (1952), D.van Nostrand Company, Inc., New York, Toronto
- Horák, A, "The Normal Translation Algorithm in Transparent Intensional Logic for Czech. PhD Thesis. See" (2001)
- Martin- Löf, P, "Analytic and Synthetic Judgments in Type Theory" (1992), Florence
- Materna, P, "Concepts and Objects", Acta Philosophica Fennica, 63 (1998), Helsinki
- Materna, P, "Simple Concepts and Simple Expressions (In: T.Childers)", pp.245~257 (2000), The Logica Yearbook 1999, Filosofia, Praha
- Moschovakis, Y, "Sense and denotation as algorithm and value, Postscript file, 39 pages. Published in Lecture Notes in Logic, #2 (1994)", J. Oikkonen and J. Vaananen, pp.210~249 (1994), Springer
- Tichý, P, "The Foundations of Frege s Logic" (1988), de Gruyter, Berlin, New York
- Zalta, E.N, "Intensional Logic and the Metaphysics of Intentionality" (1988), MIT Press, Cambridge, Mass., London
관련 논문AI추천
A Unified Theory of Event Individuation곽은주한국영어영문학회 · 영어영문학2002 · 제48권 제4호Kant on Form and Content in Cognition: A Reply to McDowellGünter Zöller동서사상연구소 · 철학∙사상∙문화2010 · 제10호Kant’s Nonconceptualism and the Transcendental Deduction오근창철학연구소 · 철학논집2021 · 제64권 Kripke's Theory of Truth and the Liar Paradox김도식한국논리학회 · 논리연구2004 · 제7권 제1호A Defense of A Posteriori Essentialism Concerning Particular Substances한성일한국논리학회 · 논리연구2024 · 제27권 제1호The Indeterminacy of Quantified Sentences and The Paradigm Concept of Vagueness이진희한국논리학회 · 논리연구2022 · 제25권 제2호