논리학과 의미론적 관점에서의 존재술어 = Predicat d’existence : une perspective logique et semantique

국문 초록 (Abstract)

오래 전부터 논리학과 언어학은 존재를 표현하는 발화체에 상당한 관심을 가져왔다. 이러한 발화체는 언어에서 개체들의 존재와 관련한 판단을 나타낼 수 있도록 한다. 언어의 형태 차원에서 존재를 표현하는 방식은 여러 가지이다. 존재는 때로 존재양화의 형태로 표현되기도 하고 프랑스어에서 exister나 avoir lieu와 같은 동사의 형태로 표현되기도 한다. 본고는 존재를 표현하는 발화체의 특징과 특이성을 설명하기 위해 이전에 정의된 논리 존재 술어로부터 논의를 시작하고 개별적인 개체들이 있는 존재표현 발화체를 살펴볼 것이다. 이어서 exister나 avoir lieu와 같은 몇몇 동사들을 명확하게 규정할 수 있는 더 상세한 존재 술어를 제안하고자 하는 목적에서 존재를 표현하는 발화체의 시공간적 한정을 논의할 것이다. 우리는 제안되는 다양한 존재 술어들이 개체들이 지니는 고유한 특성(인속개체, 편속개체 등)에 적합하게 들어 맞음을 알아보도록 한다. 본고는 의미·논리적 분석의 범주에서 프레게(Frege)와 레스니에프스키(Lesniewski), 히츠(Hiz)의 작업에서 착안하여 발전시킨 연구이다.

다국어 초록 (Multilingual Abstract)

Depuis longtemps, la logique puis la linguistique se sont interessees aux enonces existentiels. Ces derniers permettent d’exprimer dans les langues des jugements portant sur l’existence d’entites. Sur le plan de la forme linguistique, des moyens differents se trouvent être disponibles dans les langues afin d’exprimer l’existence. En effet, l’expression de l’existence peut parfois prendre la forme d’une quantification existentielle, d’autres fois elle peut prendre la forme grammaticale d’un verbe comme exister ou avoir lieu en français. Nous proposons dans ce present article de partir d’un predicat logique d’existence prealablement defini afin d’expliquer par la suite les differentes caracteristiques et specificites des enonces existentiels. Nous traiterons pour cela du cas des enonces existentiels portant sur des entites individuelles. Ensuite, nous nous interesserons aux determinations spatiales et temporelles des enonces existentiels dans le but de proposer des predicats d’existence plus specifiques qui permettront de definir certains verbes comme exister ou avoir lieu. Nous verrons que les differents predicats d’existence proposes s’adaptent adequatement à la nature particulière des entites sur lesquelles ils portent (entites endurantes, entites perdurantes, etc.). Le travail presente se situera dans le cadre d’une analyse semantico-logique inspiree par les travaux de G. Frege ainsi que ceux de S. Lesniewski et P. Hiz.