Results 91 to 100 of about 12,748 (219)

Referencia, nombres propios y comunidad lingüística

Areté, 2010
Desde la publicación de Naming and Necessity, muchos filósofos han asumido que el descriptivismo con respecto a la referencia de los nombres propios fue refutado de manera concluyente por las críticas de Kripke.
Pablo Cubides, Javier Guillot, David Rey, María Lucía Rivera   +3 more
doaj  

UNA MALA COMPRENSIÓN DE WITTGENSTEIN

Daimon, 1990
The aim of this paper is to show that Saul Kripke´s interpretation of Wittgenstein´s private languaje argument is misleading when he presents him as a sceptical.
Luis M. Valdés Villanueva
doaj  

A crítica de Kripke às teorias descritivistas de nomeação

Perspectiva Filosófica, 2013
Naming and Necessity é possivelmente a obra mais importante do filósofo estadunidense Saul Kripke. Nessa obra, ele apresenta uma série de argumentos contra a visão até então dominante sobre a semântica dos nomes próprios, visão esta que ele chamou de ...
Cícero Antônio Cavalcante Barroso
doaj  

Concurrent kripke structures

, 1993
We consider a class of Kripke Structures in which the atomic propositions are events. This enables us to represent worlds as sets of events and the transition and satisfaction relations of Kripke structures as the subset and membership relations on sets.
Vineet Gupta
core  

J an K ruschewski . Inner Model Theory and Kripke–Platek Set Theory . Universität Münster. 2025. Supervised by Farmer Schlutzenberg. MSC: Primary 03E45, Secondary 03E55, 03D60. Keywords: inner model theory, admissibility, mouse, Kripke–Platek set theory, constructibility, HOD, set-theoretic geology, Woodin cardinal, determinacy. [PDF]

openalex   +1 more source

On a slight weakening of Kripke-Platek Set Theory [PDF]

Zachiri McKenzie
openalex   +1 more source

Topological Structures of Fuzzy Modal Logics Based on Residuated Lattices

Mathematics
The purpose of this paper is to interpret fuzzy Kripke models as fuzzy information systems with objects and attributes. We introduce topological structures (interior, closure operators, Alexandrov pretopologies, Alexandrov precotopologies, fuzzy rough ...
Yong Chan Kim, Young-Hee Kim
doaj   +1 more source

GPU-Accelerated Search and Certification of Bounded Indistinguishability in Finite Kripke Semantics [PDF]

Faruk Alpay, Baris Basaran
openalex   +1 more source

Semantik ve Sentaks Arasında: Saul A. Kripke

, 2016
Bu bildirinin amacı Kripke’nin mümkün dünyalar semantiğinin temellerini araştırmaktır. Bu amaçla Kripke’nin sunduğu bu sistemin ortaya çıkmasında rol oynayan sentaktik ve semantik gelişmeler incelenecektir.
Çetres, İbrahim Halil
core   +2 more sources

Definability in Quantum Kripke Frames

, 2014
I characterize the first-order definable, bi-orthogonally closed subsets of a quasi-quantum Kripke frame satisfying a reasonable assumption. The techniques are generalization of those in Goldblatt's paper published in 1984.
Zhong, Shengyang
core