논리 논리학 논리체계 ... [[논리,logic]] [[논리학,logic]] <> = Sub (_logic) = == classical Logic == classical logic 고전논리 (wk) [[WtEn:classical_logic]] https://proofwiki.org/wiki/Definition:Classical_Logic https://ko.wikipedia.org/wiki/고전_논리 https://en.wikipedia.org/wiki/Classical_logic == non-classical logic == [[non-classical_logic]] =,non-classical_logic . non-classical_logic non-classical logic 비고전논리 (wk) [[WtEn:non-classical_logic]] https://ko.wikipedia.org/wiki/비고전_논리 Ndict:"non-classical logic" Ggl:"non-classical logic" == mathematical logic == mathematical_logic KmsE:"mathematical" https://ko.wikipedia.org/wiki/수리_논리학 https://simple.wikipedia.org/wiki/Mathematical_logic https://en.wikipedia.org/wiki/Mathematical_logic https://proofwiki.org/wiki/Definition:Mathematical_Logic syn. symbolic_logic ? - see proofwiki == symbolic logic == [[심벌,symbol]] [[기호,symbol]] https://proofwiki.org/wiki/Definition:Symbolic_Logic == 0th order == [[zeroth-order_logic]] =,zeroth-order_logic . zeroth-order_logic WtEn:zeroth-order_logic x ([[Date(2023-08-18T16:13:04)]]), but WtEn:zero-order_logic exists == 1st order == [[first-order_logic]] =,first-order_logic . first-order_logic first-order logic [[WtEn:first-order_logic]] [[WpSp:First_order_logic]] = https://simple.wikipedia.org/wiki/First_order_logic [[WpKo:1차_논리]] = https://ko.wikipedia.org/wiki/1차_논리 [[WpEn:First-order_logic]] = https://en.wikipedia.org/wiki/First-order_logic https://mathworld.wolfram.com/First-OrderLogic.html https://planetmath.org/firstorderlogic == 2nd order == second-order logic WtEn:second-order_logic Cmp: [[second-order_arithmetic]] =,second-order_arithmetic . second-order_arithmetic { second-order arithmetic https://en.wikipedia.org/wiki/Second-order_arithmetic } https://ko.wikipedia.org/wiki/2차_논리 https://ncatlab.org/nlab/show/second-order+logic == higher order == [[higher-order_logic]] =,higher-order_logic =,HOL . HOL higher-order logic (HOL) //ALSOIN second order { Second-order and Higher-order Logic https://plato.stanford.edu/entries/logic-higher-order/ } https://ncatlab.org/nlab/show/higher-order+logic == propositional logic == [[propositional_logic]] =,propositional_logic . propositional_logic propositional_logic WtEn:propositional_logic [[명제,proposition]] AKA [[propositional_calculus]] Srch:propositional_calculus Srch:propositional_logic https://simple.wikipedia.org/wiki/Propositional_logic https://ko.wikipedia.org/wiki/명제_논리 WpEn:Propositional_calculus https://proofwiki.org/wiki/Definition:Propositional_Logic "propositional logic" === second-order propositional logic === [[second-order_propositional_logic]] =,second-order_propositional_logic . second-order_propositional_logic https://en.wikipedia.org/wiki/Second-order_propositional_logic == predicate logic == [[predicate_logic]] =,predicate_logic . predicate_logic predicate logic WtEn:predicate_logic https://simple.wikipedia.org/wiki/Predicate_logic https://ko.wikipedia.org/wiki/술어_논리 https://proofwiki.org/wiki/Definition:Predicate_Logic https://ncatlab.org/nlab/show/predicate+logic aka [[predicate_calculus]] =,predicate_calculus . predicate_calculus WtEn:predicate_calculus Srch:predicate_calculus === monadic predicate logic === [[monadic_predicate_logic]] =,monadic_predicate_logic . monadic_predicate_logic monadic predicate logic WtEn:monadic_predicate_logic Ggl:"monadic predicate logic" == modal logic == [[modal_logic]] =,modal_logic . modal_logic curr also at [[가능성,possibility]] modes? : * 필연성 ... 반드시 ~, ~가 마땅하다, ~가 필연적이다, * 가능성 ... ~일 수도, WtEn:modal_logic { "Any [[formal_system]] that attempts to deal with [[modality|modalities]], such as [[가능성,possibility]] and [[necessity]], but also [[obligation]] and [[permission]]{ 허가? [[퍼미션,permission]]페이지는 존재 }." (wt) Related terms: [[deontic_logic]] WtEn:deontic_logic Srch:deontic_logic [[doxastic_logic]] WtEn:doxastic_logic Srch:doxastic_logic [[epistemic_logic]] WtEn:epistemic_logic Srch:epistemic_logic } https://namu.wiki/w/양상논리 .... Ndict:"양상논리" Bing:"양상논리" Ggl:"양상논리" .... Ndict:"modal logic" Bing:"modal logic" Ggl:"modal logic" == many-sorted logic == [[many-sorted_logic]] =,many-sorted_logic . many-sorted_logic many-sorted logic [[WtEn:many-sorted_logic]] = https://en.wiktionary.org/wiki/many-sorted_logic https://en.wikipedia.org/wiki/Many-sorted_logic Cmp: [[many-valued_logic]] == many-valued logic == [[many-valued_logic]] =,many-valued_logic . many-valued_logic many-valued logic aka: multi-valued logic multivalued logic rel. https://en.wikipedia.org/wiki/Don%27t-care_term Inter: https://ko.wikipedia.org/wiki/다치_논리 [[진리값,truth_value]]이 두 개 이상인 [[명제논리,propositional_logic]] { [[propositional_logic]] } https://namu.wiki/w/다치논리 [[WpEn:Many-valued_logic]] = https://en.wikipedia.org/wiki/Many-valued_logic Google:many-valued+logic "many-valued logic" == 0-valued logic == == 1-valued logic == == 2-valued logic == [[둘,two]] { [[석세서,successor]] of [[석세서,successor]] of [[영,zero]]. } two-valued_logic [[two-valued_logic]] =,two-valued_logic . two-valued_logic { two-valued logic [[many-valued_logic]]중에서 가능한 [[값,value]]이 두 개인 경우. https://ncatlab.org/nlab/show/two-valued+logic Google:two-valued+logic } == 3-valued logic == https://ko.wikipedia.org/wiki/3치_논리 https://en.wikipedia.org/wiki/Three-valued_logic == 4-valued logic == https://en.wikipedia.org/wiki/Four-valued_logic == 9-valued logic == rel. IEEE 1164 WpEn:Nine-valued_logic redir to https://en.wikipedia.org/wiki/IEEE_1164 "The IEEE 1164 standard (Multivalue Logic System for VHDL Model Interoperability)" == finite-valued logic == https://en.wikipedia.org/wiki/Finite-valued_logic == infinite-valued logic == https://en.wikipedia.org/wiki/Infinite-valued_logic == deontic logic == [[deontic_logic]] =,deontic_logic . deontic_logic { deontic logic WtEn:deontic_logic Ggl:"deontic logic" } == epistemic logic == [[epistemic_logic]] =,epistemic_logic . epistemic_logic { epistemic logic WtEn:epistemic_logic { 최소 두 logic의 명칭 epistemic modal logic, a subfield of [[modal_logic]] that is concerned with reasoning about knowledge. dynamic epistemic logic, a logical framework dealing with knowledge and information change. } Ggl:"epistemic logic" } == doxastic logic == [[doxastic_logic]] =,doxastic_logic . doxastic_logic { doxastic logic WtEn:doxastic NdEn:doxastic Ndict:doxastic WtEn:doxastic_logic [[진술,statement]]에 [[믿음,belief]]이 포함된 경우를 다루는 [[modal_logic]]의 한 갈래? Ggl:"doxastic logic" } == intuitionistic logic == [[intuitionistic_logic]] =,intuitionistic_logic . intuitionistic_logic '''intuitionistic logic''' 가능한 번역들: 직관주의 논리 직관논리 intuitionistic_logic [[WtEn:intuitionistic_logic]] = http://en.wiktionary.org/wiki/intuitionistic_logic ---- https://mathworld.wolfram.com/IntuitionisticLogic.html WpSp:Intuitionistic_logic ??? jjjjjj [[WpEn:Intuitionistic_logic]] = https://en.wikipedia.org/wiki/Intuitionistic_logic ... Naver:"직관주의 논리" Ggl:"직관주의 논리" .... Ndict:"intuitionistic logic" Ggl:"intuitionistic logic" Up: [[직관주의,intuitionism]] =,직관주의 =,intuitionism . { 배중률{ Ndict:배중률 Ggl:배중률 }을 배제 ... rel. [[직관,intuition]] { intuition Ndict:직관 Ggl:intuition } .... https://ko.wikipedia.org/wiki/직관주의 https://en.wikipedia.org/wiki/Intuitionism } 비고전주의논리학 NN:비고전주의논리학 == universal logic == [[universal_logic]] =,universal_logic . universal_logic universal logic WtEn:universal_logic https://en.wikipedia.org/wiki/Universal_logic == temporal logic == 시제논리 시간논리 ...둘중 하나로 번역. https://ko.wikipedia.org/wiki/시간_논리 https://en.wikipedia.org/wiki/Temporal_logic === linear temporal logic === Bing:"linear temporal logic" Ggl:"linear temporal logic" "linear temporal logic" === alternating-time temporal logic === https://en.wikipedia.org/wiki/Alternating-time_temporal_logic Bing:"alternating-time temporal logic" "alternating-time temporal logic" == dynamic logic (modal logic) == dynamic_logic [[WpEn:Dynamic_logic_(modal_logic)]] = https://en.wikipedia.org/wiki/Dynamic_logic_(modal_logic) = https://en.wikipedia.org/wiki/Dynamic_logic_%28modal_logic%29 == computation tree logic (CTL) == computation tree logic [[computation_tree_logic]] (CTL) computational tree logic 이란 표현도 많이 보인다 ex. WpEn:CTL* MKL [[temporal_logic]] === CTL* === "'''CTL*''' is a [[superset]] of computational tree logic''([[computation_tree_logic]]?)'' (CTL) and [[linear_temporal_logic]] (LTL). It freely combines [[path_quantifier]]s and [[temporal_operator]]s. Like CTL, CTL* is a branching-time logic. The formal semantics of CTL* formulae are defined with respect to a given [[Kripke_structure]]." (we) [[WpEn:CTL*]] = https://en.wikipedia.org/wiki/CTL* == sequential logic ''VS.'' combinational logic == === sequential logic === sequential logic [[sequential_logic]] =,sequential_logic =,sequential_logic . sequential_logic Srch:sequential_logic 순차논리 로 보통 번역하는 듯 이건 뜻이... sequential logic circuit을 줄인거랑, 페이지를 나누어야 하나? [[WtEn:sequential_logic]] = https://en.wiktionary.org/wiki/sequential_logic ''(short) 즉 메모리를 가지고 있다. input history를 기억한다.'' https://ko.wikipedia.org/wiki/순차_논리 https://en.wikipedia.org/wiki/Sequential_logic FSM([[finite-state_machine]])을 만들 때 사용함. [[Moore_machine]] [[무어_기계,Moore_machine]] WtEn:Moore_machine WpSp:Moore_machine WpEn:Moore_machine Moore machine Ndict:"Moore machine" Ggl:"Moore machine" "Moore machine" [[Mealy_machine]] [[밀리_기계,Mealy_machine]] WtEn:Mealy_machine WpSp:Mealy_machine WpEn:Mealy_machine Mealy machine Ndict:"Mealy machine" Ggl:"Mealy machine" "Mealy machine" 만들때도? 암튼 [[기계,meachine]]s Ndict:"sequential logic" Ggl:"sequential logic" "sequential logic" "sequential logic" === combinational logic === combinational logic [[조합논리,combinational_logic]] [[combinational_logic]] =,combinational_logic =,combinational_logic . combinational_logic Srch:combinational_logic 조합논리 로 보통 번역하는 듯 combinational logic WtEn:combinational_logic 메모리 없음. [[무기억성,memoryless_property]]? https://en.wikipedia.org/wiki/Combinational_logic Ndict:"combinational logic" cf. [[조합회로,combinational_circuit]] === CHK === ||기반 이론이 되는 논리 ||실제 장치 : logic_circuit [[logic_circuit]] WtEn:logic_circuit [[논리회로,logic_circuit]] ? Ndict:"논리 회로" Ggl:"논리 회로" 논리회로 logic_circuit || ||sequential_logic ||sequential_logic_circuit = sequential_circuit || ||combinational_logic ||combinational_logic_circuit = combinational_circuit || == metalogic == [[metalogic]] Srch:metalogic == fixed-point logic == fixed-point logic Ggl:"fixed-point logic" Ggl:"fixpoint logic" [[fixed-point_logic]] =,fixed-point_logic =,fixed-point_logic . fixed-point_logic { 고정점논리 ? https://en.wikipedia.org/wiki/Fixed-point_logic rel [[고정점,fixed_point]] } == ADDHERE( _LOGIC) == == ADDHERE( _LOGIC) == == ADDHERE( _LOGIC) == == ADDHERE( _LOGIC) == == ADDHERE( _LOGIC) == == ADDHERE( _LOGIC) == ''.... ADDHERE( _LOGIC)'' = Sub (logic_ / logical_) = 두 Prefix 가 있는데 의미 차이가 혹시 있는지... usage 차이는 있는데. logic_ logical_ Prefix 차이 나누어서 일단 목록 만들까? - ''나중에 많아지면'' == Cmp: logic operation / logic operator / logic connective == logic operation logic operator logic connective or logical_connective WtEn:logical_connective .... logic_operation WtEn:logic_operation 논리연산 [[연산,operation]] logic operator WtEn:logic_operator Ggl:"logic operator" logic connective logic_connective Ggl:"logic connective" == logic circuit == [[logic_circuit]] =,logic_circuit . logic_circuit logic circuit WtEn:logic_circuit 논리회로 ? === digital logic circuit === digital_logic_circuit digital logic circuit 디지털논리회로 == logic gate == [[logic_gate]] =,logic_gate . logic_gate logic gate 논리게이트 WtEn:logic_gate Ggl:"logic gate" == logic programming == [[logic_programming]] =,logic_programming =,logic_programming . logic_programming { logic programming [[로직,logic]] [[프로그래밍,programming]] 번역? 논리프로그래밍 논리적프로그래밍 로직프로그래밍 .... 중에? Topics: [[Horn_clause]] [[프롤로그,Prolog]] Sub: [[inductive_logic_programming]] =,inductive_logic_programming . inductive_logic_programming { WtEn:inductive_logic_programming ?? https://en.wikipedia.org/wiki/Inductive_logic_programming https://en.wikipedia.org/wiki/Inductive_logic_programming [induction] { VG 귀납,induction } } [[constraint_logic_programming]] =,constraint_logic_programming =,constraint_logic_programming . constraint_logic_programming { "is a form of constraint_programming^^{[[WpEn:Constraint_programming]] = https://en.wikipedia.org/wiki/Constraint_programming}^^, in which [[logic_programming]] is extended to include concepts from constraint_satisfaction^^{ https://en.wikipedia.org/wiki/Constraint_satisfaction }^^."(we) https://en.wikipedia.org/wiki/Constraint_logic_programming [constraint] WtEn:constraint_logic_programming ?? } ---- WtEn:logic_programming ? ---- http://www.aistudy.com/logic/logic_programming.htm ... "logic programming" Ndict:"logic programming" WtEn:logic_programming https://simple.wikipedia.org/wiki/Logic_programming https://en.wikipedia.org/wiki/Logic_programming Up: [[프로그래밍패러다임,programming_paradigm]] [logic] ([[로직,logic]] [[논리,logic]]? [[논리학,logic]]?) } logic_ logic_ logical_ logical_ ... ...... ADDHERE (LOGIC(AL)_ ) // ''일단 추가하고 나중에 위 둘로 분류.(를 전혀 할 필요 없을수도 있지만)'' ---- Cmp: [[앨지브라,algebra]] [[칼큘러스,calculus]] https://everything2.com/title/logic logic is [[reason]]