著者
久保田 貴大
出版者
The Philosophy of Science Society, Japan
雑誌
科学哲学 (ISSN:02893428)
巻号頁・発行日
vol.45, no.2, pp.15-27, 2012 (Released:2016-01-15)
参考文献数
12

Cryptographic schemes must be presented with a security proof based on complexity theory. However, security proofs tend to be complex and difficult to verify, because an adversary can access various kinds of oracles. The use of formal methods is a way to tame such complexity. Hoare logic has been used to verify properties of programs and its probabilistic extension has also been provided. In this paper,we introduce a probabilistic Hoare logic and its application to verification of security proofs of public key encryption schemes. Adversarial attacks are formalized as programs with probabilistic execution and security properties are formalized as first-order logic formulae.
著者
菊 幸一
出版者
日本スポーツ社会学会
雑誌
スポーツ社会学研究 (ISSN:09192751)
巻号頁・発行日
vol.19, no.1, pp.21-38, 2011-03-20 (Released:2016-09-13)
参考文献数
63
被引用文献数
1

本稿の目的は、スポーツ社会学における歴史社会学の可能性とは何かを明らかにすることである。 そこで、本稿では第1に、社会学における歴史社会学の性格や位置づけの特徴が、近代社会に対する予見的で社会科学的な理論的認識を強化する方向性をもつことを明らかにした。その上で第2に、スポーツ社会学における歴史社会学の特徴も、そのような社会学における歴史社会学の成立に影響され、その範囲でスポーツの近代性を特徴づけるための「中範囲の理論」をスポーツの歴史現象に求める傾向があることを示した。そこでは、具体的にスポーツのプロフェッショナル化や暴力、あるいは伝統の発明や文化の翻訳というテーマが取り上げられている。また、このような歴史社会学的視点は、スポーツ社会学において主要な研究方法となっている量的社会調査の説明においても応用可能性をもつものである。 一方、歴史社会学の対象としての「近代」とそれに基づくスポーツ認識からの問題設定の限界を超えるためには、その歴史認識の限界を指摘しなければならない。本稿では、平野[2005]が述べる、所謂「詩人の追放」をキーワードにしてギリシャ哲学の認識論にまで遡り、グローバル課題に向けた社会学的想像力を生み出す歴史社会学の新たな可能性を模索した。そこでは、従来のメディア・スポーツ研究の射程を超えた、人類史的な観点を含んだメディアとしてのプレイやゲーム、スポーツに対する歴史社会学的研究の重要性と可能性が示唆された。なぜなら、スポーツ社会学における歴史社会学の新たな可能性が、「スポーツ」という対象だからこそ拓かれると考えるからである。
著者
高 哲男
出版者
九州産業大学
雑誌
基盤研究(C)
巻号頁・発行日
2004

「本能」概念を中心としたアダム・スミスの人間本性論や科学方法論、社会的本能の概念を多用して進化を説明しようとしたチャールズ・ダーウィン、ダーウィンの影響の下に「生物学こそが経済学のメッカだ」と公言したマーシャル、さらに「進化論的経済学」を提唱したヴェブレンの制度進化論をそれぞれ学説史的に再検討した結果、おおよそ以下の事実が判明してきた。人間理性の役割を強調する啓蒙期の哲学・科学革命の進展の中で、人間と他の動物との客観的な比較が始まり、単純な人間機械論は排除される。科学革命の中では、ニュートンに代表される物理科学と並んで、リンネやビュフォンに代表される生物学研究が大きく進展し、人間の科学的な理解への道が大きく開ける。「人間性」が客観的な科学の対象として議論し始めるからである。こうしてヒュームのように、人間行動を社会のなかで理解するという観点から科学的に捉えなおそうという試みが始まり、18世紀の末には、心理学という用語が登場するようになる。アダム・スミスの『道徳感情の理論』は、明らかにこのような傾向の中で生み出されたものだ。もちろん、啓蒙期の「自然神学」的な人間性の解釈を根底から覆したのは、ダーウィンの進化論とくに『人間の由来』である。自己保存という本能と集団の仲間に対する社会的本能、この二つの本能が社会的動物である人間を基本的に特徴付けているというダーウィンの主張は、マーシャルとヴェブレンによって受け止められる。もっともマーシャルの場合は、ダーウィンと比べてさえ、まだ伝統的な価値観に対して大きな譲歩がなされており、進化論をその経済学体系の基礎にすえることはできず、『経済学』の後半で生かしたに過ぎない。これに対してヴェブレンは、人間性がもつ社会的特徴を、とくに競争心という「社会的本能の発現」が制度進化のプロセスにおいてもつ役割として理解し、独自の進化論的経済学の基礎にすえたが、「利己心」つまり「自己保存」という側面については、十分な解明がなされなかった。その意味では、利己心と互恵的利他心とを理論の基礎に据えていたスミスが、現代から見てもっとも「進化論的」な経済学を展開していた、ということができるのである。
著者
坂本 百大
出版者
日本哲学会
雑誌
哲学 (ISSN:03873358)
巻号頁・発行日
vol.1985, no.35, pp.1-18, 1985-05-01 (Released:2009-07-23)
著者
佐藤 嘉幸
出版者
日仏社会学会
雑誌
日仏社会学会年報 (ISSN:13437313)
巻号頁・発行日
vol.25, pp.39-51, 2014-11-30 (Released:2017-05-29)

Selon Max Weber, la sociologie désigne « une science qui se propose d’expliquer causalement le déroulement et les résultats de l’acte sociale ». En nous appuyant sur cette définition wébérienne, nous pouvons définir la philosophie sociale comme une discipline qui se propose d’expliquer causalement la condition qui fonde l’acte social. Quelle est alors la différence entre la sociologie et la philosophie sociale ? Nous pouvons l’expliquer comme suit : la sociologie cherche à interpréter causalement l’acte social en tant que phénomène alors que la philosophie sociale vise à dévoiler la condition qui fonde l’acte social, autrement dit, la condition d’expérience au sens kantien du terme. Elle ne désigne pourtant pas la condition apriori de l’expérience, mais la condition historique qui la détermine. Suivant cette hypothèse, cet article réfléchit sur les caractéristiques de la philosophie sociale par rapport à la sociologie à travers la lecture de Kant par Foucault et Negri-Hardt.
著者
富樫 遼太 後藤 春彦 森田 椋也 山崎 義人
出版者
日本建築学会
雑誌
日本建築学会計画系論文集 (ISSN:13404210)
巻号頁・発行日
vol.88, no.806, pp.1259-1270, 2023-04-01 (Released:2023-04-01)
参考文献数
23

Conventional architectural discussions have mainly focused on human living spaces. However, it is also a reality that spaces abandoned from living spaces are expanding. Those spaces are called ‘brownfields’, for example, and seen as problematic, but is there no significance in those actual state? This paper aims to clarify abandoned spaces that oppose human living spaces such as architecture by mixing the real image of mine sites and discussions of environmental philosophy. Specifically, the following characteristics of abandoned spaces were identified: [Multilayered traces] [Delocalization of traces] [Prosperity of industrienature] [Awaken senses of inconsistency].
著者
水島 久光
出版者
日本記号学会
雑誌
記号学研究 (ISSN:27588580)
巻号頁・発行日
vol.1, no.1, pp.1-19, 2023 (Released:2023-11-24)

20世紀に大きな議論となった「哲学と言語」の関係は、Linguistic Turnのラベルが貼られたまま、半ば消費しつくされオワコンと化した感がある。しかし後の「認知科学」や昨今のロボティクスへの注目の中に、その積み残しは深い傷として残されている。本論は認知言語学の雄、G.レイコフと協働者M.ジョンソンとの二冊の「共著」に注目し、「学際性」の問題を再考する試みである。レイコフとジョンソンはこれらの著作を通じて、言語から認知へと「転回」の時代の主題の変化をともにしたが、それは必ずしも論理展開や解釈を共有していたわけではなかった。そのことは、二人の思考の型の違いを表している。レイコフの演繹とジョンソンの帰納のすれ違い――その分析は、我々研究者誰しもが囚われてしまうリスク=学問の党派性、権威性への無意識を白日のもとに晒す契機となる。R.ローティやI.ハッキングの「言語」と「哲学」の関係性への問いを出発点に、認識のインターフェースの変遷とその連続性を提起し、そこに横串を通す可能性を有するものとして、記号の知(アブダクション)を改めて位置づける。
著者
森 達也
出版者
日本イギリス哲学会
雑誌
イギリス哲学研究 (ISSN:03877450)
巻号頁・発行日
vol.32, pp.91-106, 2009-03-20 (Released:2018-03-30)
参考文献数
41

By using J. L. Austin's speech act theory, various views on the relationship between law and liberty can be categorized into two types. Illocutionary force concerns the establishment of relationships among members, whereas perlocutionary force concerns the regulation of certain actions. Phillip Pettit's idea of freedom as discursive control, illocutionary and republican by its nature, seems to be sociologically more plausible than liberal ones. However, it is freedom as noninterference that enables man to move his discursive identity from one community to another. Moreover, Pettit seems to overlook the fact that in order to keep good discursive relationships or to save “face,” we sometimes disregard meaningfulness or truthfulness in speech.
著者
河見 誠
出版者
日本法哲学会
雑誌
法哲学年報 (ISSN:03872890)
巻号頁・発行日
vol.2007, pp.14-26, 2008 (Released:2021-03-31)

Thomas Aquinas is said to be not only the greatest medieval philosopher, but also the first modern figure. He put autonomic reason and the human being at the starting point of understanding being and belief. However, his attempt was persistently a compilation of ancient and medieval thoughts, therefore his concepts of autonomy of reason and humanity, which seemed quite modern and yet were quite different from those of the modern era onwards. I will focus on these differences and search into what the modern era cuts off from the medieval concept of reason and the image of human beings compiled by Thomas. Through this inquiry, we will uncover the points which we should reconsider modern legal thought. According to Thomas, autonomy of reason means that reason can grasp being and essence by its own power. However, reason presupposes them both when it works. Truth in speculative reason is conformity of intellect and thing. Moreover, truth in practical reason is conformity of intellect and right appetite, that is, will. Being and reason are not in a one-way, linear relation, but in a two-way, circular relation. From being to reason, reason to will, will to being. From the perspective of such a circular development, the character or position of the human being would be as follows : “incompleteness,” “just a part of being order,” “having a role in realization of being” (from possibility to reality), “trial and error in the process of human activity.” The modern era requires law and legal thought as normative support for breaking the connec tive ring of being, reason, and will. If such modern efforts bring about the opposite human character or position, that is, “human unrestrainedness,” “lack of holistic perspective in under standing being,” “loss of objective purpose,” “arbitrary action and perception,” and such character or position causes a huge distortion to humanity, society and nature, law and legal thought should enter the process of connecting the circular ring. This is what Thomas Aquinas’ philosophy would suggest.
著者
堅田 研一
出版者
日本法哲学会
雑誌
法哲学年報 (ISSN:03872890)
巻号頁・発行日
vol.1996, pp.120-128, 1997-10-30 (Released:2008-11-17)
参考文献数
5