Translation and Interpretation in Ibn Taymiyya's Logical Definition

2011 ◽  
Vol 19 (6) ◽  
pp. 1047-1065
Author(s):  
Sobhi Rayan
Keyword(s):  
Logical Definition

Imagination and Mathematics

2019 ◽  
pp. 129-146
Author(s):  
Dmitri Nikulin
Keyword(s):  
Sense Perception ◽  
Geometrical Object ◽  
Geometrical Figure ◽  
Logical Definition ◽  
And Mathematics ◽  
Different Levels

Chapter 8 considers the role of the imagination as it appears in Proclus’ commentary on Euclid, where mathematical or geometrical objects are taken to mediate, both ontologically and cognitively, between thinkable and physical things. With the former, mathematical things share the permanence and consistency of their properties; with the latter, they share divisibility and the possibility of being multiplied. Hence, a geometrical figure exists simultaneously on four different levels: as a noetic concept in the intellect; as a logical definition, or logos, in discursive reasoning; as an imaginary perfect figure in the imagination; and as a physical imitation or representation in sense-perception. Imagination, then, can be equated with the intelligible or geometrical matter that constitutes the medium in which a geometrical object can be constructed, represented, and studied.

Properties of Air-derived and Ground-derived Aircraft Landing Guidance Concepts

1973 ◽  
Vol 26 (4) ◽  
pp. 431-449
Author(s):  
I. M. Hunter
Keyword(s):  
Substantial Proportion ◽  
Aircraft Landing ◽  
Logical Definition ◽  
Wide Range ◽  
Made In

To judge from literature and verbal statements made in recent years, it is probable that among those who read the title of this paper, a substantial proportion will already hold strong views on the relative merits of the two types of system, that these views will reflect a wide range of incompatible conclusions and that they will not all agree on the precise definitions of the two terms themselves. The terms have not been formally defined which has, of course, contributed to the confusion and this is unfortunate because, in the opinion of the author, the terms do lend themselves to logical definition. Furthermore many of the attributes of the two types of concept do confer obvious penalties or advantages which are not seriously in dispute among the contending parties.

High amplitude propagating pressure wave sequences: Toward a logical definition

1998 ◽  
Vol 114 ◽  
pp. A716 ◽  
Author(s):  
PA Bampton ◽  
PG Dinning ◽  
ML Kennedy ◽  
DZ Lubowski ◽  
IJ Cook
Keyword(s):  
Pressure Wave ◽  
High Amplitude ◽  
Logical Definition

What Is a Paraphrase?

2013 ◽  
Vol 39 (3) ◽  
pp. 463-472 ◽  
Author(s):  
Rahul Bhagat ◽  
Eduard Hovy
Keyword(s):  
English Text ◽  
Semantic Equivalence ◽  
Naturally Occurring ◽  
Logical Definition ◽  
Random Samples ◽  
Definition Of

Paraphrases are sentences or phrases that convey the same meaning using different wording. Although the logical definition of paraphrases requires strict semantic equivalence, linguistics accepts a broader, approximate, equivalence—thereby allowing far more examples of “quasi-paraphrase.” But approximate equivalence is hard to define. Thus, the phenomenon of paraphrases, as understood in linguistics, is difficult to characterize. In this article, we list a set of 25 operations that generate quasi-paraphrases. We then empirically validate the scope and accuracy of this list by manually analyzing random samples of two publicly available paraphrase corpora. We provide the distribution of naturally occurring quasi-paraphrases in English text.

Using Interfaces to Drive Module Definition: Investigating the Impact of a New Design Dependency Measure

2014 ◽  
Author(s):  
Sangjin Jung ◽  
Timothy W. Simpson ◽  
Oyku Asikoglu
Keyword(s):  
Relative Strength ◽  
Change Resistance ◽  
Product Architecture ◽  
Logical Definition ◽  
Design Structure ◽  
Different Types ◽  
Optimizing Design ◽  
Interface Definition ◽  
Definition Of ◽  
The Impact

Structural representations for interfaces between modules and components in a product vary widely in the literature. After reviewing several structural approaches to interface definition, a new weighted design dependency measure is described. The new representation takes into account both six different types of interfaces as well as their relative strength and frequency within a product architecture. The resulting design dependency measure provides a means for designers to quantify the change resistance in a product. In this paper, we investigate the use of this new design dependency measure to drive module identification. Specifically, we compare the resulting modules obtained by optimizing Design Structure Matrices (DSMs) using standard 0-1 representations of the interfaces to those obtained using the new design dependency measure. The results indicate that the weighted design dependency measure leads to more a logical definition of modules that maximizes within module dependencies and minimizes interactions between modules.

Arithmetic and the theory of types

1984 ◽  
Vol 49 (2) ◽  
pp. 621-624 ◽  
Author(s):  
M. Boffa
Keyword(s):  
Peano Arithmetic ◽  
Positive Answer ◽  
Second Order ◽  
Countable Model ◽  
Natural Numbers ◽  
Conservative Extension ◽  
Logical Definition ◽  
Claude Bernard ◽  
Definition Of ◽  
Image Position

A hundred years ago, Frege proposed a logical definition of the natural numbers based on the following idea:He replaced this circular definition by the following one:He tried afterwards to found his theory over a notion of class satisfying a general comprehension principle:Russell quickly derived a contradiction from this principle (the famous Russell's paradox) but saved Frege's arithmetic with his theory of types based on the following comprehension principle:In 1979, talking at the Claude Bernard University in Lyon, I remarked that 3 types suffice to provide Frege's arithmetic, showing in fact that PA2 (second order Peano arithmetic) holds in TT3 + AI (theory of types 0, 1, 2 plus a suitable axiom of infinity). I asked whether TT3 + AI was a conservative extension of PA2. Pabion [3] gave a positive answer by a subtle use of the Fraenkel-Moskowski method. This result will be improved in the present paper, with a view to getting models of NF3 + AI in which Frege's arithmetic forms a model isomorphic to a given countable model of PA2.

scholarly journals On problems of criminal and legal qualification of offenses of traffic of dangerous chemical substances on the territory of Ukraine

2020 ◽  
Vol 53 (2) ◽  
pp. 29-38
Author(s):  
M.G. Prodanchuk ◽  
O.F. Bantyshev ◽  
M.V. Velychko ◽  
O.P. Kravchuk ◽  
I.M. Salahor ◽  
...  
Keyword(s):  
Criminal Liability ◽  
Criminal Code ◽  
Toxic Substances ◽  
Legal Analysis ◽  
The European Union ◽  
Scientific Publications ◽  
Systematic Analysis ◽  
Logical Definition ◽  
Domestic Legislation ◽  
The Eu

Aim of the Research. To make the systematic analysis of structure of the crimes of Ukraine providing responsibility for smuggling of poisonous substances (Article 201 of Criminal Code of Ukraine) and for illegal production, manufacture, acquisition, transportation, shipment, storage for the purpose of sale or sale of poisonous or potent substances, or poisonous or potent drugs (Article 321 of the Criminal Code of Ukraine). Provide proposals to bring the legislation of Ukraine concerning the list of toxic substances their production, storage, transportation, use, disposal, destruction and disposal in accordance with EU legislation. Materials and Methods. The research is based on international and domestic legislation, scientific publications, materials of scientific and practical conferences, etc. The following methods are used in the work: dialectical, systematic analysis of the internal construction of the system of criminal law, formal-logical definition, modeling, analogy, logical and formal-legal. Results and Discussion. The article examines the issue of criminal liability for socially dangerous acts related to toxic substances. A brief legal analysis was performed. Attention is focused on the need to bring the legislation of Ukraine in line with the requirements of the legislation of the European Union. It is noted that in the EU there is no term “toxic substances” in laws and regulations, and the term dangerous substance is used. Conclusions. It is necessary to develop a draft regulatory document harmonized with EU requirements instead of the repealed Resolution of the Cabinet of Ministers of Ukraine No 440, which concerns the procedure for handling these substances. Keywords: criminal code, poisonous substance, dangerous substance, normative document, smuggling.

A Logical Definition of Value

1951 ◽  
Vol 48 (13) ◽  
pp. 413 ◽  
Author(s):  
Robert S. Hartman
Keyword(s):  
Logical Definition ◽  
Definition Of

Logical definition.

2011 ◽  
pp. 541-553
Author(s):  
Edward John Hamilton
Keyword(s):  
Logical Definition
Sign in / Sign up

Export Citation Format

Share Document