The revival of rejective negation

Journal of Philosophical Logic

Volumn 29, Issue 4, 2000, Pages 331-381

  Humberstone, Lloyd ^a  

^a MONASH UNIVERSITY   (Australia)

Author keywords

Assertion; Connectives; Consequence relations; Denial; Negation; Rejection; Rules; Signed formulas

Indexed keywords

EID: 52649125929     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1004747920321     Document Type: Article

References (62)

1. Alston, W. P.: Philosophy of Language, Prentice-Hall, New Jersey, 1964.
2. Belnap, N. D.: Tonk, plonk and plink, Analysis 22 (1962), 130-134.
3. Bendall, K.: Natural deduction, separation, and the meaning of logical operators, J. Philos. Logic 1 (1978), 245-276.
4. Bendall, K.: Negation as a sign of negative judgment, Notre Dame J. Formal Logic 20 (1979), 68-76.
5. Baker, G. P. and Hacker, P. M. S.: Language, Sense and Nonsense, Basil Blackwell, Oxford, 1984.
6. Belnap, N. D. and Massey, G. J.: Semantic holism, Studia Logica 49 (1990), 67-72.
7. Bolinger, D.: Yes-no questions are not alternative questions, in H. Hiż (ed.), Questions, Reidel, Dordrecht, 1987, pp. 87-105.
8. Boričić, B. R.: On sequence-conclusion natural deduction systems, J. Philos. Logic 14 (1985), 359-377.
9. Carnap, R.: Formalization of Logic, reprinted in Introduction to Logic and Formalisation of Logic, Harvard University Press, Cambridge, Mass., 1961 (orig. published 1943).
10. Celluci, C.: Efficient natural deduction, in Proceedings of the Conference Temi e perspettive della logica e della filosofia della scienza contemporanee, Cesena 1987, Vol. 1, CLUEB, Bologna, pp. 29-57.
11. Cooper, W. S.: The propositional logic of ordinary discourse, Inquiry 11 (1968), 295-320.
12. Curry, H. B.: Foundations of Mathematical Logic, McGraw-Hill, New York, 1963.
13. Dreier, J.: Expressivist embeddings and minimalist truth, Philos. Stud. 83 (1996), 29-51.
14. Dummett, M.: Frege: Philosophy of Language, Duckworth, London, 1973.
15. Dummett, M.: The Logical Basis of Metaphysics, Harvard Univ. Press, Cambridge, Mass, 1991.
16. Frege, G.: Negation, in P. T. Geach and M. Black (eds.), Translations from the Philosophical Writings of Gottlob Frege, Blackwell, Oxford, 1952, pp. 117-135.
17. Gabbay, D. M.: What is a classical connective?, Zeitschr. für Math. Logik und Grundlagen der Math. 24 (1978), 37-44.
18. Gabbay, D. M.: Semantical Investigations in Heyting's Intuitionistic Logic, Reidel, Dordrecht, 1981.
19. Garson, J. W.: Categorial semantics, in J. M. Dunn and A. Gupta (eds.), Truth or Consequences: Essays in Honor of Nuel Belnap, Kluwer Academic Publishers, Dordrecht, 1990, pp. 155-175.
20. Gentzen, G.: Untersuchungen über das logische Schliessen, Mathematische Zeitschrift 39 (1934), 176-210 and 405-431. (English translation in M. Szabo (ed.), The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam, 1969.)
21. Halpern, J. Y.: Should knowledge entail belief?, J. Philos. Logic 25 (1996), 483-494.
22. Hare, R. M.: The Language of Morals, Clarendon Press, Oxford, 1957.
23. Hare, R. M.: Meaning and speech acts, Philos. Review 79 (1970), 3-24.
24. Hare, R. M.: Some sub-atomic particles of logic, Mind 98 (1989), 23-37.
25. Henkin, L.: Logical Systems Containing Only a Finite Number of Symbols, University of Montreal Press, Montreal, 1967.
26. Horn, L. R.: A Natural History of Negation, University of Chicago Press, Chicago, 1989.
27. Hart, W. D.: Prior and Belnap, Theoria 48 (1982), 127-138.
28. Horn, L. R.: A Natural History of Negation, University of Chicago Press, Chicago, 1989.
29. Humberstone, L.: Direction of fit, Mind 101 (1992), 59-83.
30. Humberstone, L.: Valuational semantics of rule derivability, J. Philos. Logic 25 (1996), 451-461.
31. Humberstone, L.: "Yes, I Agree", Studies in Language 22 (1998), 619-659.
32. Jeffrey, R. C.: Formal Logic: Its Scope and Limits, McGraw-Hill, New York, 1967.
33. Karttunen, L.: Syntax and semantics of questions, Linguistics and Philosophy 1 (1977), 3-44.
34. Kneale, W.: The province of logic, in H. D. Lewis (ed.), Contemporary British Philosophy: Third Series, Allen and Unwin, London, 1956, pp. 237-261.
35. Koslow, A.: A Structuralist Theory of Logic, Cambridge Univ. Press, Cambridge, 1992.
36. Kripke, S. A.: Distinguished constituents (Abstract), J. Symbolic Logic 24 (1959), p. 323.
37. Ladusaw, W. A.: Negative concord and "Modes of judgement", in H. Wansing (ed.), Negation - A Notion in Focus, de Gruyter, Berlin, 1996, pp. 127-143.
38. Lemmon, L. J.: Beginning Logic, Nelson, 1965.
39. Leblanc, H., Paulos, J. and Weaver, G. L.: Rules of deduction and truth-tables, Rep. Math. Logic 8 (1977), 71-79.
40. McCawley, J. D.: Truth functionality and natural deduction, in G. Epstein et al. (eds.), Proceedings of the 1975 International Symposium on Mutiple-Valued Logic, Indiana University, Bloomington, Indiana, pp. 412-418.
41. McCawley, J. D.: Everything Linguists Always Wanted to Know About Logic - But Were Ashamed To Ask, 2nd edn, University of Chicago, Press, Chicago 1993 (First edn. 1981).
42. Meyer, R. K.: First degree formulas in Curry's LD, Notre Dame J. Formal Logic 18 (1977), 181-191.
43. Price, H.: Does "Probably" modify sense?, Austral. J. Philos. 61 (1983), 396-408.
44. Price, H.: Sense, assertion, Dummett and denial, Mind 92 (1983), 161-173.
45. Price, H.: Facts and the Function of Truth, Basil Blackwell, Oxford, 1988.
46. Price, H.: Why "Not"?, Mind 99 (1990), 221-238.
47. Price, H.: Semantic minimalism and the Frege point, in S. L. Tsohatzidis (ed.), Foundations of Speech Act Theory, Routledge, London, 1994, pp. 132-155.
48. Prior, A. N.: Past, Present and Future, Clarendon Press, Oxford, 1967.
49. Prior, A. N.: On the calculus MCC, Notre Dame J. Formal Logic 10 (1969), 273-274.
50. Rumfitt, I.: The categoricity problem and truth-value gaps, Analysis 57 (1997), 223-235.
51. Rumfitt, I.: "Yes" and "No", typescript, 1999.
52. van der Sandt, R. A.: Denial, Chicago Linguistics Society 27 (1991), 331-334.
53. Scott, D. S.: On engendering an illusion of understanding, J. Philos. 68 (1971), 787-807.
54. Scott, D. S.: Background to formalization, in H. Leblanc (ed.), Truth, Syntax and Modality, North-Holland, 1973, pp. 244-273.
55. Scott, D. S.: Rules and derived rules, in S. Stenlund (ed.), Logical Theory and Semantic Analysis, 147-161, Reidel, Dordrecht, 1974, pp. 147-161.
56. Scott, D. S.: Completeness and axiomatizability in many-valued logic, in L. Henkin et al. (eds.), Proceedings of the Tarski Symposium, Amer. Math. Soc., Providence, RI, 1974, pp. 188-197.
57. Segerberg, K.: Prepositional logics related to Heyting's and Johansson's, Theoria 34 (1968), 26-61.
58. Segerberg, K.: Classical Propositional Operators, Clarendon Press, Oxford, 1982.
59. Shoesmith, D. J. and Smiley, T. J.: Multiple-Conclusion Logic, Cambridge Univ. Press, Cambridge, 1978.
60. Smiley, T.: Rejection, Analysis 56 (1996), 1-9.
61. Smullyan, R. M.: First-Order Logic, Springer-Verlag, Berlin, 1968.
62. Tennant, T.: Anti-Realism and Logic, Clarendon Press, Oxford, 1987.