LOGIQUES NON CLASSIQUES

Bibliographie

Logique déontique

A. R. Anderson, « A Reduction of deontic logic to alethic modal logic », in Mind, LXVII, pp. 100-103, 1958

P. Bailhache, Essai de logique déontique, Vrin, Paris, 1991

A. G. Conte, R. Hilpinen & G. H. von Wright dir., Deontische Logik und Semantik, Athenaion, Wiesbaden, 1977

D. Follesdal & R. Hilpinen, « Deontic Logic : an introduction », in R. Hilpinen dir., Deontic Logic : Introductory and Systematic Readings, pp. 1-135, D. Reidel Publ., Dordrecht, 1971

J.-L. Gardies, Essai sur les fondements a priori de la rationalité morale et juridique, L.G.D.J., Paris, 1972

« La Logique déontique et ses sémantiques possibles », in Logique et analyse, LXXXII-LXXXIII, pp. 185-203, 1978

Essai sur la logique des modalités, P.U.F., Paris, 1979

L'Erreur de Hume, ibid., 1987

R. Hilpinen, « Conditionals and Possible Worlds », in G. Floistad dir., Contemporary Philosophy. A New Survey, vol. I : Philosophy of Language. Philosophical Logic, pp. 299-335, M. Nijhoff Publ., La Haye-Boston-Londres, 1981

G. Kalinowski, La Logique des normes, P.U.F., 1972

H. Kelsen, Reine Rechtslehre. Einleitung in die rechtswissenschaftliche Problematik, F. Deuticke, Vienne, 1934, 2^e éd. 1960 (trad. franç. C. Eisenmann, Théorie pure du droit, Dalloz, Paris, 1962, réimpr. 1978)

G. W. Leibniz, « Modalia juris », in G. Grua éd., Leibniz. Textes inédits d'après les manuscrits de la bibliothèque provinciale de Hanovre, t. II, pp. 605-606, P.U.F., 1948

E. J. Lemmon & D. S. Scott, « The Lemmon Notes : an introduction to modal logic » (K. Segerberg dir.), in American Philosophical Quaterly Monograph Series, n^o 10, Blackwell, Oxford, 1977

R. N. McLaughlin, « Further Problems of derived obligation », in Mind, LXIV, pp. 400-402, 1955

A. N. Prior, « The Paradoxes of derived obligation », ibid., LXIII, pp. 64-65, 1954

G. H. von Wright, « Deontic Logic », ibid., LX, pp. 1-15, 1951

Norm and Action. A Logical Enquiry, Routledge & Kegan, Londres, 1963, 3^e éd. 1977

« An Essay in deontic logic and the general theory of action », in Acta Philosophica Fennica, XXI, 1968

« On the logic and ontology of norms », in J. W. Davis, D. J. Hockney et W. K. Wilson dir., Philosophical Logic, pp. 89-107, D. Reidel Publ., 1969

« Deontic Logic and the theory of conditions », in R. Hilpinen dir., Deontic Logic : Introductory and Systematic Readings, pp. 159-171, D. Reidel Publ., 1971.

Logique épistémique

F. I. Dretske, Knowledge and the Flow of Information, M.I.T. Press, Cambridge (Mass.), 1981

R. Fagin, J. Y. Halpern & M. Y. Vardi, « A Model-Theoretic Analysis of Knowledge : Preliminary Report », in Proceedings of the 25th IEEE Symposium on Foundations of Computer Science, pp. 268-278, 1984

« What Can Machines Know ? On the Epistemic Properties of Machines », in Proceedings of the American Association for Artificial Intelligence, pp. 428-434, 1986

A. I. Goldman, « A Causal Theory of Knowing », in Journal of Philosophy, LXIV, pp. 357-372, 1967

J. Y. Halpern & Y. Moses, « Towards a Theory of Knowledge and Ignorance : Preliminary Report », in K. Apt dir., Logics and Models of Concurrent Systems, Springer Verlag, pp. 459-476, 1985

J. Hintikka, Knowledge and Belief. An Introduction to the Logic of the Two Notions, Cornell Univ. Press, 1962

Models for Modalities, D. Reidel Publ., Dordrecht, 1969

« Semantics for Propositional Attitudes », in J. W. Davis, D. J. Hockney et W. K. Wilson dir., in Philosophical Logic, pp. 21-45, 1969

repr. in L. Linsky dir., Reference and Modality, Oxford Univ. Press, 1971, 2^e éd. 1979, pp. 145-167

Logic, Language-Games and Information. Kantian Themes in the Philosophy of Logic, Oxford Univ. Press, 1973

Knowledge and the Known. Historical Perspectives in Epistemology, D. Reidel Publ., 1974

The Intentions of Intentionality and Other New Models for Modalities, ibid., 1975

K. Konolige, A Deduction Model of Belief, Morgan Kaufmann Publ., Los Altos, 1986

D. K. Lewis, Convention. A Philosophical Study, Harvard Univ. Press, 1969

L. Linsky, Oblique Contexts, Chicago Univ. Press, 1983

R. C. Moore, « A Formal Theory of Knowledge and Action », in J. R. Hobbs et R. C. Moore dir., Formal Theories of the Commensense Worlds, pp. 319-358, Ablex Publ., Norwood (N.J.), 1985.

Logiques du flou

T. T. Ballmer & M. Pinkal dir., Approaching Vagueness, North-Holland Publ., Amsterdam, 1983

M. Black, « Vagueness : an exercise in logical analysis », in Philosophy of Science, IV, pp. 427-455, 1937

repr. in Language and Philosophy, pp. 24-58, Cornell Univ. Press, Ithaca, New York, 1949

D. Dubois & H. Prade, Théorie des possibilités, Masson, Paris, 1985

M. Dummett, « Wang's Paradox », in Synthese, XXX, pp. 301-324, 1975

repr. in Truth and other Enigmas, pp. 248-268, Duckworth, Londres, 1978

K. Fine, Vagueness, « Truth and logic, in Synthese, XXX, pp. 265-300, 1975

B. van Fraassen, « Presuppositions, supervaluations and free logic », in K. Lambert dir., The Logical Way of Doing Things, Yale Univ. Press, 1969

I. R. Goodman & H. T. Nguyen, Uncertainty Models for Knowledge-Based Systems, North-Holland Publ., 1985

J. A. Goguen, « The Logic of inexact concepts », in Synthese, XIX, pp. 1-36, 1968-1969

S. Haack, Deviant Logic, Cambridge Univ. Press, 1974, 2^e éd. 1977

A. Kandel, Fuzzy Mathematical Techniques with Applications, Addison-Wesley, Reading (Mass.), 1986

A. Kaufmann, Introduction à la théorie des ensembles flous, 3 vol., Masson, 1973-1975

S. C. Kleene, Introduction to Metamathematics, North-Holland Publ., 1952, 6^e éd. 1971

G. Lakoff, « Hedges : a study in meaning criteria and the logic of fuzzy concepts », in Journal of Philosophical Logic, II, pp. 458-508, 1973

J. Lukasiewicz, « Many-Valued Systems of propositionnal logic », 1930, in S. McCall dir., Polish Logic, Oxford Univ. Press, 1967

H. Reichenbach, Philosophical Foundations of Quantum Mechanics, California Univ. Press, 1944

N. Rescher, Many-Valued Logics, McGraw-Hill, 1969

Plausible Reasoning, Van Gorcum, Assen, 1976

B. Rolf,Topics on Vagueness, Studentlitteratur, Lund, 1981

B. Russell, « Ungueness », in Australian Journal of Philosophy, I, pp. 84-92, 1923

C. Wright, « On the Coherence of vague predicates », in Synthese, XXX, pp. 325-365, 1975

L. A. Zadeh, « Fuzzu Sets », in Information and Control, VIII, pp. 338-353, 1965

« Fuzzy Logic and approximate reasoning », in Synthese, XXX, pp. 407-428, 1975.

Logique des impératifs

P. T. Geach, « Imperative and Deontic Logic », in Analysis, XVIII, pp. 49-56, 1958

repr. in Logic Matters, Basil Blackwell, 1972, 2^e éd. 1981, pp. 270-278

R. M. Hare, The Language of Morals, Oxford Univ. Press, 1952

A. J. Kenny, « Practical Inference », in Analysis, XXVI, pp. 65-75, 1965-1966

N. Rescher, The Logics of Commands, Routledge & Kegan, Londres, 1966.

Logique inductive

P. Achinstein dir., The Concept of Evidence, Oxford Univ. Press, 1983

M. Boudot, Logique inductive et probabilité, Armand Colin, Paris, 1972

R. Carnap, Logical Foundations of Probability, Chicago Univ. Press, 1950, 2^e éd. rev. et corr. 1962, 4^e éd. 1971

The Continuum of Inductive Methods, ibid., 1952

R. Carnap & R.C. Jeffrey dir, Studies in Inductive Logic and Probability, vol. I, California Univ. Press, 1971

L. J. Cohen, « Inductive Logic 1945-1977 », in E. Agazzi dir., Modern Logic. A Survey, pp. 353-375, D. Reidel Publ., Dordrecht, 1980

T. L. Fine, Theories of Probability, Academic Press, 1973

N. Goodman, Fact, Fiction and Forecast, Cambridge Univ. Press, 1955 (trad. franç. Faits, fictions et prédictions, éd. de Minuit, Paris, 1984)

M. Hesse, The Structure of Scientific Inference, Mcmillan, 1974

R. Hilpinen, « Rules of acceptance and inductive logic », in Acta Philosophica Fennica, XXII, 1968

J. Hintikka, « Towards a theory of inductive generalization », in Y. Bar-Hillel dir., Proceedings of the 1964 International Congress for Logic, Methodology and Philosophy of Science, pp. 274-288, North-Holland Publ., Amsterdam, 1965

« A Two-Dimensional Continuum of inductive methods », in J. Hintikka et P. Suppes dir., Aspects of Inductive Logic, pp. 113-132, ibid., 1966

R. C. Jeffrey, Studies in Inductive Logic and Probability, vol. II, California Univ. Press, 1980

J. M. Keynes, A Treatise of Probability, Mcmillan, 1921

H. E. Kyburg Jr., Probability and the Logic of Rational Belief, Wesleyan Univ. Press, Middletown, 1961

I. Lakatos, « Changes in the problem of inductive logic », in I. Lakatos dir., The Problem of Inductive Logic, pp. 315-417, North-Holland Publ., 1968

repr. in Philosophical Papers, vol. II : Mathematics, Science and Epistemology, pp. 128-200, Cambridge Univ. Press, 1978

I. Levi, Gambling with Truth, A. A. Knopf, New York, 1967

J. L. Mackie, « The Paradoxes of Confirmation », in British Journal for Philosophy of Sciences, XIII, pp. 265-277, 1963

J. Nicod, Le Problème logique de l'induction, P.U.F., Paris, 1924, rééd. 1961

K. Popper, Logik der Forschung, Vienne, 1934 (trad. angl. The Logic of Scientific Discovery, Londres, 1959

trad. franç. La Logique de la découverte scientifique, Payot, Paris, 1978)

H. Putnam, « “Degree of confirmation” and inductive logic », in P. A. Schilpp dir., The Philosophy of Rudolf Carnap, pp. 761-781, Open Court Publ., La Salle, 1963

repr. in Philosophical Papers, vol. I : Mathematics, Matter and Method, pp. 270-292, Cambridge Univ. Press, 1975.

Logique des interrogatifs

K. Ajdukiewicz, Pragmatic Logic, D. Reidel Publ., Dordrecht, 1974

L. Åqvist, « Scattered Topics in Interrogative Logic », in J. W. Davis, D. J. Hockney et W. K. Wilson dir., Philosophical Logic, pp. 114-121, 1969

« On the Analysis and Logic of Questions », in R. E. Olson et A. M. Paul, Contemporary Philosophy in Scandinavia, pp. 27-39, J. Hopkins Press, Baltimore, 1972

N. D. Belnap & T. B. Steel, The Logic of Questions and Answers, Yale Univ. Press, 1976

F. S. Cohen, « What is a Question », in Monist, XXXIX, pp. 350-364, 1929

J. Hintikka, The Semantics of Questions and the Question of Semantics, North-Holland Publ., Amsterdam, 1976

H. Hiz dir., Questions, D. Reidel Publ., 1978

M. Meyer dir., « L'Interrogation », in Langue française, LII, 1981.

Logique modale

Aristote, Organon, vol. I (trad. J. Tricot), Vrin, Paris, 1969

R. Carnap, Meaning and Necessity, Chicago Univ. Press, 1947, 2^e éd. 1956

B. F. Chellas, Modal Logic, Cambridge Univ. Press, 1980

P. Engel, Identité et référence, Presses de l'E.N.S., Paris, 1985

G. Forbes, The Metaphysics of Modality, Oxford Univ. Press, 1985

D. M. Gabbay, Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics, D. Reidel Publ., Dordrecht, 1976

J. L. Gardies, Essai sur la logique des modalités, P.U.F., Paris, 1979

K. Gödel, « Eine Interpretation des intuitionistischen Aussagenkalküls », in Ergebnisse eines mathematischen Kolloquiums, IV, pp. 39-40, 1933, repr. in S. Feferman et al. dir., Collected Works, vol. I, Oxford Univ. Press, pp. 300-302, 1986

J. Hintikka, Models for Modalities : Selected Essays, D. Reidel Publ., 1969

The Intentions of Intentionality and Other New Models for Modalities, ibid., 1975 (L'Intentionnalité et les mondes possibles, Presses univ. de Lille, Villeneuve d'Ascq, 1989)

G. E. Hughes & M. J. Cresswell, An Introduction to Modal Logic, Methuen, 1^re éd. 1968, 2^e éd. corr. 1972

A Companion to Modal Logic, ibid., 1984

S. A. Kripke, « Semantical Considerations on modal and intuitionistic logic », in Acta Philosophica Fennica, t. XVI, pp. 83-94, 1963

« Semantical Analysis of modal logic », I, in Zeitschrift für mathematische Logik und Grundlagen der Mathematik, IX, pp. 67-96, 1963, « Semantical Analysis of modal logic », II, in J. W. Addison, L. Henkin et A. Tarsky dir., The Theory of Models, pp. 206-220, North-Holland Publ., Amsterdam, 1965

« Semantical Analysis of intuitionistic logic », I, in J. N. Crossley et M. A. E. Dummett dir., Formal Systems and Recursive Functions, pp. 92-130, ibid., 1965

E. J. Lemmon & D. S. Scott, « The “Lemmon Notes” : an introduction to modal logic », in K. Segerberg dir., American Philosophical Quaterly Monograph Series, n^o 10, Blackwell, Oxford, 1977

C. I. Lewis & C. H. Langford, Symbolic Logic, Dover, New York, 1^re éd. 1932, 2^e éd. 1959

L. Linsky, Names and Descriptions, Chicago Univ. Press, 1977

M. J. Loux dir., The Possible and the Actual, Cornell Univ. Press, 1979

W. V. O. Quine, From a Logical Point of View, Harvard Univ. Press, 1953, Harper & Row, 1963

The Ways of Paradox, Random House, 1966

R. Schock, Logics without Existence Assumptions, Almqvist & Wiksell, Stockholm, 1968

K. Schütte, Vollständige Systeme Modaler und Intuitionistischer Logik, Springer Verlag, 1968

D. S. Scott, « Advice in modal logic », in K. Lambert dir., Philosophical Problems in Logic, D. Reidel Publ., 1970, 2^e éd. 1980, pp. 143-173

K. Segerberg, « An Essay in Classical modal logic », 3 vol., in Filosofiska Studier n^o XIII, Uppsala, 1971,

C. Smorynski, Self-Reference and Modal Logic, Springer Verlag, 1985.

Logiques non monotones

C. E. Alchourron, P. Gärdenfors & D. Makinson, « On the logic of theory Change : partial meet contraction and revision functions », in Journal of Symbolic Logic, L, pp. 510-530, 1985

M. Davis, « The Mathematics of non-monotonic reasoning », in Artificial Intelligence, XIII, pp. 73-80, 1980

J. Doyle, « A Truth Maintenance System », ibid., XII, pp. 231-272, 1979

« The Ins and Outs of reason maintenance », in Proceedings of the 8th International Joint Conference on Artificial Intelligence, pp. 349-351, 1983

J. Doyle & P. London, A Selected Descriptor-Indexed Bibliography to the Literature on Belief Revision, M.I.T., A.I. Labo, A.I. Memo n^o 568, févr. 1980

D.M. Gabbay, « Theoretical Foundations for non-monotonic reasoning in expert systems », in K. Apt. dir., Logics and Models of Concurrent Systems, pp. 439-457, Springer, Berlin-New York, 1985

S. Hanks & D. McDermott, « Default Reasoning, non-monotoning logics, and the frame problem », in Proceedings of the American Association for Artificial Intelligence, pp. 328-333, 1986

P. J. Hayes, « The Frame Problem and related problems in artificial intelligence », in A. Elithorn et D. Jones dir., Artificial and Human Thinking, pp. 45-49, Jossey-Bass, San Francisco, 1973

I. Kramosil, « A Note on deduction rules with negative premises », in Proceedings of the 4th Joint International Conference on Artificial Intelligence, pp. 53-56, Tbilissi, 1975

D. Makinson, « How to give up : a survey of some formal aspects of the logic of theory change », in Synthese, LXII, pp. 347-363, 1985

J. McCarthy, « Addendum : circumscription and other non-monotonics formalims », in Artificial Intellligence, XIII, pp. 171-172, 1980

« Applications of circumscription to formalizing common sense knowledge », in Proceedings of the Non-Monotonic Reasoning Workshop, pp. 295-324, A.A.A.I., oct. 1984

J. McCarthy & P. J. Hayes, « Some Philosophical Problems from the standpoint of artificial intelligence », in Machine Intelligence, IV, 1969

D. McDermott & J. Doyle, « Non-Monotonic Logic I », ibid., XIII, pp. 41-72, 1980

R. C. Moore, « Semantical Considerations on non-monotonic logics », ibid., pp. 75-94, XXV, 1985

B. Raphael, « The Frame Problem in problem-solving systems », in N. V. Findler et B. Meltzer dir., in Artificial Intelligence and Heuristic Programming, Edinburgh Univ. Press, 1971

R. Reiter, « On Closed World Data Bases », in H. Gallaire et J. Minker dir., Logics and Data Basis, Plenum Press, New York, 1978

« A logic for default reasoning », in Artificial Intelligence, XIII, pp. 81-132, 1980

R. Turner, Logics for Artificial Intelligence, Ellis Horwood, Chichester, 1984.

Logique de la pertinence

W. Ackermann, « Begründung einer strengen Implikation », in Journal of Symbolic Logic, XXI, pp. 113-128, 1956

A. R. Anderson & N. D. Belnap, Entailment : the Logic of Relevance and Necessity, I, Princeton Univ. Press, 1975

N. D. Belnap, « Modal and Relevance Logics : 1977 », in E. Agazzi dir., Modern Logic. A Survey, D. Reidel Publ., Dordrecht, 1981

A. Church, « The Weak Theory of Implication », in Menne-Wilhemly-Angsil dir., Kontrolliertes Denken, Untersuchungen zum Logikkalkül und der Logik der Einzelwissenschaften, Karl Alber, Munich, 1951

D. Prawitz, Natural Deduction, A Proof-Theoretical Study, Almqvist & Wiksell, Stockholm, 1965.

Logique temporelle

J. van Benthem, The Logic of Time, D. Reidel Publ., Dordrecht, 1983

D. Gabbay, Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics, ibid., 1976

J.-L. Gardies, La Logique du temps, P.U.F., Paris, 1975

R. P. McArthur, Tense Logic, D. Reidel Publ., 1976

A. N. Prior, Time and Modality, Clarendon Press, Oxford, 1957

Past, Present and Future, ibid., 1967

Papers on Time and Tense, ibid., 1968

N. Rescher & J. Garson, « Topological Logic », in Journal of Symbolic Logic, XXXIII, pp. 39-44, 1968

N. Rescher & A. Urquhart, Temporal Logic, Springer Verlag, Vienne, 1971

G. H. von Wright, Time, Change and Contradiction, Cambridge Univ. Press, 1969.

Retour en haut