Originally published in 1965. This is a textbook of modern deductive logic, designed for beginners but leading further into the heart of the subject than most other books of the kind. The fields covered are the Propositional Calculus, the more elementary parts of the Predicate Calculus, and Syllogistic Logic treated from a modern point of view. In each of the systems discussed the main emphases are on Decision Procedures and Axiomatisation, and the material is presented with as much formal rigour (...) as is compatible with clarity of exposition. The techniques used are not only described but given a theoretical justification. Proofs of Consistency, Completeness and Independence are set out in detail. The fundamental characteristics of the various systems studies, and their relations to each other are established by meta-logical proofs, which are used freely in all sections of the book. Exercises are appended to most of the chapters, and answers are provided. (shrink)

In this paper I shall venture into an area with which I am not very familiar and in which I feel far from confident; namely into phenomenology. My main motive is not to get away from standard, boring, methodological questions like those of induction and demarcation; but the conviction that a phenomenological account of the empirical basis forms a necessary complement to Popper's falsificationism. According to the latter, a scientific theory is a synthetic and universal, hence unverifiable proposition. In fact, (...) in order to be technologically useful, a scientific hypothesis must refer to future states-of-affairs; it ought therefore to remain unverified. But in order to be empirical, a theory must bear some kind of relation to factual statements. According to Popper, such a relation can only be one of potential conflict. Thus a theory T will be termed scientific if and only if T is logically incompatible with a so-called basic statement b, where b is both empirically verifiable and empirically falsifiable. In other words: T is scientific if it entails ¬b; where b, hence also ¬b, is an empirically decidable proposition. (shrink)

The work is aimed at interpreting text and paintings in D. Rubina and B. Karafelov’s book ‘Okna‘. The authors of the article conduct an analysis of episodes with pictorial ecphrasis in the stories from the book and an iconographic analysis of paintings inside the stories. The chosen topic is actual, because it provides an alternative way to solve a problem of word and image relations in the text. The article is aimed at the search for new methods to reflect a (...) protagonist’s character. In this context, the authors of the article compare images in D. Rubina’s texts with B. Karafelov’s paintings, analyze the symbiotical connection of pictorial ecphrasis and reproductions of paintings. The most of the stories are autobiographical what makes them representative in terms of transferring the narrator’s position through the pictorial ecphrasis. In that book, paintings are not just illustrations and not visualization of ecphrasis. Pictures were introduced into the text of novels for presenting main motives and enriching stories by new images and meanings, which could not be represented by text. Colors of paintings are accentuated by color-designation words and are converged to tonality of text. Thereby a reader can interact with a writer and a painter simultaneously. After analyzing of text and pictures, the authors of the article made a conclusion about efficiency of word and picture synthesis for disclosure of the same themes in multiple artistic planes. (shrink)

Introductory paragraph from unpublished review.