On the relation between modality and tense

Correia, Fabrice; Rosenkranz, Sven

doi:10.1080/0020174x.2019.1698456

Cited by 3 publications

(2 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Su lenguaje, L D , simplemente cambia a [K] y ⟨K⟩ por [B] y ⟨B⟩. 8 En un modelo de Kripke, sólo cambiamos a Ψ K por Ψ B , ⟨E, Ψ B , ν⟩. 5 Para ahondar más sobre el hexágono, véase a Beziau [2].…”

Section: óGicas Al éTicas Dox áSticas Y Epist éMicas Normalesunclassified

See 1 more Smart Citation

Árboles semánticos para algunas lógicas alético-epistémico-doxásticas

Hernández

View full text Add to dashboard Cite

Omitiré paréntesis donde no haya ambigüedad. ∨, ⊃, ≡, 3, , ⊤ y ⊥ se definen como es usual. p | q = def ¬(p ∧ q), y se lee 'p es incompatible con q'.Un modelo de Kripke para interpretar a L A es una tupla ⟨W , R, ν⟩. W es un conjunto no vacío de mundos posibles. Hablaré un poco sobre estos en los capítulos 2, 4 y 5. R es una relación binaria de accesibilidad, R ⊆ W × W , de forma que Rww ′ significa que w accede a w ′ . 2 ν es una función de tuplas de mundos posibles y parámetros proposicionales al conjunto de valores clásicos de verdad, ν : W × P → {1, 0}, de forma que ν w (p) = 1 quiere decir que en w, p es verdadera.Las condiciones de verdad de los elementos de L A son las siguientes:Sea Σ un conjunto de fórmulas bien formadas. La validez semántica (|=) se define por la preservación de la verdad a través de mundos:Para la validez sintáctica o teoría de la demostración, ⊢, podemos usar tanto sistemas axiomáticos como de árboles. En este capítulo, sólo veré aproximaciones axiomáticas.El sistema axiomático de K 2 consta de:(LC) Todos los axiomas y teoremas, ⊢ φ, de la lógica clásica proposicional (SU) Si ⊢ φ y p forma parte de φ, entonces la fórmula resultante, φ ′ , al sustituir uniformemente p por ψ, [p/ψ], también es válida,(MP) es modus ponens para el condicional material. (N2) se conoce como la regla de necesariedad (alética), e indica que una verdad lógica (analítica) es una verdad necesaria. Si φ es una verdad lógica, φ es verdadera en cualquier mundo posible en el que se le evalúe. (C2) se conoce como el principio de cerradura, es el axioma característico de K 2 y es válido en todas las lógicas modales normales. 3 9 Que las creencias pueden ser falsas, pero no el conocimiento, puede rastrearse hasta Platón (Gor-

show abstract

Section: óGicas Al éTicas Dox áSticas Y Epist éMicas Normalesunclassified

“…Las líneas ( 8) a ( 11) se dan por la reflexividad de R e dado el nuevo estado epistémico en la rama. La línea (12) surge por la regla para negaciones no verdaderas aplicada a la línea (8). Las líneas ( 13) y ( 14) se dan por la reflexividad de R e dado el nuevo mundo posible en la rama -w 2 .…”

Section: óGica Epist éMica Intuicionistaunclassified

Árboles semánticos para algunas lógicas alético-epistémico-doxásticas

Hernández

View full text Add to dashboard Cite

show abstract

Tableaux for Some Modal-Tense Logics Graham Priest’s Fashion

Hernández

2022

Stud Logica

View full text Add to dashboard Cite

How the Block Grows

Loss¹

2022

American Philosophical Quarterly

View full text Add to dashboard Cite

I argue that the growing-block theory of time and truthmaker maximalism jointly entail that some truthmakers undergo mereological change as time passes. Central to my argument is a grounding-based account of what I call the “purely incremental” nature of the growing-block theory of time. As I will show, the argument presented in this paper suggests that growing-block theorists endorsing truthmaker maximalism have reasons to take composition to be restricted and the “block” of reality to literally grow as time goes by.

show abstract

On the relation between modality and tense

Cited by 3 publications

References 22 publications

Árboles semánticos para algunas lógicas alético-epistémico-doxásticas

Árboles semánticos para algunas lógicas alético-epistémico-doxásticas

Tableaux for Some Modal-Tense Logics Graham Priest’s Fashion

How the Block Grows

Contact Info

Product

Resources

About