Без заголовка

the branch of philosophy that analyzes inference www.cogsci.princeton.edu/cgi-bin/webwn reasoned and reasonable judgment; "it made a certain kind of logic" www.cogsci.princeton.edu/cgi-bin/webwn the principles that guide reasoning within a given field or situation; "economic logic requires it"; "by the logic of war" www.cogsci.princeton.edu/cgi-bin/webwn a system of reasoning www.cogsci.princeton.edu/cgi-bin/webwn (n.) the branch of mathematics that investigates the relationships between premises and conclusions of arguments. wotug.ukc.ac.uk/parallel/acronyms/hpccgloss/all.html The branch of mathematics in which mathematical assertions and reasoning are studied as formal mathematical objects. www.math.ucdavis.edu/profiles/glossary.html The science of thinking based on laws that determine the validity of a conclusion. (Solso) citl.tamu.edu/citl-glossary-main.htm Mathematical treatment of formal logic whereby a system of symbols (i.e., AND, OR, and NOT) is used to represent quantities and relationships. A switch/gate has only two states—open or closed—allowing the use binary numbers for solutions to problems. www.icinsights.com/links/glossary.html The sequence of functions performed by hardware or software. Hardware logic is made up of circuits that perform an operation. Software logic is the sequence of instructions in a program. www.synopsys.com/news/pr_kit/eda_glossary.html (Greek logos,"word", "speech", "reason"), science dealing with the principles of valid reasoning and argument. The study of logic is the effort to determine the conditions under which one is justified in passing from given statements, called premises, to a conclusion that is claimed to follow from them. Logical validity is the characteristic of an argument that guarantees that if the premises of the argument are true then the conclusion must necessarily be true. www10.brinkster.com/atheismfile/glossary.html Sound reasoning and the formal laws of reasoning. math.about.com/library/bll.htm The rules whereby valid conclusions may be derived from a given set of axioms. Also the rules for dialogue, section 15.11. freespace.virgin.net/john.hewitt1/pg_gloss.htm The study of the most general truths -- those truths which are independent of any particular subject matter. www.hfac.uh.edu/phil/leiber/!glossar.htm On PMTH, the word "logic" generally refers, not to the colloquial meaning of this term but to the system of formal reasoning introduced by Aristotle. Aristotle's logic was based on three principles, the Law of the Excluded Middle, the Law of Contradiction and the Law of Identity. In recent times there are symbolic logics which can be more complex. In Aristotelian, or categorical, logic, a statement can be only true or false, not both at the same time. In modern logics, there can be alternative valuations of a statement. In fuzzy logic, we can speak of the proportion of truth in each statement. www.sevmedia.net/clients/gt/Main/FAQ/glossary.html The art of being wrong with confidence. www.geocities.com/vasudevanvrv/deftdef2.htm the study of the laws of thought and forms of argument garnet.acns.fsu.edu/~cmh9639/phi2010/glossary.htm the study of methods for evaluating arguments and reasoning highered.mcgraw-hill.com/sites/0767429184/student_view0/chapter1/glossary.html One of the three major classes of ICs: microprocessors, memory and logic. Logic is used for data manipulation and control functions. noel.feld.cvut.cz/vyu/apo/amd/glossary.html The principles of right reasoning. www.dfamily.com/philosophy/teach/glossary.html