conceptual

¿Qué determina que un operador oracional —una modalidad, un cuantificador, un adverbio— sea iterable o no? Se acepta comúnmente que los operadores modales del lenguaje natural son iterables, en la medida en que resultan inteligibles enunciados como "es posible que no se pueda hacer ya nada", donde el operador modal alético "pueda" cae dentro del alcance del operador modal alético"es posible". Otro ejemplo poco controvertido podría ser "me gustaría que me gustara cocinar, de modo que disfrutara tener que hacerlo” donde “gustará” cae dentro del alcance de “gustaría”.   Existen, sin embargo, otros casos que resultan carentes de sentido, o en los que una de las ocurrencias del operador parece no aportar nada semánticamente, es decir, hacen que el enunciado suene redundante, como "Siempre ha estado ahí siempre", "Ya es definitivo que la carrera queda cancelada definitivamente" o  "El sensor es exactamente exacto" . Para dar cu...

  There is something suspicious about our reliance on simple recursive definitions in logic — specifically, our custom of introducing logical operators into the language via inductive clauses of the form: if F1, F2, … Fn are wffs, then On(F1, F2, … Fn) is also a wff. This formulation tacitly assumes that all logical operators are what I have elsewhere (1994) called "homogeneous": their values belong to the same category as their arguments. In particular, it assumes they are all sentential operators, since both their arguments and their values are sentences. There are undeniable metalogical advantages to conceiving of logical language this way — advantages pressed on me by both Raúl Orayén and David McCarthy. Yet several philosophers of logic, including Frege, Łukasiewicz, Haack, and myself, have challenged this orthodoxy. Frege, for instance, introduced a logical operation from sentences to their contents — a kind of restricted disquotation — that is not sentential: although ...