
	Where results make sense

Topic: Logical consequence

	Logical Consequence, Philosophical Considerations [Internet Encyclopedia of Philosophy]
		The concept of logical consequence is one of those whose introduction into a field of strict formal investigation was not a matter of arbitrary decision on the part of this or that investigator; in defining this concept efforts were made to adhere to the common usage of the language of everyday life.
		Such constants are called logical constants, and we say that the logical form of a sentence is a function of the logical constants that occur in the sentence and the pattern of the remaining expressions.
		The status of the deductive-theoretic approach to logic is not clear for, as Tarski argues in his (1936), deductive-theoretic accounts are unable to reflect the fact that, according to the common concept, logical consequence is not compact.
	www.iep.utm.edu /l/logcon.htm (6498 words)

	Logical Consequence
		This constraint is plausibly thought to be a necessary condition for logical consequence (if it could be that the premises are true and the conclusion isn’t, then there is no doubt that the conclusion does not follow from the premises); however, on most accounts of logical consequence, it is not a sufficient condition for validity.
		So, the intuitive idea of logical consequence in terms of counterexamples is then formally rendered as follows: an argument is valid if and only if there is no model according to which the premises are true and the conclusion is not true.
		Explaining logical consequence in terms of truth in models is rather close to explaining logical consequence in terms of truth, and the analysis of truth-in-a-model is sometimes taken to be an explication of truth in terms of correspondence, a typically Realist notion.
	www.science.uva.nl /~seop/archives/sum2005/entries/logical-consequence (4806 words)

	20th WCP: The Modernity of Aristotle’s Logical Investigations
		Aristotle and modern logicians share the same notion that establishing knowledge of logical consequence is central to the study of logic.
		A logic is used to establish knowledge of logical consequence, and the science of logic takes this as its principal concern.
		It is still the practice in untold numbers of introductory textbooks on categorical logic to test a syllogism according to rules of quality, quantity and distribution and entirely to overlook the deduction process of chaining syllogisms, not to mention the glaring traditionalist error to take a syllogism to be either a valid or invalid argument.
	www.bu.edu /wcp/Papers/Logi/LogiBoge.htm (5026 words)

	Logical Consequence, Deductive-Theoretic Conceptions [Internet Encyclopedia of Philosophy]
		Since, arguably, logical consequence conceived deductive-theoretically is not a compact relation and deducibility in a deductive system is, there are languages for which deductive consequence cannot be defined in terms of deducibility in a correct deductive system.
		The received view of logical consequence entails that the logical consequence relation in M turns on the nature of the logical constants in the relevant M-sentences.
		Compare with classical logic: the meaning of a logical constant is semantically characterized in terms of its contribution to the determination of the truth conditions of the sentences in which it occurs.
	www.iep.utm.edu /l/logcon-d.htm (9103 words)

	Logical Constants (Stanford Encyclopedia of Philosophy)
		Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms.
		…logical theory should be as simple, as modest in its assumptions, and as flexible as possible given the goal of providing a conceptual apparatus adequate for the project of systematization.
		On their view, logic is concerned with validity simpliciter, not just validity that holds in virtue of a limited set of "logical forms." The logician's method for studying validity is to classify arguments by their forms, but these forms (and the logical constants that in part define them) are logic's tools, not its subject matter.
	plato.stanford.edu /entries/logical-constants (11782 words)

	CanTeach - 5-4. Logical Consequences (Site not responding. Last check: 2007-11-01)
		A logical consequence for a student who cannot follow the rules of a game in the gym is to have the student sit on the sidelines and watch the game.
		Logical consequences is an excellent strategy to use, so long as the consequences are respectful, and logical.
		The bottom line in using consequences is that the consequence must be respectful to the person receiving it.
	www.canteach.ca /elementary/fnations28.html (387 words)

	Logical Pluralism \| Log
		Thus logical consequence is the intersection of truth-prservation and relevance.
		This situation has the absurd consequence that one might concede that the conclusion of an argument was true (since the argument had true premises and was truth-preserving); yet should refuse to infer the conclusion from the premises, in the absence of demonstration of the relevance of the premises to the conclusion.
		Different logics are given by choosing different syntactic units (is identity one of them? is necessity?) or by choosing different fixed interpretations of the syntactic units so chosen.
	pluralism.pitas.com (9922 words)

	The Concept of Logical Consequence
		The intuitive concept of consequence, the notion that one sentence follows logically from another, has driven the study of logic for more than two thousand years.
		But logic has moved forward dramatically in the past century - largely as a result of bringing mathematics to bear on the field.
		Central to the received view is Tarski's model-theoretic analysis of logical consequence, which Etchemendy argues is fundamentally mistaken.
	csli-publications.stanford.edu /site/1575861941.html (219 words)

	U of M Extension Service - Parenting Tools: Using Natural and Logical Consequences (Site not responding. Last check: 2007-11-01)
		Logical consequences happen as a result of a child's action, but are imposed by the parent or caregiver.
		The logical consequence for Sandy's mother to impose on Sandy is to take her bike away for the rest of the morning.
		Logical consequences are arranged by an adult but must be experienced by the child as a direct result of his or her behavior.
	www.extension.umn.edu /family/W00019.html (1999 words)

	CATHOLIC ENCYCLOPEDIA: Fate
		Its universal existence was a logical consequence of their assumptions with regard to the physical universe, for they recognized nothing that was not ultimately reducible to matter and natural law.
		In their ethical system however, the problem of determinism presented greater difficulties; for their favourite commandment, of living according to nature, seemed to imply that "men at some time are masters of their fates", at least as regards the shaping of their souls to that conformity with Nature in which virtue was supposed to consist.
		The physical accompaniments of the free act of the will as well as its consequences, are willed by God conditionally upon the positing of the act itself, and all alike are the object of His eternal foreknowledge.
	www.newadvent.org /cathen/05793a.htm (1259 words)

	Tarski on Logical Consequence, Mario Gómez-Torrente
		This paper examines from a historical perspective Tarski's 1936 essay, "On the concept of logical consequence." I focus on two main aims.
		The primary aim is to show how Tarski's definition of logical consequence satisfies two desiderata he himself sets forth for it: (1) it must declare logically correct certain formalizations of the
		Such historical understanding provides useful insights on Tarski's informal ideas on logical consequence and their internal cohesion.
	projecteuclid.org /Dienst/UI/1.0/Summarize/euclid.ndjfl/1040067321 (864 words)

	Logical Consequence (IICAI-05)
		The notion of logical inference is of fundamental importance for formalizing notions of intelligence and argumentation in all forms, and also critically relevant in several aspects of computing, from AI, theorem proving and software engineering to computer languages.
		Investigation of logical inference for applications requires not only the understanding of single forms of logical inference, but of their combinations as well.
		This technical session is focused on methods for combining logics (propositional, first-order and higher-order, intuitionistic, modal, and other forms of non-classical inference) emphasizing their semantical, proof-theoretical, algebraic and computational aspects.
	www.iiconference.org /iicai05/lcc.html (461 words)

	Logical validity and logical consequence (Site not responding. Last check: 2007-11-01)
		A formula of the predicate calculus is said to be logically valid if it is necessarily always true, regardless of the specific predicates and individuals involved.
		These formulas are logically valid, because they are ``necessarily'' or ``automatically'' or ``formally'' true, no matter what predicate may be denoted by the symbol A.
		Thus DeMorgan's conclusion is indeed a logical consequence of his premise.
	www.math.psu.edu /simpson/papers/philmath/node9.html (225 words)

	consequently.org
		“Paraconsistent Logics!,” Bulletin of the Section of Logic of the Polish Academy of Sciences 26 (1997) 156-163.
		[with JC Beall] “Defending Logical Pluralism,” pages 1–22 in Logical Consequence: Rival Approaches Proceedings of the 1999 Conference of the Society of Exact Philosophy (Stanmore: Hermes, 2001), John Woods and Bryson Brown (editors), ISBN 1-903398-17-5.
		“Logical Consequence” an entry in the Stanford Encyclopedia of Philosophy, 2005.
	consequently.org /writing (1217 words)

	DALE JACQUETTE CV
		Meinongian Logic: The Semantics of Existence and Nonexistence
		"Bochenski on the Logic of Identity", Between Logic and Philosophy: Essays in Memory of Joseph M. Bochenski, edited by Guido Kueng, Jan Wolenski, and Jaroslaw Kozak (Fribourg: Studia Philosophica).
		"Animadversions on the Logic of Fiction and Reform of Modal Logic", Mistakes of Reason: A Conference in Honour of John Woods, The University of Lethbridge, Alberta, Canada, April 19-21, 2002.
	www.personal.psu.edu /faculty/d/l/dlj4/CV.html (7526 words)

	JC's Publications and Work In Progress
		Logical Pluralism (with Greg Restall), Oxford University Press, nearly in press.
		Journal of Philosophical Logic 30:6, December 2001, pp.
		Bulletin of Symbolic Logic, 5:4, December 1999, pp.
	www.philosophy.uconn.edu /department/beall/jcpubs.html (768 words)

	Amazon.ca: The Concept of Logical Consequence: Books: John Etchemendy (Site not responding. Last check: 2007-11-01)
		Amazon.ca: The Concept of Logical Consequence: Books: John Etchemendy
		Be the first person to review this item.
		Subjects > Science > Mathematics > Pure Mathematics > Logic
	www.amazon.ca /Concept-Logical-Consequence-John-Etchemendy/dp/1575861941 (271 words)

	Planet AbiSource
		When reverse-engineering the function codes, it is wise to be inspired by both WP Dos 4.2 and WP Mac 3.x file formats.
		Telepathy Inspector is a telepathy client (GTK+) whose objective is to expose all interfaces and functionalities implemented by a given connection manager along with its connections, channels, etc.
		The idea is to enable the user (likely to be a Telepathy developer) to easily view and access all methods and interfaces of all Telepathy entities (CMs, connections, etc), which could not be easily achieved using a regular telepathy client since it would (and should!) hide all Telepathy logic behind a pleasant, usability oriented, GUI.
	planet.abisource.com (10319 words)

Try your search on: Qwika (all wikis)