Crítica: revista hispanoamericana de filosofía, المجلد 118Instituto de Investigaciones Filosóficas, Universidad Nacional Autónoma de México, 2008 |
من داخل الكتاب
النتائج 1-3 من 9
الصفحة 65
... regla de doble negación a λ , tenemos que e está en la rama , y por ser su grado lógico menor o igual que i , Me , y por evaluación de ¬ , MFY . • Una fórmula de tipo a . Entonces , sus dos componentes deben encontrarse en la rama , y ...
... regla de doble negación a λ , tenemos que e está en la rama , y por ser su grado lógico menor o igual que i , Me , y por evaluación de ¬ , MFY . • Una fórmula de tipo a . Entonces , sus dos componentes deben encontrarse en la rama , y ...
الصفحة 66
... regla que se aplica a cierta fórmula X. En caso de que dicha regla no afecte a la rama que estamos estudiando , es trivial que la rama sigue siendo satisfecha por M tras su aplicación . En otro caso , veamos qué ocurre según dicha regla ...
... regla que se aplica a cierta fórmula X. En caso de que dicha regla no afecte a la rama que estamos estudiando , es trivial que la rama sigue siendo satisfecha por M tras su aplicación . En otro caso , veamos qué ocurre según dicha regla ...
الصفحة 68
... ( regla de § - resolución ) . Dadas dos 8 - cláusulas Σ1 U { X } y Σ2 U { ¬X } , la regla de d - resolución produce su d - resolvente Σ1 - Σ2 : Σι υ { } Σε υ { - } Σι υ Σ2 Definición 15 ( demostración mediante § - resolución ) . Una 8 ...
... ( regla de § - resolución ) . Dadas dos 8 - cláusulas Σ1 U { X } y Σ2 U { ¬X } , la regla de d - resolución produce su d - resolvente Σ1 - Σ2 : Σι υ { } Σε υ { - } Σι υ Σ2 Definición 15 ( demostración mediante § - resolución ) . Una 8 ...
المحتوى
crítica | 2 |
EDUARDO FERMANDOIS | 29 |
FERNANDO SOLER TOSCANO Y ÁNGEL NEPOMUCENO | 57 |
3 من الأقسام الأخرى غير ظاهرة
طبعات أخرى - عرض جميع المقتطفات
عبارات ومصطلحات مألوفة
abducción acto actos de habla actos ilocucionarios actos ilocucionarios hostiles actos perlocucionarios AHH/SMV Aliseda amenazas aplicación Aristóteles Austin básica bigamia blanco blancura Brakel C-equivalente C-estructura C-satisfacible C-tabla C-válida calumnia coffee color percibido color real colores de Platón comprensión intercultural conceptos cromáticos conjunto consecuencia constituye contexto convencional conventions Crítica cultura d-cláusula d-resolución debe decir definiciones descripción densa doctrina ejemplo emanaciones embargo entonces epistémicos explicación explícitamente fenómeno fisicismo flujo visual fórmulas fuego Geertz Grice hablante hipótesis Hispanoamericana de Filosofía icosaedros infortunio intentions interpretación John Searle linguistic lista literales lógica mbuti mediante metáforas fuertes Metaphor Millikan mundo naturaleza need Nicoloff noción normal objetos palabras parece partículas patterns perlocucionarios podría posible Press primitivismo problema abductivo public language rama abierta razonamiento abductivo realizar regla satisface saturación Searle seems semántica sentido social soluciones C-abductivas speaker speakers Struycken subfórmulas syss tablas semánticas Teéteto teorema 16 Timeo traducción trata understanding verbos Wittgenstein