Перевод: с английского на немецкий

с немецкого на английский

formal+reasoning

  • 1 logic

    noun
    Logik, die
    * * *
    ['lo‹ik]
    ((the study and art of) reasoning correctly.) die Logik
    - academic.ru/43594/logical">logical
    - logically
    * * *
    log·ic
    [ˈlɒʤɪk, AM ˈlɑ:ʤ-]
    1. (chain of reasoning) Logik f
    he cannot refuse to acknowledge the force of \logic er kann sich der zwingenden Logik nicht widersetzen
    that's just \logic das ist einfach logisch
    deductive \logic logische Schlussfolgerung
    flawed \logic unlogischer Gedankengang
    internal \logic innere Logik
    to defy \logic gegen jede Logik verstoßen
    to follow sb's \logic jds Logik [o Gedankengang] folgen
    2. (formal thinking) Logik f
    formal \logic die formale Logik
    3. (justification) Vernunft f
    there's no \logic in the decision die Entscheidung ist wider alle Vernunft
    4. COMPUT Logik f
    5. ELEC Logikschaltung f
    * * *
    ['lɒdZɪk]
    n
    Logik f
    * * *
    logic [ˈlɒdʒık; US ˈlɑ-] s
    1. PHIL Logik f (Lehre von den Formen und Gesetzen folgerichtigen Denkens)
    2. Logik f:
    female logic weibliche Logik;
    chop logic Haarspalterei treiben
    b) Notwendigkeit f, Folgerichtigkeit f (einer Entwicklung etc)
    3. Überzeugungskraft f (von Fakten etc)
    log. abk logic (logical)
    * * *
    noun
    Logik, die
    * * *
    adj.
    logisch adj. n.
    Folgerichtigkeit f.
    Logik nur sing. f.

    English-german dictionary > logic

  • 2 logic

    log·ic [ʼlɒʤɪk, Am ʼlɑ:ʤ-] n
    1) ( chain of reasoning) Logik f;
    he cannot refuse to acknowledge the force of \logic er kann sich der zwingenden Logik nicht widersetzen;
    that's just \logic das ist einfach logisch;
    deductive \logic logische Schlussfolgerung;
    flawed \logic unlogischer Gedankengang;
    internal \logic innere Logik;
    to defy \logic gegen jede Logik verstoßen;
    to follow sb's \logic jds Logik f [o Gedankengang m] folgen
    2) ( formal thinking) Logik f;
    formal \logic die formale Logik
    3) ( justification) Vernunft f;
    there's no \logic in the decision die Entscheidung ist wider alle Vernunft
    4) comput, elec Logik f

    English-German students dictionary > logic

См. также в других словарях:

  • Reasoning — is the cognitive process of looking for reasons for beliefs, conclusions, actions or feelings. [ Kirwin, Christopher. 1995. Reasoning . In Ted Honderich (ed.), The Oxford Companion to Philosophy . Oxford: Oxford University Press: p. 748] Humans… …   Wikipedia

  • Formal epistemology — is a subdiscipline of epistemology that utilizes formal methods from logic, probability theory and computability theory to elucidate traditional epistemic problems. TopicsSome of the topics that come under the heading of formal epistemology… …   Wikipedia

  • Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… …   Wikipedia

  • formal logic — n. the branch of logic that examines patterns of reasoning to determine which ones necessarily result in valid, or formally correct, conclusions …   English World dictionary

  • Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… …   Wikipedia

  • formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

  • Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… …   Wikipedia

  • reasoning — noun ADJECTIVE ▪ careful, sound ▪ circular, faulty, flawed, specious (formal) ▪ underlying ▪ …   Collocations dictionary

  • Formal fallacy — In philosophy, a formal fallacy or a logical fallacy is a pattern of reasoning which is always wrong. This is due to a flaw in the structure of the argument which renders the argument invalid. A formal fallacy is contrasted with an informal… …   Wikipedia

  • reasoning — Any process of drawing a conclusion from a set of premises may be called a process of reasoning. If the conclusion concerns what to do, the process is called practical reasoning, otherwise pure or theoretical reasoning. Evidently such processes… …   Philosophy dictionary

  • Formal science — A formal science is a theoretical study that is concerned with theoretical formal systems, for instance, logic, mathematics, systems theory and the theoretical branches of computer science, information theory, economics, statistics, and… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»