• Title, Summary, Keyword: 질료적 귀결

Search Result 1, Processing Time 0.056 seconds

Model-theoretic Consequence and Modality (모형론적 귀결과 양상성)

  • Choi, Wonbae
    • Journal for History of Mathematics
    • /
    • v.25 no.4
    • /
    • pp.21-36
    • /
    • 2012
  • It is commonly believed that the model-theoretic account of logical consequence is originated from Tarski' s 1936 paper. But Etchemendy has denied this. This paper discusses and evaluates the recent controversies over whether the definition of logical consequence presented in Tarski' s paper is based on the fixed-domain conception or the variable-domain conception.