the rational investigation of questions about existence and knowledge and ethics

a person skilled at symbolic logic

a person skilled at symbolic logic

the logical study of necessity and possibility

a branch of analytic philosophy that deals with the critical examination of the basic concepts of logic abstracted from any meaning given them in the systems studied.

in logic, the formal analysis of logical terms and operators and the structures that make it possible to infer true conclusions from given premises.

of a proposition that is necessarily true independent of fact or experience

of a proposition whose truth value is determined by observation or facts

defining a word by listing the class of entities to which the word correctly applies

used of the set of attributes that distinguish the referents of a given word

of reasoning; proceeding from particular facts to a general conclusion