Koara papers
Okada, Mitsuhiro
1-20 items (total 21)
A memoir of my teacher, Professor Akira Ôide (Akira Ohe)
- Author
- Okada, Mitsuhiro
- Publication Title
- Magazine name Philosophy Start Page 15 - End Page 18 (Publication Date）2021/03）
- ISSN
- 05632099
Towards a truthmaker interpretation of the semantics of linear logic
- Author
- Okada, Mitsuhiro
- Publication Title
- Magazine name Philosophy Start Page 19 - End Page 37 (Publication Date）2021/03）
- ISSN
- 05632099
"Philosophy of proofs" : towards new developments of philosophy of logic and mathematics
- Author
- Okada, Mitsuhiro
- Publication Title
- (Publication Date）2021）
Interdisciplinary reserch on logic and sensibility and its applications
- Author
- Okada, Mitsuhiro
- Publication Title
- (Publication Date）2019）
Interdisciplinary study on logic, with a special focus on intuitionistic logic
- Author
- Okada, Mitsuhiro
- Publication Title
- (Publication Date）2017）
Logic and computation of prediction, judgment and decision making
- Author
- Okada, Mitsuhiro
- Publication Title
- (Publication Date）2016）
Interdisciplinary Study in Philosophy of Logic : With a special focus on theory of inferences and proofs of intuitionistic logic
- Author
- Okada, Mitsuhiro
- Publication Title
- (Publication Date）2014）
論理学的観点からのメンタルロジック理論の再検討
- Author
- Okada, Mitsuhiro
- Publication Title
- Start Page 5 - End Page 5 (Publication Date）2008/10）
Behavioral genetic study in adolescence and adulthood by twin method
- Author
- OKADA, MITSUHIRO
- Publication Title
- (Publication Date）2008）
A report on Euler diagrammatic reasoning system : theory and experiment design
- Author
- Okada, Mitsuhiro
- Publication Title
- Start Page 387 - End Page 402 (Publication Date）2008）
歪んだ真珠(バロック) : 音楽における規則性vs反規則性, またはロゴスvsパトス
- Author
- Okada, Mitsuhiro
- Publication Title
- Magazine name The geibun-kenkyu : journal of arts and letters Start Page 108(135) - End Page 126(117) (Publication Date）2003/06）
- ISSN
- 04351630
"Wittgenstein", Takashi Iida
- Author
- Okada, Mitsuhiro
- Publication Title
- Start Page 77 - End Page 83 (Publication Date）1999/12）
- ISSN
- 05632099
The role of the notion of "multiplicity" in Husserl's analysis of formal logic
- Author
- Okada, Mitsuhiro
- Publication Title
- Start Page 1 - End Page 43 (Publication Date）1997/03）
- ISSN
- 05632099
Cartesian notion of "proof" and his logical criterion for metaphysical proofs
- Author
- Okada, Mitsuhiro
- Publication Title
- Start Page 63 - End Page 86 (Publication Date）1996/03）
- ISSN
- 05632099
Note on the Strong Normalizability of the Logic with Self-Referential Predicates
- Author
- Okada, Mitsuhiro
- Publication Title
- Start Page 1 - End Page 14 (Publication Date）1993/07）
- ISSN
- 05632099
The dream and the reality of the "Ars Combinatoria" : towards the idea of automated reasoning systems
- Author
- Okada, Mitsuhiro
- Publication Title
- Start Page 143 - End Page 161 (Publication Date）1990/12）
- ISSN
- 05632099
Logical semantics and consistency proofs
- Author
- Okada, Mitsuhiro
- Publication Title
- Start Page 61 - End Page 86 (Publication Date）1986/11）
- ISSN
- 05632099
人間の知的推論についての論理学的及び言語学的手法による分析
- Author
- Okada, Mitsuhiro
- Publication Title
- Magazine name Toward an integrated methodology for the study of the mind Start Page 1 - End Page 5 (Publication Date）2003）
「人間の知的推論についての論理学的及び言語学的手法による分析」15年度報告
- Author
- Okada, Mitsuhiro
- Publication Title
- Magazine name Toward an integrated methodology for the study of the mind Start Page 1 - End Page 6 (Publication Date）2004）
Some questions on cognitive models of deductive reasoning (Preliminary report)
- Author
- Okada, Masahiro
- Publication Title
- Magazine name Toward an integrated methodology for the study of the mind Start Page 7 - End Page 25 (Publication Date）2004）