The logical works of Aristotle were compiled into six books in about the early 1st century AD:

* Avicenna ( Ibn-Sina ) on the Subject and the Object of Metaphysics with a list of translations of the logical and philosophical works and an annotated bibliography

In addition, since ISO 9660 works by segmenting the CD-ROM into logical blocks, the size of these blocks is found in the primary volume descriptor as well.

Alice Whealy, who supports the partial authenticity of the Testimonium, has rejected the arguments by Kenneth Olson regarding the total fabrication of the Testimonium by Eusebius, stating that Olson's analysis includes inaccurate readings of both the works of Josephus and Eusebius, as well as logical flaws in his argument.

In the years between the two works Wittgenstein came to reject the idea that underpinned logical atomism, that there were ultimate " simples " from which a language should, or even could, be constructed.

Aristotle's ethical, logical, and metaphysical works were crucial to the development of his thought in the crucial period of the 1920s.

Walter Gieseking found some of Ravel ’ s piano works to be among the most difficult pieces for the instrument but always based on “ musically perfectly logical concepts ”; not just technically demanding but also requiring the right expression.

The taxonomy of material fallacies is based on that of Aristotle's logical works Organon ( Sophistici elenchi ).

Though it is difficult to determine the dates, the probable order of writing of Aristotle's logical works is:

While many of the works of Antonín Dvořák ( 1841-1904 ) were given opus numbers, these did not always bear a logical relationship to the order in which they were either written or published.

The idea to learn Hasidic mystical texts with similar logical profundity, derives from the unique approach in the works of the Rebbes of Chabad, initiated by its founder Schneur Zalman of Liadi, to systematically investigate and articulate the " Torah of the Baal Shem Tov " in intellectual forms.

* The 1997 Rolf Schock Prize in logic and philosophy from the Royal Swedish Academy of Sciences for his conceptually oriented logical works, especially the creation of domain theory, which has made it possible to extend Tarski's semantical paradigm to programming languages as well as to construct models of Curry's combinatory logic and Church's calculus of lambda conversion ; and

* Buridan: Editions, Translations and Studies on the Manuscript Tradition Complete bibliography of the logical and metaphysical works

In this work Jevons embodied the substance of his earlier works on pure logic and the substitution of similars ; he also enunciated and developed the view that induction is simply an inverse employment of deduction ; he treated in a luminous manner the general theory of probability, and the relation between probability and induction ; and his knowledge of the various natural sciences enabled him throughout to relieve the abstract character of logical doctrine by concrete scientific illustrations, often worked out in great detail.

Simply put, the purpose of a scientific model is to see if a scientific theory works and to actualize its logical consequences.

* Borkowski, L .; Słupecki, J., " The logical works of J. Łukasiewicz ", Studia Logica 8 ( 1958 ), 7 – 56.

Although some knowledge of Aristotle's logical works was known to western Europe, it wasn't until the Latin translations of the 12th century that the works of Aristotle and his Arabic commentators became widely available.

They reason that the history of the development of science suggests that determinism is the logical method in which reality works.

It stars Alan Davies as the title character, who works as a creative consultant to a magician while also solving seemingly supernatural mysteries through his talent for logical deduction and knowledge of illusionism.

A Venus largely or wholly covered by a worldwide ocean was a common theme in science fiction works of the time — a logical, though eventually proven erroneous, inference from the planet's thick cloud cover that it had constant rainfall and ubiquitous oceans.

It contains many works of art dating from the pre-Renaissance up to the post-Impressionist eras, but in no logical or chronological order.

The Categories and On Interpretation are the only significant logical works that were available in the early Middle Ages.

The other logical works were not available in Western Christendom until translated to Latin in the 12th century.

The Cutter Expansive Classification, although adopted by comparatively few libraries, mostly in New England, has been called one of the most logical and scholarly of American classifications.

The reason this is called " disjunctive syllogism " is that, first, it is a syllogism, a three-step argument, and second, it contains a logical disjunction, which simply means an " or " statement.

A normalised design will often store different but related pieces of information in separate logical tables ( called relations ).

Husserl also talked about what he called " logic of truth " which consists of the formal laws of possible truth and its modalities, and precedes the third logical third stratum.

They restricted themselves to a compilation of the principal methods of logical deduction, which they called " middot " ( measures ), although the other rules also were known by that term ( comp.

A false dilemma ( also called false dichotomy, the either-or fallacy, fallacy of false choice, black-and-white thinking, or the fallacy of exhaustive hypotheses ) is a type of logical fallacy that involves a situation in which only two alternatives are considered, when in fact there is at least one additional option.

In logic, a logical connective ( also called a logical operator or a truth function ) is a symbol or word used to connect two or more sentences ( of either a formal or a natural language ) in a grammatically valid way, such that the sense of the compound sentence produced depends only on the original sentences.

The most common logical connectives are binary connectives ( also called dyadic connectives ) which join two sentences which can be thought of as the function's operands.

These symbols are called " logical connectives ", " logical operators ", " propositional operators ", or, in classical logic, " truth-functional connectives ".

* The omega set is a finite set of elements called operator symbols or logical connectives.

Niven has also written a logical fantasy series The Magic Goes Away, which utilizes an exhaustible resource called Mana to power a rule-based " technological " magic.

While it is one of the most commonly used concepts in logic it must not be mistaken for a logical law ; rather, it is one of the accepted mechanisms for the construction of deductive proofs that includes the " rule of definition " and the " rule of substitution " Modus ponens allows one to eliminate a conditional statement from a logical proof or argument ( the antecedents ) and thereby not carry these antecedents forward in an ever-lengthening string of symbols ; for this reason modus ponens is sometimes called the rule of detachment.

Halliday's early grammatical descriptions of English, called " Notes on Transitivity and Theme in English – Parts 1 – 3 " include reference to " four components in the grammar of English representing four functions that the language as a communication system is required to carry out: the experiential, the logical, the discoursal and the speech functional or interpersonal ".

With the omission of the law of the excluded middle as an axiom, the remaining logical system has an existence property which classical logic does not: whenever is proven constructively, then in fact is proven constructively for ( at least ) one particular, often called a witness.

There are further logical examples that seem to undermine even this restricted definition, such as the following one ( called " The Strengthened Divine Liar "):

It has a purely logical subset, called " pure Prolog ", as well as a number of extralogical features.

This degree of support of H by E has been called the logical probability of H given E, or the epistemic probability of H given E, or the inductive probability of H given E.

A logical truth ( also called an analytic truth or a necessary truth ) is a statement which is true in all possible worlds or under all possible interpretations, as contrasted to a fact ( also called a synthetic claim or a contingency ) which is only true in this world as it has historically unfolded.

In logic, Ockham wrote down in words the formulae that would later be called De Morgan's Laws, and he pondered ternary logic, that is, a logical system with three truth values ; a concept that would be taken up again in the mathematical logic of the 19th and 20th centuries.

The initial version of VHDL, designed to IEEE standard 1076-1987, included a wide range of data types, including numerical ( integer and real ), logical ( bit and boolean ), character and time, plus arrays of < tt > bit </ tt > called < tt > bit_vector </ tt > and of < tt > character </ tt > called string.