### Term negation in first-order logic

#### Abstract

#### References

Almukdad, A. and Nelson, D. (1984), ‘Constructible falsity and inexact predicates’, The Journal of Symbolic Logic 49(1), 231–233.

Audi, R. (1999), The Cambridge Dictionary of Philosophy, 2 edn, Cambridge University Press.

Barnes, J. (1969), ‘The law of contradiction’, The Philosphical Quarterly

(77), 302–309.

Bergmann, M. (1977), ‘Logic and sortal incorrectness’, The Review of Metaphysics 31(1), 61–79.

Berto, F. (2015), ‘A modality called ‘negation”, Mind 124(495), 761–793.

Dunn, J. M. and Hardegree, G. M. (2001), Algebraic Methods in Philosophical Logic, Clarendon Press, Oxford.

Englebretsen, G. (1974), ‘A note on contrariety’, Notre Dame Journal of Formal Logic 15(4), 613–614.

Englebretsen, G. (1981), Logical Negation, Van Gorcum, Assen.

Englebretsen, G. (1996), Something to Reckon With: The Logic of Terms, University of Ottawa Press.

Frege, G. (1919), Die Verneinung. Eine Logische Untersuchung., in

‘Beiträge zur Philosophie des deutschen Idealismus, I’, pp. 143–157. (Translated as ‘Negation’, by P. Geach and R. Stoothoff, in McGuinness (ed.) Collected Papers on Mathematics, Logic, and Philosophy, Oxford: Blackwell, 1984, pp. 373–389.).

Geach, P. T. (1969), ‘Contradictories and contraries’, Analysis 29(6), 187–190.

Horn, L. (1989), A Natural History of Negation, Chicago University Press,

Chicago.

Humberstone, L. (2008), ‘Contrariety and Subcontrariety: The Anatomy of Negation (with Special Reference to an Example of J.-Y. Béziau)’, Theoria 71(3), 241–262.

Humberstone, L. (2011), The Connectives, MIT Press.

Lenzen, W. (1996), Necessary conditions for negation operators, in H. Wansing, ed., ‘Negation: A Notion in Focus’, De Gruyter, New York and Berlin, pp. 37–58.

McCall, S. (1967), ‘Contrariety’, Notre Dame Journal of Formal Logic 8(1-2), 121–132.

Novák, L. (2009), ‘Conceptual atomism, `aporia generis' and a way out

for Leibniz and the Aristotelians’, Studia Neoaristotelica 6(1), 15–49.

Priest, G. (1987), In Contradiction, Martinus Nijhoff, Dordrecht. (Second expanded edition Oxford, Oxford University Press, 2006).

Sommers, F. (1963), ‘Types and ontology’, The Philosophical Review 72(3), 327–363.

Sommers, F. (1967), On a Fregean dogma, in I. Lakatos, ed., ‘Problems in the Philosophy of Mathematics. Proceedings of the International Colloquium in the Philosophy of Science, London, 1965’, Vol. 1, North-Holland Publishing Company, Amsterdam, pp. 47–81.

Sommers, F. (1970), ‘The calculus of terms’, Mind 79(313), 1–39.

Sommers, F. (1982), The Logic of Natural Language, Clarendon Press, Oxford.

Sommers, F. and Englebretsen, G. (2000), An Invitation to Formal Resoning: The Logic of Terms, Ashgate.

Von Wright, G. H. (1959), ‘On the logic of negation’, Commentationes PhysicoMathematicae 22, 1–30.

Wansing, H. (2001), Negation, in L. Goble, ed., ‘The Blackwell Guide to Philosophical Logic’, Blackwell, pp. 415–436.

Wessel, H. (1983), Logik, VEB Deutscher Verlag der Wissenschaften.

Wojciechowski, E. (1997), ‘External and internal negation in modal logic’, Conceptus 30(76), 57–66.

### Refbacks

- There are currently no refbacks.