論文 - 西脇　与作

自然選択と適応

哲学80　三田哲学会 80   1-24 1985年09月

単著

　概要を見る

進化論の基本的な概念である自然選択と適応の関係をDarwinの考えをもつに論理的に明らかにすることを目指したもの。適応度をもとに集団の遺伝子型の頻度変化としての選択の働きを考え、そこから小進化を定義し、それを拡大し進化全体を説明する仕組みが総合説の基本である。そして、その選択の働きの結果として適応が定義され、適応の歴史性が得られることになる。適応度、選択、適応の三つの概念の理論内での関係が定まることによって、総合説の構造が明瞭になる。これがこの論文の特徴である。

科学の中の一般性と個別性

看護研究18,4 18,4   337-344 1985年06月

単著

　概要を見る

自然科学がどのような対象を扱い、自然法則はどのような性格をもつかを具体例を使いながら論じたもの。科学的な知識の代表としての法則と個別的な事実を比較しながら、科学のもつ二つの異なる側面を明らかにした。特に、歴史を扱う自然科学と物理学に代表される非歴史的な理論を比較することによって、一般性と個別性の違いと共通するものを比較した。歴史的な個別的対象を扱うことができないという通念が誤りであることを指摘するのが本論文での目的であった。

合理性と進化

科学哲学17　日本科学哲学会 17   45-59 1984年09月

単著

　概要を見る

進化のパターンには二つあり、一つは斬進的な変化、他方は継続平衡的な変化である。この二つの変化のパターンと科学の歴史的な変化を比較し、そこの共通性が見られることを指摘する。科学の歴史に関する二つのパターンは進歩的な変化とパラダイム説に代表される相対説である。この相関は余りに合致していることから、生物進化と科学の知識の歴史との間の密接な関係が推測される。この関係がどの程度科学の知識の特徴づけに有効であるかが考察され、そこから、合理性の自然主義な理解の可能性が得られる。

生物種の指示について

科学基礎論研究　科学基礎論学 Vol.15,No.1   15-21 1981年10月

単著

　概要を見る

生物の種、つまりSpeciesは個体であるかどうかの意味論的な分析をしたのが本論文である。分類の基本単位である種は現在でもどのように定義されるべきか議論が続いているが、これを記述の束で置き換えることができるかどうかという問題として扱っている。固有名詞が一般名詞で置き換えられるかという観点から、種は一般的な性質によっては置き換えることができないというのが結論である。その結論から種は歴史的に連続する個体であるという考えを支持することが得られる。

曖昧さの論理

科学基礎論研究　科学基礎論学 Vol.13,No.4   17-24 1978年10月

単著

　概要を見る

この論文ではFuzzy論理あるいは多値論理のシステムにはどのようなものがあり、相互にどのような関係があるかが考察されている。排中津が成立しないところにFuzzy論理の特徴がある。真理値の与え方を中心にして、幾つかの論理システムが分類され、通常の二値のシステムとの比較が行われる。それらをもとに、言語の意味論への適用、さらには数学システムのFuzzy化の可能性が考察される。意味論では副詞の使い方がうまく数量化でき、数学では基本的な数学理論のFuzzy化が実行できる。

可能世界の論理的構図－二つの可能世界－

哲学28　日本哲学会 28   200-213 1978年05月

単著

　概要を見る

Model　Spacesの内容を哲学的に応用し、可能世界構造にモデル論の成果を使って分析したのだが本論文である。可能世界という概念は必然性、偶然性といった概念の分析には極めて有効であり、それによって哲学の手法が革新された。この可能世界の構造を論理的な側面からより明確にしようというのが目的である。通常の世界とその可能性がモデル論の供給するクラスによって、論理的な可能性はいわゆるKripkeモデルによって与えられる。この両者は独立のものではなく、整列されることが主要な結果である。

Frege的論理と非Frege的論理

藁谷敏晴、共同につき本人分抽出不可能

哲学65　三田哲学会 65   23-49 1977年09月

共著

　概要を見る

Fregeは現代論理学の創始者であるが、そのFregeの論理システムは真、偽の二値性が前提を取り去った形での論理システムを考えることができるが、これがここで言われる非Frege的な論理である。この二つの論理システムの比較をし、その関係を明らかにするのがここでの目的である。Frege的論理は非Frege的論理の一部に含まれるという意味で、非Frege的論理はFrege的論理に拡張になっていること、さらにWittgensteinの「論考」の分析に有効であることが明らかになった。

G.ブール論理の数学的分析

公論社    192 1977年08月

単著

　概要を見る

19世紀中葉の論理論理学者であるG.ブールの著者の翻訳とその解説からなる。ブールの論理学者の革新は論理システムを代数的な操作とみて、それを数学的システムとして書き直した点にある。その翻訳である本書は単なる翻訳ではなく、そこに詳細な解説を加え、代数的システムということでブールがどのような構想をもっていたかを再構成した。アリストテレスの論理システムとの関連とそこからの脱却の間に位置するブールの論理システムの性格を明らかにしたものである。(全192頁)

Model　Spaces

哲学66　三田哲学会 66   121-135 1977年03月

単著

　概要を見る

論理学におけるモデル論の二つの適用を一つの図式でまとめようとした論文。通常のモデル論ではあるクラスのモデルの関係を普遍代数的に考えるが、Kripkeらによって開発された可能世界意味論では一定の順序のモデルの系列を考え、それを酔う即論理のモデルとして扱う。これら二つのモデルの扱い方をまとめて、統一的な視点でモデル全体の構造を考えると通常の論理システムと様相論理のシステムの意味論的な関係が明瞭になる。それが定理としてまとめられている。

Booleの論理学

哲学64　三田哲学会 64   21-38 1976年03月

単著

　概要を見る

19世紀中葉の論理学者Booleは現在Boole代数の創始者として有名であるが、その論理的システムの分析を現代の記号論理学の観点から特徴づけた研究である。命題の記号による表現とその推論の型式化はBoole代数の最初の形になっている。しかし、幾つかの点でBoole独自の記号の使用が見られる。中でも選択関数はその後の集合論での選択公理に対応するものである。さらに、論理の型式化は部分的に確立にも応用されている。