메뉴 건너뛰기




Volumn 6, Issue 2, 2000, Pages 162-175

Formalization in philosophy

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0034376378     PISSN: 10798986     EISSN: None     Source Type: Journal    
DOI: 10.2307/421204     Document Type: Article
Times cited : (29)

References (45)
  • 1
    • 0039315743 scopus 로고
    • Philosophical foundations of deontic logic and the logic of defeasible conditionals
    • (John-Jules Ch. Meyer and Roel J. Wieringa, editors), John Wiley & Sons, Chichester
    • CARLOS ALCHOURRÓN 1993, Philosophical foundations of deontic logic and the logic of defeasible conditionals, Deontic logic in computer science (John-Jules Ch. Meyer and Roel J. Wieringa, editors), John Wiley & Sons, Chichester, pp. 43-84.
    • (1993) Deontic Logic in Computer Science , pp. 43-84
    • Alchourrón, C.1
  • 2
    • 0000128393 scopus 로고
    • On the logic of theory change: Partial meet functions for contraction and revision
    • CARLOS ALCHOURRÓN, PETER GÄRDENFORS, AND DAVID MAKINSON 1985, On the logic of theory change: Partial meet functions for contraction and revision, The Journal of Symbolic Logic, vol. 50, pp. 510-530.
    • (1985) The Journal of Symbolic Logic , vol.50 , pp. 510-530
    • Alchourrón, C.1    Gärdenfors, P.2    Makinson, D.3
  • 3
    • 0000917480 scopus 로고
    • The concepts of obligation and duty
    • RICHARD B. BRANDT 1965, The concepts of obligation and duty, Mind, vol. 73, pp. 374-393.
    • (1965) Mind , vol.73 , pp. 374-393
    • Brandt, R.B.1
  • 5
    • 0008494634 scopus 로고
    • The paradoxes of deontic logic: The simplest solution to all of them in one fell swoop
    • (Risto Hilpinen, editor), Reidel, Dordrecht
    • HECTOR NERI CASTAÑEDA 1981, The paradoxes of deontic logic: The simplest solution to all of them in one fell swoop, New studies in deontic logic (Risto Hilpinen, editor), Reidel, Dordrecht, pp. 37-95.
    • (1981) New Studies in Deontic Logic , pp. 37-95
    • Castañeda, H.N.1
  • 6
    • 0041196828 scopus 로고
    • Philosophical refutations
    • James H. Fetzer, editor
    • _ 1984, Philosophical refutations, Principles of philosophical reasoning (James H. Fetzer, editor), pp. 227-258.
    • (1984) Principles of Philosophical Reasoning , pp. 227-258
  • 10
    • 0002752749 scopus 로고
    • Theoretical foundations for nonmonotonic reasoning in expert systems
    • Springer-Verlag, Berlin
    • DOV GABBAY 1985, Theoretical foundations for nonmonotonic reasoning in expert systems, Logics and models of concurrent systems, Springer-Verlag, Berlin, pp. 439-457.
    • (1985) Logics and Models of Concurrent Systems , pp. 439-457
    • Gabbay, D.1
  • 12
    • 0041196815 scopus 로고
    • A logic of better
    • LOU GOBLE 1989, A logic of better, Logique et Analyse, vol. 32, pp. 297-318.
    • (1989) Logique et Analyse , vol.32 , pp. 297-318
    • Goble, L.1
  • 14
    • 84972494632 scopus 로고
    • Defining 'good' and 'bad' in terms of 'better'
    • SVEN OVE HANSSON 1990, Defining 'good' and 'bad' in terms of 'better', Notre Dame Journal of Formal Logic, vol. 31, pp. 136-149.
    • (1990) Notre Dame Journal of Formal Logic , vol.31 , pp. 136-149
    • Hansson, S.O.1
  • 15
    • 0000977561 scopus 로고
    • Belief contraction without recovery
    • _ 1991a, Belief contraction without recovery, Studio Logica, vol. 50, pp. 251-260.
    • (1991) Studio Logica , vol.50 , pp. 251-260
  • 16
    • 0041196820 scopus 로고
    • The revenger's paradox
    • _ 1991b, The revenger's paradox, Philosophical Studies, vol. 61, pp. 301-305.
    • (1991) Philosophical Studies , vol.61 , pp. 301-305
  • 17
    • 84963437832 scopus 로고
    • Money-pumps, self-torturers and the demons of real life
    • _ 1993, Money-pumps, self-torturers and the demons of real life, Australasian Journal of Philosophy, vol. 71, pp. 476-485.
    • (1993) Australasian Journal of Philosophy , vol.71 , pp. 476-485
  • 18
    • 0040009491 scopus 로고    scopus 로고
    • Recovery and epistemic residues
    • _ 1999a, Recovery and epistemic residues, Journal of Logic, Language and Information, vol. 8, pp. 421-428.
    • (1999) Journal of Logic, Language and Information , vol.8 , pp. 421-428
  • 20
    • 0040602784 scopus 로고    scopus 로고
    • Cambridge University Press, in press
    • _ 2000, The structure of values and norms, Cambridge University Press, in press.
    • (2000) The Structure of Values and Norms
  • 21
    • 0041196824 scopus 로고
    • Can there be a natural deontic logic?
    • R. E. JENNINGS 1985, Can there be a natural deontic logic?, Synthese, vol. 65, pp. 257-273.
    • (1985) Synthese , vol.65 , pp. 257-273
    • Jennings, R.E.1
  • 23
    • 0040602785 scopus 로고
    • A semantics for positive and comparative adjectives
    • EWAN KLEIN 1980, A semantics for positive and comparative adjectives, Linguistics and Philosophy, vol. 4, pp. 1-45.
    • (1980) Linguistics and Philosophy , vol.4 , pp. 1-45
    • Klein, E.1
  • 25
    • 0041196818 scopus 로고
    • On the representation of classificatory value strucures
    • _ 1983, On the representation of classificatory value strucures, Theory and Decision, vol. 15, pp. 349-369.
    • (1983) Theory and Decision , vol.15 , pp. 349-369
  • 27
    • 0041196809 scopus 로고
    • The Oxford calculatores, quantification of qualities, and Aristotle's prohibition of metabasis
    • STEVEN J. LIVESEY 1986, The Oxford calculatores, quantification of qualities, and Aristotle's prohibition of metabasis, Vivarium, vol. 24, pp. 50-69.
    • (1986) Vivarium , vol.24 , pp. 50-69
    • Livesey, S.J.1
  • 28
    • 0003093745 scopus 로고
    • General patterns in nonmonotonic reasoning
    • (Dov Gabbay et al., editors), Oxford University Press, Oxford
    • DAVID MAKINSON 1993, General patterns in nonmonotonic reasoning, Handbook of logic in artificial intelligence and logic programming (Dov Gabbay et al., editors), vol. III, Oxford University Press, Oxford, pp. 35-110.
    • (1993) Handbook of Logic in Artificial Intelligence and Logic Programming , vol.3 , pp. 35-110
    • Makinson, D.1
  • 29
    • 2442445573 scopus 로고    scopus 로고
    • On the force of some apparent counterexamples to recovery
    • Festschrift for Carlos E. Alchourrón and Eugenio Bulygin, (E. G. Valdès, editor), Duncker & Humblot, Berlin
    • _ 1997, On the force of some apparent counterexamples to recovery, Normative systems in legal and moral theory, Festschrift for Carlos E. Alchourrón and Eugenio Bulygin, (E. G. Valdès, editor), Duncker & Humblot, Berlin, pp. 475-481.
    • (1997) Normative Systems in Legal and Moral Theory , pp. 475-481
  • 30
    • 0041407896 scopus 로고    scopus 로고
    • On a fundamental problem of deontic logic, norms, logics and information systems. New studies in deontic logic and computer science
    • Norms, logics and information systems. New studies in deontic logic and computer science (Paul McNamara and Henry Prakker, editors)
    • _ 1999, On a fundamental problem of deontic logic, Norms, logics and information systems. New studies in deontic logic and computer science (Paul McNamara and Henry Prakker, editors), Frontiers in Artificial Intelligence and Applications, vol. 49, pp. 29-53.
    • (1999) Frontiers in Artificial Intelligence and Applications , vol.49 , pp. 29-53
  • 32
    • 0040009494 scopus 로고
    • Formalization, possible worlds and the foundations of modal logic
    • G. H. MERRILL 1978, Formalization, possible worlds and the foundations of modal logic, Erkenntnis, vol. 12, pp. 305-327.
    • (1978) Erkenntnis , vol.12 , pp. 305-327
    • Merrill, G.H.1
  • 33
    • 0008820961 scopus 로고
    • Permissions and supererogation
    • JOSEPH RAZ 1975, Permissions and supererogation, American Philosophical Quarterly, vol. 12, pp. 161-168.
    • (1975) American Philosophical Quarterly , vol.12 , pp. 161-168
    • Raz, J.1
  • 35
    • 0008494496 scopus 로고
    • Imperatives and logic
    • ALF ROSS 1941, Imperatives and logic, Theoria, vol. 7, pp. 53-71.
    • (1941) Theoria , vol.7 , pp. 53-71
    • Ross, A.1
  • 36
    • 0001114083 scopus 로고
    • Belief contraction in the context of the general theory of rational choice
    • HANS ROTT 1993, Belief contraction in the context of the general theory of rational choice, The Journal of Symbolic Logic, vol. 58, pp. 1426-1450.
    • (1993) The Journal of Symbolic Logic , vol.58 , pp. 1426-1450
    • Rott, H.1
  • 38
    • 84979434976 scopus 로고
    • Formalization in platonic scholarship
    • KENNETH R. SEESKIN 1978, Formalization in Platonic scholarship, Metaphilosophy, vol. 9, pp. 242-251.
    • (1978) Metaphilosophy , vol.9 , pp. 242-251
    • Seeskin, K.R.1
  • 39
    • 84979121711 scopus 로고
    • Ross' paradox and well-formed codices
    • ERIK STENIUS 1982, Ross' paradox and well-formed codices, Theoria, vol. 48, pp. 49-77.
    • (1982) Theoria , vol.48 , pp. 49-77
    • Stenius, E.1
  • 40
    • 0040602780 scopus 로고
    • Better as the value-fundamental
    • M. TIMUR 1955, Better as the value-fundamental, Mind, vol. 64, pp. 52-60.
    • (1955) Mind , vol.64 , pp. 52-60
    • Timur, M.1
  • 41
    • 0039417301 scopus 로고
    • Variants of Rescher's semantics for preference logic and some completeness theorems
    • DIRK VON DALEN 1974, Variants of Rescher's semantics for preference logic and some completeness theorems, Studia Logica, vol. 33, pp. 163-181.
    • (1974) Studia Logica , vol.33 , pp. 163-181
    • Von Dalen, D.1
  • 42
    • 0040009492 scopus 로고
    • Semantic analyses of normative concepts
    • FRANZ VON KUTSCHERA 1975, Semantic analyses of normative concepts, Erkenntnis, vol. 9, pp. 195-218.
    • (1975) Erkenntnis , vol.9 , pp. 195-218
    • Von Kutschera, F.1
  • 43
    • 0039193007 scopus 로고
    • Deontic logic
    • GEORG HENRIK VON WRIGHT 1951, Deontic logic, Mind, vol. 60, pp. 1-15.
    • (1951) Mind , vol.60 , pp. 1-15
    • Von Wright, G.H.1
  • 44
    • 0009885792 scopus 로고
    • An essay in deontic logic and the general theory of action
    • _ 1968, An essay in deontic logic and the general theory of action, Acta Philosophica Fennica, vol. 21, pp. 1-110.
    • (1968) Acta Philosophica Fennica , vol.21 , pp. 1-110


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