메뉴 건너뛰기




Volumn Part F130177, Issue , 1989, Pages 165-179

A sketch of logic without truth

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; PHILOSOPHICAL ASPECTS; SEMANTICS;

EID: 84972898206     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/74014.74036     Document Type: Conference Paper
Times cited : (4)

References (20)
  • 1
    • 84950352677 scopus 로고
    • Imperatives and logic
    • J. Joprgensen, Imperatives and Logic, "Erkenntnis", 7, 1937/38.
    • (1937) Erkenntnis , vol.7
    • Joprgensen, J.1
  • 2
    • 85033603424 scopus 로고
    • Routledge & Kegal Paul, London, chapt. VI
    • A. Ross, Directives and Norms, Routledge & Kegal Paul, London, 1967, chapt. VI, p. 30
    • (1967) Directives and Norms , pp. 30
    • Ross, A.1
  • 3
    • 85033565368 scopus 로고    scopus 로고
    • "jøprgensen's dilemma" is given in imperative and logic
    • "Jøprgensen's dilemma" is given in Imperative and Logic, "Theoria", p. 53 ff.
    • Theoria , pp. 53
  • 12
    • 0001511816 scopus 로고
    • The semantic conception of truth
    • The Semantic Conception of Truth, "Philosophy and Phenomenological Research", 4, 1944, p. 341
    • (1944) Philosophy and Phenomenological Research , vol.4 , pp. 341
  • 13
    • 0004236558 scopus 로고
    • with translation by D.F. Pears & B.F. McGuinness Routledge and Kegan Paul, London
    • L. Wittgenstein, Tractatus logico-philosophicus, with translation by D.F. Pears & B.F. McGuinness, Routledge and Kegan Paul, London, 1961
    • (1961) Tractatus Logico-philosophicus
    • Wittgenstein, L.1
  • 15
    • 84960588748 scopus 로고
    • The runabout inference-ticket
    • Blackwell
    • A.N. Prior, The Runabout Inference-Ticket, "Analysis", Vol. 21 (Blackwell, 1960), pp. 38-39.
    • (1960) Analysis , vol.21 , pp. 38-39
    • Prior, A.N.1
  • 16
    • 27944496797 scopus 로고
    • Untersuchungen über das logische Schliessen
    • G. Gentzen, Untersuchungen über das logische Schliessen, "Mathematische Zeitschrift", 1934, Vol. 39, p. 176
    • (1934) Mathematische Zeitschrift , vol.39 , pp. 176
    • Gentzen, G.1
  • 18
    • 85033557334 scopus 로고    scopus 로고
    • op. cit. chapt XVI, On the Concept of the Logical Consequence
    • A. Tarski, Logic, Semantics and Metamathematics, op. cit., chapt. XVI, On the Concept of the Logical Consequence, p. 409.
    • Logic Semantics and Metamathematics , pp. 409
    • Tarski, A.1
  • 19
    • 0004265725 scopus 로고
    • Mac Millan Publishing Co., New York 1955 with translation by G.E.M. Anscombe, Oxford
    • L. Wittgenstein, Philosophische Untersuchungen, Mac Millan Publishing Co., New York, 1955 with translation by G.E.M. Anscombe, Oxford, 1953
    • (1953) Philosophische Untersuchungen
    • Wittgenstein, L.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.