free logic

free logic
Any logic differing from classical logic in that there is no presumption that the names used actually refer to anything. Thus from Fa it need not follow that (∃x )(Fx ), any more than, in natural language, it follows from the fact that Pegasus is a flying horse that there is such a thing as a flying horse (although an alternative is to say that in the sense in which Pegasus is a flying horse, there are flying horses: i.e. to interpret both statements as implicitly governed by an operator such as ‘in the myths it is said that…’).

Philosophy dictionary. . 2011.

Look at other dictionaries:

  • Free logic — is a logic with no existential presuppositions. Alternatively, it is a logic whose theorems are valid in all domains, including the empty domain. Explanation In classical logic there are theorems which clearly presuppose that there is something… …   Wikipedia

  • Logic simulation — is the use of a computer program to simulate the operation of a digital circuit. Logic simulation is the primary tool used for verifying the logical correctness of a hardware design. In many cases logic simulation is the first activity performed… …   Wikipedia

  • Logic Pro — Logic 8 Developer(s) Apple Inc. Stable release 9.1.5 / 2011 08 08 Operating system …   Wikipedia

  • Logic — • A historical survey from Indian and Pre Aristotelian philosophy to the Logic of John Stuart Mill Catholic Encyclopedia. Kevin Knight. 2006. Logic     Logic      …   Catholic encyclopedia

  • Logic Pro — Тип Секвенсоры, Аудиоредакторы Разработчик …   Википедия

  • Free improvisation — Stylistic origins Free jazz Avant garde jazz 20th century classical music Serialism Aleatoric music Cultural origins Mid 1960s United States, UK, and Europe Typical instruments Varies …   Wikipedia

  • Free flight (air traffic control) — Free flight is a developing air traffic control method that uses no centralized control (e.g. air traffic controllers). Instead, parts of airspace are reserved dynamically and automatically in a distributed way using computer communication to… …   Wikipedia

  • Logic of Empire — is a science fiction novella by Robert A. Heinlein. Part of his Future History series, it originally appeared in Astounding Science Fiction (March 1941), and was collected in The Green Hills of Earth (and subsequently The Past Through Tomorrow… …   Wikipedia

  • Free Audio Editor — Тип редактор файлов звукозаписи Разработчик FAE Distribution, Inc. Написана на C и C++ / Delphi Операционная система Windows Последняя версия 7.2.1 ( …   Википедия

  • Logic Quest 3D — is a computer game published in 1997 by The Learning Company. It is recommended for ages 8 to 14, and primarily builds thinking and problem solving skills. Minimum System Requirements [Broderbund Support Center] Windows: ** Pentium 60 MHz… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.