スタニスワフ・ヤシコフスキ

スタニスワフ・ヤシュコフスキ（ポーランド語発音：[staˈɲsvaf  jaɕˈkɔfskʲi]、1906年4月22日ワルシャワ生まれ- 1965年11月16日ワルシャワ没）は、証明論と形式意味論に重要な貢献をしたポーランドの論理学者。ヤン・ウカシェヴィチの弟子であり、ルヴフ＝ワルシャワ論理学派の一員であった。 1930年代にゲルハルト・ゲンツェンとは独立に自然演繹を発見し、その創始者の一人とみなされている。 ^{[ 1 ]}また、矛盾のない論理の研究でも知られている。^{[ 2 ]}トルンのニコラウス・コペルニクス大学の学長を務めた。

彼は1906年にワルシャワで、父フェリクス・ヤシュコフスキと母カジミエラ（旧姓ジエルジビツカ）の間に生まれた。1924年にザコパネの高校を卒業し、ワルシャワ大学に入学して数学を専攻した。ヤン・ウカシェヴィチに数学論理学を師事し、リヴィウ（1927年）とヴィリニュス（1931年）で開催されたポーランド数学者会議に参加した。

第二次世界大戦勃発後、彼は志願兵として9月作戦に参加した。1942年にはドイツ軍によって短期間投獄された。1945年、彼はトルン大学で研究活動を続け、教授資格を取得し、数理論理学部の学部長に就任した。

彼は1950年以来、ポーランド科学アカデミー（PAN）国立数学研究所と共同研究を行ってきた。1959年から1962年まで、同大学の学長を務めた。また、ポーランド数学会トルン支部の創設メンバーの一人であり、初代会長を務めた。

ヤシュコフスキは、 1930年代にゲルハルト・ゲンツェンとは独立に自然演繹法を発見した創始者の一人と考えられている。 ^{[ 3 ] [ 4 ]}ゲンツェンのアプローチは、当初はカット除去定理の証明に使えるため、論理学者の間でより人気があった。しかし、ヤシュコフスキのアプローチは、実際の証明方法により近い。彼はまた、矛盾許容論理（またはパラコンシステント論理）の形式的計算を最初に提案した人物の一人でもある。さらに、ヤシュコフスキは直観主義論理と自由論理の両方の研究の先駆者であった。

彼は1965年にワルシャワで亡くなり、ポヴォンスキ墓地に埋葬された。^{[ 5 ]}

• 形式論理における仮定の規則についてStudia Logica 1、1934年、 5-32頁（Storrs McCall編『 Polish Logic 1920-1939 』 、Oxford University Press、1967年、 232-258
• 直観主義論理体系の研究1936年（ストーズ・マッコール編『ポーランド論理学 1920-1939 』オックスフォード大学出版局、1967年、 259-263頁に翻訳収録）
• 矛盾した演繹体系のための命題論理1948年（Studia Logica、24 1969年、pp 143–157およびLogic and Logical Philosophy 7、1999年、pp. 35–56に再録 ）
• 矛盾した演繹体系における命題論理の議論的連言について1949年（『論理と論理哲学』第7巻、1999年、 57-59ページに再録）
• （個々の変数が2回以上出現しない数式について、記号論理学ジャーナル、31、1966年、1-6頁 ）

ポーランド語

• 「O symetrii w zdobnictwie i przyrodzie - matematyczna teoria jewelryów 」 （英語タイトル：「On Symmetry in Art and Nature」）、PWS、ワルシャワ、1952年（本168ページ）
• マテマティチュナ・テオリア・オーナメント(英語タイトル: Mathematical Theory of Ornaments )、PWN、ワルシャワ、1957 (本 100 ページ)

• ポーランドの数学者一覧
• ポーランドの科学技術の歴史年表

• Jerzy Perzanowski (1999). 「矛盾論理の50年」（PDF）。Logic and Logical Philosophy . 7 : 21–24 。2006年4月4日にオリジナル（PDF）からアーカイブ済み。
• ウォレンスキ、ヤン（2003）。「リヴィウ＝ワルシャワ学派」。スタンフォード哲学百科事典（2003年夏版） 。 2006年3月11日取得。
• イェジ・コタス、アウグスト・ピチュコフスキ。スタニスワフ・ヤシコウスキーの科学的著作、Studia Logica 21、1967、7-15

• 戦後ポーランドの論理学