Bar·can
C2proper noun성씨 또는 ‘Barcan formula’에서 쓰이는 고유명사
noun명사
- 1
바칸 — 성씨, 특히 Ruth Barcan Marcus의 이름으로 알려진 성C2〔general〕
a surname, notably that of the logician Ruth Barcan Marcus
Barcan is best known to many students through Ruth Barcan Marcus.
많은 학생들에게 Barcan은 Ruth Barcan Marcus를 통해 가장 잘 알려져 있다.
The name Barcan appears in discussions of modern modal logic.
Barcan이라는 이름은 현대 양상 논리 논의에 등장한다.
- 2
바칸 — ‘Barcan formula’처럼 논리학 용어에서 특정 논리식의 이름으로 쓰이는 고유명사C2〔logic〕
used in the term “Barcan formula,” a formula or schema in quantified modal logic
The Barcan formula is discussed in advanced courses on modal logic.
Barcan formula는 양상 논리 고급 과정에서 다루어진다.
Some systems accept the Barcan formula, while others reject it.
어떤 체계는 Barcan formula를 받아들이지만, 다른 체계는 거부한다.
뉘앙스 · 쓰임
일반 단어가 아니라 사람 이름에서 온 고유명사입니다. ‘Barcan formula’는 전문적인 논리학 용어이므로, 보통의 ‘formula’와 달리 특정한 논리식 또는 원리를 가리킵니다.
항상 대문자 Barcan으로 쓰는 것이 표준적입니다. 논리학 문맥에서는 ‘Barcan formula’ 또는 ‘converse Barcan formula’처럼 다른 명사 앞에서 이름으로 쓰입니다.
자주 쓰는 표현 · Collocations
proper noun+noun
- Barcan formulaBarcan 공식
adj+proper noun+noun
- converse Barcan formula역 Barcan 공식
proper name
- Ruth Barcan Marcus루스 바칸 마커스
어원 · 암기 팁
성씨 Barcan의 정확한 어원은 여기서 확정하기 어렵습니다. 논리학 용어 ‘Barcan formula’는 Ruth Barcan Marcus의 이름에서 왔습니다.
고유명사 Barcan; ‘Barcan formula’에서는 성씨가 앞에서 수식어처럼 쓰임
💡 ‘Barcan formula’는 논리학자 Ruth Barcan Marcus의 이름에서 온 공식이라고 기억하면 됩니다.