Propositional logic: response to Ken López-Escobar

Ken López-Escobar questions the timeless status of various entities—propositions, numbers, etc.—as well as my characterization of pure propositional logic as an ontological theory. In my response I argue that my characterization of propositional logic does not depend on timeless propositions, or on other abstract truth bearers, but is a characterization in terms of truth relations between any truth bearers. I also discuss his views on numbers as cultural constructs, as well as his use of quantification in propositional logic.Ken López-Escobar questiona o estatuto atemporal de vários entes—pro-posições, números, etc.— assim como minha caracterização da lógica proposicional pura como teoria ontológica. Na réplica argumento que minha caracterização não depende de proposições atemporais, ou de outros portadores de verdade abstratos, mas é uma caracterização em termos de relações de verdade entre quaisquer portadores de verdade. Examino também suas considerações sobre números como construtos culturais, assim como seu uso de quantificação na lógica proposicional