Sentences about logic are often used to show that certain embedding expressions are hyperintensional. Yet it is not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. In this paper, I develop a formal system called hyperlogic that is designed to do just that. I provide a hyperintensional semantics for hyperlogic that doesn’t appeal to logically impossible worlds, as traditionally understood, but instead uses a shiftable parameter that determines the (...) interpretation of the logical connectives. I argue this semantics compares favorably to the more common impossible worlds semantics, which faces difficulties interpreting propositionally quantified logic talk. (shrink)

Humans communicate with different modalities. We offer an account of multi-modal meaning coordination, taking speech-gesture meaning coordination as a prototypical case. We argue that temporal synchrony (plus prosody) does not determine how to coordinate speech meaning and gesture meaning. Challenging cases are asynchrony and broadcasting cases, which are illustrated with empirical data. We propose that a process algebra account satisfies the desiderata. It models gesture and speech as independent but concurrent processes that can communicate flexibly with each other and exchange (...) the same information more than once. The account utilizes the ψ-calculus, allowing for agents, input-output-channels, concurrent processes, and data transport of typed λ-terms. A multi-modal meaning is produced integrating speech meaning and gesture meaning into one semantic package. Two cases of meaning coordination are handled in some detail: the asynchrony between gesture and speech, and the broadcasting of gesture meaning across several dialogue contributions. This account can be generalized to other cases of multi-modal meaning. (shrink)

Departing from modal logic, Jean-Yves Girard, as a logician interested in philosophy, presented a distinction between essentialism and existentialism in logic. Carlos Lobo reflected about the Girard’s concept to reinterpret the Husserlian Platonism in regard of the status of logical modalities. We start rescuing the notion of modal logic in the Edmund Husserl’s works, especially Formal and Transcendental Logic and First Philosophy. Developing this reflexion, we propose a new contribution to this discussion, reinterpreting the platonic influence in the Husserlian notions (...) of eidos and science, light of some readings of Lee Hardy and Johanna M. Tito. As a conclusion of this dialogue between Husserl and Girard, the method of eidetic variation is presented as a tool to review the idea of science, in a manner consistent with the phenomenological approach. (shrink)