1. 
      

    2. <ol id="72tk1"><tbody id="72tk1"></tbody></ol>
    3. 助手標題  
      全文文獻 工具書 數字 學術定義 翻譯助手 學術趨勢 更多
      查詢幫助
      意見反饋
         deontic 在 邏輯學 分類中 的翻譯結果: 查詢用時:0.197秒
      圖標索引 在分類學科中查詢
      所有學科
      邏輯學
      中國語言文字
      更多類別查詢

      圖標索引 歷史查詢
       

      deontic
      相關語句
      沒有找到相關雙語例句
      例句
      為了更好的幫助您理解掌握查詢詞或其譯詞在地道英語中的實際用法,我們為您準備了出自英文原文的大量英語例句,供您參考。
        deontic
      Deontic logic in the representation of law: Towards a methodology
            
      Our aim in this paper is to indicate, first, which aspects of legal reasoning are addressed by deontic logic, and then to sketch out the beginnings of a methodology for its use in the analysis and representation of law.
            
      In this paper we formalize normative diagnoses and decisions in the special purpose formalism DIO(DE)2 as well as in extensions of the preference-based deontic logic PDL.
            
      The DIagnostic and DEcision-theoretic framework for DEontic reasoning DIO(DE)2 formalizes reasoning about violations and fulfillments, and is used to characterize the distinction between normative diagnosis theory and (qualitative) decision theory.
            
      The extension of the preference-based deontic logic PDL shows how normative diagnostic and decision-theoretic reasoning - i.e.
            
      更多          


      The logical system Qs is obtained from the pure predicate calculus by adding a binary predicate constant S which denotes the sanctions, an individual constant c denoting the state institutions, and some definitions of deontic modal words but not adding axioms or deducible means. Such a system may satisfy legal issues better than any traditional deontic logic systems.

      本文是《法律規范邏輯》系列論文的第4篇。它以狹義謂詞演算為基礎,在其形式語言中添加專指“制裁”行為的謂詞常項,添加專指“國家機關”這種法人的個體常項,添加規范詞的定義,但不添加推演工具,就可次生出關于法律規范的邏輯。它能滿足法律提出的種種邏輯要求,遠多于任何一個傳統的規范邏輯系統。

      Alethic model and deontic model are discussed in this paper .On the basis of this discussions, the author gives the standard system of deontic logic which was created by Von Wright and abstracts the development from the classic system to the standard system of deontic logic.

      真性模態和道義模態之間存在著類似和區別 ,在此基礎上給出馮·賴特道義邏輯的經典系統 ,說明經典道義邏輯在向標準道義邏輯發展

      Anderson holds that deontic logic can be reduced to alethic modal logic by the reduction formula Op(口(~p?S).But his opinion is unsound. All standard systems can not include the formalization as their theorem of 'It ought to help a man who is robbed and robbery is forbidden'. The good Samaritan paradox belongs to the class of paradoxes that result from the fact that a formula A is a theorem of a formal system, but a actual example of A should be ejected.

      安德森認為依靠歸約公式Op □ (~p→S)能把道義邏輯歸約為真值模態邏輯。但是 ,安德森的這種做法是不妥的。所有標準系統都不能把“幫助一名被搶劫者是應當的 ,并且禁止搶劫”這個命題形式化為系統的定理。善良的撒瑪利亞人悖論屬于這樣一類悖論 :一公式A為某一形式系統的定理 ,但A的一個代入實例卻是不可接受的。

       
      << 更多相關文摘    
      圖標索引 相關查詢

       


       
      CNKI小工具
      在英文學術搜索中查有關deontic的內容
      在知識搜索中查有關deontic的內容
      在數字搜索中查有關deontic的內容
      在概念知識元中查有關deontic的內容
      在學術趨勢中查有關deontic的內容
       
       

      CNKI主頁設CNKI翻譯助手為主頁 | 收藏CNKI翻譯助手 | 廣告服務 | 英文學術搜索
      版權圖標  2008 CNKI-中國知網
      京ICP證040431號 互聯網出版許可證 新出網證(京)字008號
      北京市公安局海淀分局 備案號:110 1081725
      版權圖標 2008中國知網(cnki) 中國學術期刊(光盤版)電子雜志社
      97伦理电影院