Results 21 to 30 of about 12,748 (219)

Citizen_Petition_from_Daniel_F Kripke,_MD [PDF]

, 2016
The undersigned, Daniel F. Kripke, M.D., submits this Citizen Petition under the Federal Food, Drug & Cosmetic Act, 21 C.F.R. §§ 10.30, to request that the Commissioner of Food and Drugs take the following administrative actions with respect to the ...
Kripke, DF, Kripke, DF,
core   +1 more source

Neighbourhood Semantics for Graded Modal Logic

Bulletin of the Section of Logic, 2021
We introduce a class of neighbourhood frames for graded modal logic embedding Kripke frames into neighbourhood frames. This class of neighbourhood frames is shown to be first-order definable but not modally definable.
Jinsheng Chen, Hans van Ditmarsch, Giuseppe Greco, Apostolos Tzimoulis   +3 more
doaj   +1 more source

La noción aristotélica de definición y la designación rígida de Saul Kripke: una semejanza

Theoría Revista del Colegio de Filosofía, 2023
Las implicaciones metafísicas de la designación rígida propuesta por Saul Kripke han sido duramente criticadas desde su presentación. Para varios autores, la atribución esencialista dada a la tesis de Kripke es equivocada, por lo que su análisis debería
Deborah Rodríguez Rodríguez
doaj   +1 more source

Quine, Davidson, Relative Essentialism and the Question of Being

Open Philosophy, 2018
Relative essentialism, the view that multiple objects about which there are distinct de re modal truths can occupy the same space at the same time, is a metaphysical view that dissolves a number of metaphysical issues.
Wheeler Samuel C.
doaj   +1 more source

The examination of Kripke's view on the problem of empty names [PDF]

حکمت و فلسفه
In this article, we will explain and examine Saul Kripke's views on the problem of empty names, by focuing on his book Naming and Necessity. The first and more detailed section of the article discusses Kripke's ideas in depth. He begins by addressing the
Mahdi Hafezi, Fereshteh Nabati
doaj   +1 more source

MS171: Interview with Margaret Kripke [PDF]

, 2014
An oral history interview with Margaret Kripke.
Kripke, Margaret, Ph.D., Houston Academy of Medicine-Texas Medical Center Library   +1 more
core   +1 more source

Kripke Semantics for Fuzzy Logics [PDF]

, 2018
Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example, intuitionistic logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the basic ...
Salehi, Saeed
core   +2 more sources

Kripke Semantics for MTL

We provide a generalisation of Kripke semantics for Monoidal TNorm Logic (MTL), and prove adequacy of the same. In doing so, we exploit constructions found in [3], extending insights from [7, 14, 15, 16] to MTL, a fuzzy logic lacking divisibility.
Lewis-Smith, Andrew, Zhiguang Zhao
core   +6 more sources

Ruh, Bilinç ve Zombiler: Metafizik Çıkmazlar ve Alternatif Yollar

Felsefe Dünyası
Bu makale, zombiler örneği üzerinden metafizik ve fiziksel hakikat arasındaki ilişkiyi ele almaktadır. Felsefede zombi, fiziksel tüm açılardan insana benzeyen ancak bilinci olmayan bir organizmadır.
Kayhan Özaykal
doaj   +1 more source

Expressiveness and Completeness in Abstraction [PDF]

Electronic Proceedings in Theoretical Computer Science, 2012
We study two notions of expressiveness, which have appeared in abstraction theory for model checking, and find them incomparable in general. In particular, we show that according to the most widely used notion, the class of Kripke Modal Transition ...
Tim A.C. Willemse, Maciej Gazda
doaj   +1 more source