In this paper we study the logic of relational and partial variable sets, seen as a generalization of set-valued presheaves, allowing transition functions to be arbitrary relations or arbitrary partial functions. We find that such a logic is the usual intuitionistic and co-intuitionistic first order logic without Beck and Frobenius conditions relative to quantifiers along arbitrary terms. The important case of partial variable sets is axiomatizable by means of the substitutivity schema for equality. Furthermore, completeness, incompleteness and independence results are (...) obtained for different kinds of Beck and Frobenius conditions. (shrink)
In this essay, I would like to look at two particular attempts of developing a preliminary question that paves the way for establishing a Filipino Philosophy: viz. Rolando Gripaldo’s Historian of Philosophy approach and Napoleon Mabaquiao’s Strict Discipline approach. The former envisages that the first question that needs to be considered in the discussion of Filipino Philosophy must be taken from the perspective of a scholar of the history of philosophy. The latter’s procedure is to take what academic philosophers (...) deem to be the characterization of their discipline. In effect, while the former’s question is a question of a historian of philosophy; the latter’s question is a question of a philosopher. As this essay progresses I will try to make a critical assessment of the two attempts by first showing the strengths and weaknesses of their respective attempts, and secondly by stressing that their attempts, whether successful or not, should already be taken as contributions to the effort of establishing a Filipino Philosophy. (shrink)
Rolando Chuaqui y yo, nos encontramos una ´ unica vez, en Bah´ıa Blanca en agosto 1992, en el Simposio Latino- Americano de L´ ogica Matem´ atica. Lamentablemente, Chuaqui muri´ o antes de mi pr´ oxima visita a Am´ erica del Sur, igual que otro gran l´ ogico latinoamericano, Carlos Alchourr´ on. Chuaqui estuvo en Bah´ıa Blanca juntos con varios alumnos que hablaron sobre aspectos de la l´.
Part of rethinking philosophy today, the author believes, is to rethink our logical concepts. The author questions the ontological existence of the proposition as the content of sentential utterances—written or spoken—as it was originally proposed by John Searle. While a performative is an utterance where the speaker not only utters a sentential or illocutionary content such as a statement, but also performs the illocutionary force such as the act of stating, the author reasserts John Austin’s constative as the general label (...) (genus) of specific utterances (species) that can be rendered true or false such as a statement, assertion, description, and prediction. In the remainder of the paper, the author tries to show that it is a category mistake for someone to assert a statement or to state an assertion. (shrink)