The problem of the relationship between formal logic and philosophy, which arose when formal logic arose, continues to concern both Soviet and foreign philosophers and logicians. Interest in this problem is traceable to a number of factors, among which, it should be noted at the outset, is the appearance of dialectical, logic. With the emergence of dialectical logic, the question of the relationship of formal logic to philosophy is posed anew. No matter how we approach the question of the subject (...) matter of dialectical logic, there is no doubt of the fact that, being logic, it is concerned with the investigation of philosophical problems. It follows that logic is at the same time philosophy or, at least, a portion of philosophy. (shrink)

In speaking of the reasons for the appearance of semantics, certain writers note the following three problems the solution of which demanded semantic analysis: 1) the problem of antinomies; 2) the problem of refining and explaining the basic concepts of formalized logic and mathematics; and 3) the problem of the complete formalization of logic.

By the "logic of scientific knowledge," or simply "the logic of science" we mean the discipline in philosophy concerned with the application of the techniques and methods of logic to scientific knowledge. In studying certain aspects of the logic of scientific knowledge it is possible to employ successfully not only the methods of dialectical logic but those of formal logic. It is the latter that will be the special concern of the present article.

We present an axiomatic framework for nonstandard analysis-the Nonstandard Class Theory which extends von Neumann-Godel-Bernays Set Theory by adding a unary predicate symbol St to the language of NBG means that the class X is standard) and axioms-related to it- analogs of Nelson's idealization, standardization and transfer principles. Those principles are formulated as axioms, rather than axiom schemes, so that NCT is finitely axiomatizable. NCT can be considered as a theory of definable classes of Bounded Set Theory by V. Kanovei (...) and M. Reeken. In many aspects NCT resembles the Alternative Set Theory by P. Vopenka. For example there exist semisets in NCT and it can be proved that a set has a standard finite cardinality iff it does not contain any proper subsemiset. Semisets can be considered as external classes in NCT. Thus the saturation principle can be formalized in NCT. (shrink)

An interrogation of the term 'theory' from the perspective of linguistic discourse Zima offers a new definition of theory from a cultural and sociological perspective, with a view to encountering heterogenerous points of view in critical dialogue.

Presents an original theoretical system to explain and contrast modernism and postmodernism.

J. T. Hooker argues that at Il. 24.649 πικερτομων must mean ‘taunting’ and, since ‘taunting’ makes no sense, that πικερτομων must have entered our Iliad at this point from a version of the Iliad slightly different from ours in which it did make sense. I wish to argue that πικερτομων has a meaning different from ‘taunting’, which makes good sense of this, and every other, context.

We develop an axiomatic set theory — the Theory of Hyperfinite Sets THS— which is based on the idea of the existence of proper subclasses of large finite sets. We demonstrate how theorems of classical continuous mathematics can be transfered to THS, prove consistency of THS, and present some applications.

J. T. Hooker argues that at Il. 24.649 ⋯πικερτομ⋯ων must mean ‘taunting’ and, since ‘taunting’ makes no sense, that ⋯πικερτομ⋯ων must have entered ourIliadat this point from a version of theIliadslightly different from ours in which it did make sense. I wish to argue that ⋯πικερτομ⋯ων has a meaning different from ‘taunting’, which makes good sense of this, and every other, context.

Les colonies de Terre Sainte, en dépit de trois croisades successives, ont abordé le dernier quart du 13e siècle dans un état de faiblesse inquiétant. Le pape Grégoire X a essayé durant cinq ans de redresser la situation par tous les moyens. L'A. retrace tout d'abord la destinée exceptionnelle de ce pape, de son vrai nom Tebaldo Visconti, né à Plaisance en 1210 et mort à Arezzo en 1276. Il étudie ensuite l'action de Grégoire X dans son redressement spirituel de (...) l'Orient latin. Son désir profond de venir en aide à la Terre Sainte s'exprima aussi dans des mesures financières. Les limites de l'action du Saint-Siège sont étudiées ainsi que le soutien logistique des colonies franques de Syrie apporté au pape. L'évolution de la conjoncture internationale compromit sérieusement à partir de 1273 les retombées ses efforts. (shrink)