形式論理における論理体系とそれに基づく形式理論 - 発声練習
情報学ブログ:科学が論理ではないけど正しい理由 と愚者の戯文：科学と論理は同じ「論理」という言葉を使って議論しているけど、実際に言及したい点が違っている。 形式論理において論理体系とは、以下の3つで構成されるもの。 論理式を構成する語彙 論理式の形成規則 どういう性質をもつ論理式を恒真式と見なすのかを決める論理的帰結 統語論の観点からは、論理的帰結はヒルベルト形式の公理システムとゲンツェンの自然演繹システムならば公理と推論規則で定義される。ゲンツェンのシーケント計算システムならば、始式と推論規則で定義される。他の形式システムではそれぞれに論理的帰結が定義されている。 ある分野の経験的真理（その分野では正しいと認められていること）をある論理体系 L の語彙と論理式の形成規則に基づく論理式として表現する。それらの経験的真理と論理体系Lをあわせ、Lの論理的帰結に従い、導出したすべての「真」である
鶏が先か卵が先か：女性研究者採用について - 発声練習
asahi.com（朝日新聞社）：女性研究者採用したら６百万円 文科省、増員狙い補助へ 女性研究者採用したら６百万円 文科省、増員狙い補助へ -- 2008年10月5日0時52分 大学などの研究機関が女性研究者の採用を増やせば、その分の人件費を補助します――。主要国で最低の女性研究者の割合をなんとか増やそうと、文部科学省は来年度からこんな優遇策を始める方針を決めた。研究の多様性を高める狙いもあるという。 日本の女性研究者の割合は、男女共同参画学協会連絡会によると１２．４％。米国（３４％）、フランス（２８％）、英国（２６％）に遠く及ばず、韓国（１３％）よりも低い。 このため、女性のための支援スタッフの配置や託児所の整備といった「環境づくり」中心のこれまでの施策では不十分と判断し、雇用に国費を直接つぎこむことにした。 計画では、女性の割合が特に低い理・工・農学系を対象に、人件費の一部と初期の研
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
