Entradas

Mostrando las entradas de noviembre, 2023

Against the topic-transparency of logical operators

Imagen
There are some problematic cases for defenders of the hypothesis that logical form is topic-transparent, i.e. the claim that two statements that differ only in the logical composition off its atomic components cannot differ in topic:  On the one hand, many people, myself included, claim that tautologies are not about anything in the content of the atomic components that occur in them, but about the logical operators themselves. Presumably, sentences of the form ( P → ( Q → P )) are not about whatever P and Q are about, but about material implication: in particular, they tell us that if the consequent of an implication is true, the whole implication is true as well. The basic argument for this later claim is that whatever P and Q are about makes no difference to the content of the tautology.  Based on Wittgenstein, Lazerowitz and Ambrose, and myself , we have argued that even though sentences like “Triangles are my favorite geometrical figures” are about triangles, implicit analyt

Entrevista sobre Lógicas Relevantes [VIDEO]

Imagen
¿En qué sentido se habla de "relevancia" en las lógicas relevantes? ¿Qué relación tienen con el lenguaje natural, si alguno? Trato de responder estas y otras preguntas en esta entrevista.

The Semantic-Galois Connection of Fine-Grainedness

Imagen
Notes on Franz Berto’s first talk of the 2023 Cátedra Gaos Just as to be an intentionalist (like Kripke, but unlike Quine) is to take extentionality to be too coarse as tool for philosophically analyzing some phenomena, to be a hyperintentionalist (like Dunn and Restall, Berto, Chalmers, Yablo, Fine, etc. but unlike Lewis (sometimes), Stalker   (sometimes) , Montague, etc.) is to take intensionality (traditional modality) to be too coarse as tool for philosophically analyzing some phenomena. Intentionality is to material equivalence as hyper-intentionality is to necessary equivalence, but this can be extended ad infinitum, at least in principle, thus: Let R be an equivalence relation on a representational domain D , then H is a hyper-R operator iff not- R(H(p), H(q)) in spite of R(p, q) . In this schema, intentionality is hyper-extensionality, and hyper-intentionality is, well, hyper-intentionality. Thus, there can be hyper-hyper-intentionality and hyper-hyper-hyper-intentional