Shapiro O. The logical analysis of conflict

The dissertation research is related to review and systemization of logical methods of conflict analysis. In the course of investigation it was set that maximal completeness of conflict analysis can be achieved only as the consequent of association of diversified logic methods of formal theories (temporal logic, deontic logic, IF-logic, cognitive logic) and informal theories (pragmadialectics and argumentation theory). Such association can be executed on the basis of theoretical-game semantics and such general philosophy ideas as interlocutory human existence, dispersion of time etc.; and also the presumption of rationality of human behavior is necessary. The result is that algorithms of analysis and forecasting of conflict are formulated; their effectiveness is demonstrated with specific reference. Key words: conflict, discourse, logical analysis, game, strategy, game tree, theoretical-game semantics, algorithm of analysis, forecasting algorithm.