A syllogism (Greek: συλλογισμός – "conclusion," "inference") or logical appeal is a kind of logical argument in which one proposition (the conclusion) is inferred from two others (the premises) of a certain form.
In Aristotle's Prior Analytics, he defines syllogism as "a discourse in which, certain things having been supposed, something different from the things' supposed results of necessity because these things are so." (24b18–20)
Despite this very general definition, he limits himself first to categorical syllogisms [1] (and later to modal syllogisms). The syllogism was at the core of traditional deductive reasoning, where facts are determined by combining existing statements, in contrast to inductive reasoning where facts are determined by repeated observations. Syllogism was superseded by first-order predicate logic following the work of Frege, in particular 1879 Begriffsschrift (Concept Script) 1879.

Anthropomorphism is the attribution of human characteristics to non-human creatures and beings, phenomena, material states and objects or abstract concepts. Examples include animals and plants depicted as creatures with human motivation able to reason and converse and forces of nature such as winds, rain or the sun. The term derives from the combination of the Greek ἄνθρωπος (ánthrōpos), "human" and μορφή (morphē), "shape" or "form".
It is strongly associated with art and storytelling where it has ancient roots. Most cultures possess a long-standing fable tradition with anthropomorphised animals as characters that can stand as commonly recognised types of human behaviour.
Anthropomorphic animals are often used as mascots for sports teams or sporting events, often represented by humans in costumes.

Die Erkenntnistheorie oder Epistemologie ist eines der fachübergreifenden Diskussionsfelder der Philosophie, befasst mit der Frage, wie Wissen zustande kommt, welche Erkenntnisprozesse denkbar sind (etwa Sinneswahrnehmung, logische Schlussfolgerung, Modellannahme mit Versuch und Irrtum, Erkenntnis der Wahrheit durch Offenbarung, Reflexion angeborener Ideen und Kategorien), sowie mit den eingehenderen Fragen, wie begründet angebliches Wissen unter diesen Voraussetzungen ist, und woran man erkennt, dass es tatsächlich mit Erkenntnis angeboten wird. Von Interesse ist hier vor allem, welche Art von Zweifel an welcher Art von Wissen grundsätzlich bestehen kann. Können wir die Existenz materieller Gegenstände beweisen? Ist ein Satz wie „du sollst nicht töten“ auf ähnliche Weise „wahr“ wie eine Beobachtung aus der Astrophysik? Gibt es einen Beweis für die Existenz eines transzendenten Bereichs von Dingen, die sich der sinnlichen Wahrnehmung entziehen (wie das Leben nach dem Tod oder Gott)? Konkrete Wissensbestände werden hier (wie im Folgenden) oft nur als Beispiele benutzt, um an ihnen grundsätzliche Annahmen zu diskutieren.

Ontology (from the Greek ὄν, genitive ὄντος: of being (neuter participle of εἶναι: to be) and -λογία, -logia: science, study, theory) is the philosophical study of the nature of being, existence or reality in general, as well as of the basic categories of being and their relations. Traditionally listed as a part of the major branch of philosophy known as metaphysics, ontology deals with questions concerning what entities exist or can be said to exist, and how such entities can be grouped, related within a hierarchy, and subdivided according to similarities and differences.

Die Ontologie (aus dem Griechischen ὄν on als Partizip zu εἶναι einai „sein“ und aus λόγος logos - „Lehre“, „Wort“) ist eine Disziplin der theoretischen Philosophie. In der Ontologie geht es einerseits um Grundstrukturen der Realität. Dieser Gegenstandsbereich ist weitgehend derselbe, der nach traditioneller Terminologie „allgemeine Metaphysik“ genannt wurde.
Spezielle Gegenstandsbereiche betreffende Fragen sind zum Beispiel „Was ist der Mensch?“, „Gibt es einen Gott?“ oder „Hat die Welt einen Anfang?“. Diese Themen fielen nach traditioneller Stoffgliederung in den Bereich „spezielle Metaphysik“.
Bei einigen traditionellen Herangehensweisen steht der Begriff des Seins im Vordergrund. Allgemeiner fällt unter den Gegenstandsbereich der Ontologie eine Systematik grundlegender Typen von Entitäten (Gegenstände, Eigenschaften, Prozesse) und ihrer strukturellen Beziehungen.
Heute werden in der systematischen Philosophie die Ausdrücke „Ontologie“ und „Metaphysik“ zumeist gleichsinnig gebraucht.

Etymology (pronounced /etɪˈmɒlədʒi/) is the study of the history of words and how their form and meaning have changed over time.
For languages with a long written history, etymologists make use of texts in these languages, and texts about the languages, to gather knowledge about how words were used at earlier stages, and when they entered the languages in question. Etymologists also apply the methods of comparative linguistics to reconstruct information about languages that are too old for any direct information to be available. By analyzing related languages with a technique known as the comparative method, linguists can make inferences about their shared parent language and its vocabulary. In this way, word roots have been found which can be traced all the way back to the origin of, for instance, the Indo-European language family.
Even though etymological research originally grew from the philological tradition, nowadays much etymological research is done on language families where little or no early documentation is available, such as Uralic and Austronesian.

In propositional logic, a tautology (from the Greek word ταυτολογία) is a propositional formula that is true under any possible valuation (also called a truth assignment or an interpretation) of its propositional variables. For example, the propositional formula ("A or not-A") is a tautology, because the statement is true for any valuation of A. Examples can be more complex such as ("A and B; or not-A; or not-B"). The philosopher Ludwig Wittgenstein first applied the term to propositional logic in 1921.
A tautology's negation is a contradiction, a propositional formula that is false regardless of the truth values of its propositional variables. Such propositions are called unsatisfiable. Conversely, a contradiction's negation is a tautology. A formula that is neither a tautology nor a contradiction is said to be logically contingent. Such a formula can be made either true or false based on the values assigned to its propositional variables.
A key property of tautologies is that an effective method exists for testing whether a given formula is always satisfied (or, equivalently, whether its complement is unsatisfiable). One such method uses truth tables. The decision problem of determining whether a formula is satisfiable is the Boolean satisfiability problem, an important example of an NP-complete problem in computational complexity theory.
The notation is used to indicate that S is a tautology. The symbol is sometimes used to denote an arbitrary tautology, with the dual symbol (falsum) representing an arbitrary contradiction.

Tautologie (Logik)

http://de.wikipedia.org/wiki/Tautologie_(Logik)

Eine Tautologie (altgr. τὸ αὐτό tò autó „dasselbe“ und -logie), auch Verum (lat. verum „wahr“) genannt, ist in der Logik eine allgemein gültige Aussage, das heißt eine Aussage, die aus logischen Gründen immer wahr ist. Beispiele für Tautologien sind Aussagen wie „Wenn es regnet, dann regnet es“ und „Alle Schweine sind Schweine“.
Teilweise wird der Begriff Tautologie für alle Arten von allgemein gültigen Aussagen verwendet, teilweise wird er auf solche Aussagen eingeschränkt, die in der zweiwertigen, klassischen Aussagenlogik allgemein gültig sind. Im letzteren, aussagenlogischen Sinn ist eine zusammengesetzte Aussage genau dann eine Tautologie, wenn sie wahr ist unabhängig davon, ob die Teilaussagen, aus denen sie zusammengesetzt ist, ihrerseits wahr oder falsch sind.
Formal wird die Feststellung, dass eine Aussage allgemein gültig beziehungsweise eine Tautologie ist, als geschrieben.