Propositional logic: response to Ken López-Escobar

Manuscrito 31 (1):115-120 (2008)

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 44,462
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Chateaubriand on Propositional Logic.E. López-Escobar - 2008 - Manuscrito 31 (1):103-113.
Equivalence Between Semantics for Intuitionism. I.E. G. K. López-Escobar - 1981 - Journal of Symbolic Logic 46 (4):773-780.
Circumscription Within Monotonic Inferences.E. G. K. López-Escobar - 1988 - Journal of Symbolic Logic 53 (3):888-904.
Implicational Logics in Natural Deduction Systems.E. G. K. López-Escobar - 1982 - Journal of Symbolic Logic 47 (1):184-186.
Remarks on the Church-Rosser Property.E. G. K. López-Escobar - 1990 - Journal of Symbolic Logic 55 (1):106-112.
The Emptiness Problem for Intersection Types.Paweł Urzyczyn - 1999 - Journal of Symbolic Logic 64 (3):1195-1215.


Added to PP index

Total views
15 ( #561,898 of 2,273,192 )

Recent downloads (6 months)
1 ( #826,598 of 2,273,192 )

How can I increase my downloads?


My notes

Sign in to use this feature