Journal ArticleDOI
Derivation and Counterexample: An Introduction to Philosophical Logic
Reads0
Chats0
About:
This article is published in Teaching Philosophy.The article was published on 1975-04-01. It has received 11 citations till now. The article focuses on the topics: Philosophy of logic & Counterexample.read more
Citations
More filters
Book
Constraint-Aided Conceptual Design
TL;DR: This research provides a novel approach to supporting the human designer during the conceptual phase of engineering design and demonstrates how life-cycle knowledge can be incorporated into the conceptual design of a product and how alternative schemes can be compared.
Proceedings Article
Conditional existence of variables in generalized constraint networks
James Bowen,Dennis Bahler +1 more
TL;DR: This paper has developed, implemented and applied a constraint language in which any sentence in full first-order free logic, about a many-sorted universe of discourse which subsumes R, is a well-formed constraint.
Journal ArticleDOI
Unifying quantified modal logic
TL;DR: It is the purpose of this paper to show that abandonment of the weaker QMLs is excessively fainthearted, since mostQMLs can be given relatively simple formulations within one general framework, and the purported complications evaporate.
Journal Article
Definitions in nonstrict positive free logic
Raymond D. Gumb,Karel Lambert +1 more
TL;DR: The deenition theory of nonstrict positive free logic is presented, and it is shown that suitable transformations of sentences in standard logic into sentences in nonStrict positiveFree logic preserve many properties of deenitions in standard Logic.
Parafrasando Vignaux. Il posto della logica nella storia del pensiero medievale
TL;DR: Vignaux as mentioned in this paper provides a sound historical account of the role of logic in the development of medieval philosophical and theological reflection, which requires a thorough examination of its historical roots and its theoretical implications.
References
More filters
Book
Constraint-Aided Conceptual Design
TL;DR: This research provides a novel approach to supporting the human designer during the conceptual phase of engineering design and demonstrates how life-cycle knowledge can be incorporated into the conceptual design of a product and how alternative schemes can be compared.
Proceedings Article
Conditional existence of variables in generalized constraint networks
James Bowen,Dennis Bahler +1 more
TL;DR: This paper has developed, implemented and applied a constraint language in which any sentence in full first-order free logic, about a many-sorted universe of discourse which subsumes R, is a well-formed constraint.
Journal ArticleDOI
Unifying quantified modal logic
TL;DR: It is the purpose of this paper to show that abandonment of the weaker QMLs is excessively fainthearted, since mostQMLs can be given relatively simple formulations within one general framework, and the purported complications evaporate.
Journal Article
Definitions in nonstrict positive free logic
Raymond D. Gumb,Karel Lambert +1 more
TL;DR: The deenition theory of nonstrict positive free logic is presented, and it is shown that suitable transformations of sentences in standard logic into sentences in nonStrict positiveFree logic preserve many properties of deenitions in standard Logic.
Parafrasando Vignaux. Il posto della logica nella storia del pensiero medievale
TL;DR: Vignaux as mentioned in this paper provides a sound historical account of the role of logic in the development of medieval philosophical and theological reflection, which requires a thorough examination of its historical roots and its theoretical implications.