The purpose of the paper will be first a presentation of Meinong's concept of lying, and then an application of Meinong's ideas to a certain formal analysis. The analysis will be based on two primitive terms which are two-place predicates: B - "to believe" and W - "to want". On the basis of the above predicates, the Meinongian definition of lying (the three-place predicate L - "to lie") will be given, together with another definition of a speech act (the three-place (...) predicate S - "to say"). It is not intended to give a ready formal system, but rather to show that such a system is possible to construct. The proposal which will be presented with the application of formal tools and which has Meinongian style is open for different interpretations: one of the directions is logic of intentions, another one - theory of speech-acts. (shrink)

The purpose of the paper will be first a presentation of Meinong's concept of lying, and then an application of Meinong's ideas to a certain formal analysis. The analysis will be based on two primitive terms which are two-place predicates: B - "to believe" and W - "to want". On the basis of the above predicates, the Meinongian definition of lying (the three-place predicate L - "to lie") will be given, together with another definition of a speech act (the three-place (...) predicate S - "to say"). It is not intended to give a ready formal system, but rather to show that such a system is possible to construct. The proposal which will be presented with the application of formal tools and which has Meinongian style is open for different interpretations: one of the directions is logic of intentions, another one - theory of speech-acts. (shrink)