Crítica: revista hispanoamericana de filosofía, المجلد 138Instituto de Investigaciones Filosóficas, Universidad Nacional Autónoma de México, 2014 |
من داخل الكتاب
النتائج 1-3 من 21
الصفحة 13
... prueba simplemente es una consecuencia inmediata del teorema 1 . Recordemos que estos resultados se obtienen a partir del hecho de que el conjunto de las verdades lógicas ( y razonamientos válidos ) puede ser codificado en la aritmética ...
... prueba simplemente es una consecuencia inmediata del teorema 1 . Recordemos que estos resultados se obtienen a partir del hecho de que el conjunto de las verdades lógicas ( y razonamientos válidos ) puede ser codificado en la aritmética ...
الصفحة 14
... prueba ( proof - theoretical valid- ity ) y validez semántica ( model - theoretical validity ) . Así , sean Valp ( < ... > ) y Vals ( < ... > ) predicados cuya interpretación pretendida es validez en sentido sintáctico y validez en ...
... prueba ( proof - theoretical valid- ity ) y validez semántica ( model - theoretical validity ) . Así , sean Valp ( < ... > ) y Vals ( < ... > ) predicados cuya interpretación pretendida es validez en sentido sintáctico y validez en ...
الصفحة 24
... Prueba : Φι - Φο 1 Ya que VS1 es válida , obtenemos : + Val ( < H1 > , < §2 > ) Pero nótese que la fórmula anterior es de la forma + Val ( s ( ... s ( 0 ) . . . ) , s ( . . . ( s ( 0 ) . . . ) ) ) Y , por sustitutividad lógica ...
... Prueba : Φι - Φο 1 Ya que VS1 es válida , obtenemos : + Val ( < H1 > , < §2 > ) Pero nótese que la fórmula anterior es de la forma + Val ( s ( ... s ( 0 ) . . . ) , s ( . . . ( s ( 0 ) . . . ) ) ) Y , por sustitutividad lógica ...
طبعات أخرى - عرض جميع المقتطفات
عبارات ومصطلحات مألوفة
actual adscripción análogo mental argumento aritmética autorreferencia Beall belief Cambridge ciudadanos razonables Colyvan concepto de validez conciencia condicional consideraciones contenido de primera Cook correcta creencia consciente creencia de Eroom creencia de primera creer conscientemente cuasi-indéxico debe diagonalización discusión pública disposicional esencialmente indéxica Field fórmula fuerza normativa holism inconsistente Ketland lenguaje liberalismo político lógica clásica lógica de orden mathematical entities modelo de RP Murzi necesariamente consciente noción de validez oración orden superior acerca Oxford University Press paradoja de Curry paradoja del mentiroso pensador pensamiento de orden pensamiento de primera política pública predicado de validez primer orden primera persona propias de RP Public Reason Quong razones accesibles razones dependientes razones propias Recanati recursos lógicos reglas resultado Rosenthal scientific theories segundo orden teorema teoría de orden tesis deflacionista tesis del consentimiento theory triple estándar trivialidad Truth V-Curry validez lógica validez semántica valor último valores políticos Vals(<Þ verdad transparente VS₁