Definition:Logical Argument
Tibetan Buddhist Encyclopedia is now 14 years old
Our Encyclopedia recently received a wonderful opportunity for a major renewal on its 14th birthday . After many years of growing our Encyclopedia had become bit slow and sometimes even decided not to answer when people knocked on the door.
A very big thank you and blessings to Dmytro Rudiy (rudiy.nl) for his great work in upgrading the server, website and all of the infrastructure and helping make TBE fast and reliable again for everyone!
We kindly ask our readers to help us cover the cost of this important upgrade and also help with the ongoing costs of keeping the Encyclopedia alive and freely available.
or card
Every little donation helps and every one is deeply appreciated. 🙏🙏🙏
OM AH HUM VAJRA GURU PADMA SIDDHI HUM 🙏🙏🙏
May blessings shower down on all of yous 🙏🙏🙏
A logical argument (or just argument) is a process of creating a new statement from one or more existing statements.
An argument proceeds from a set of premises to a conclusion, by means of logical implication, via a procedure called logical inference.
An argument may have more than one premise, but only one conclusion.
While statements may be classified as either true or false, an argument may be classified as either valid or invalid.
Loosely speaking, a valid argument is one that leads unshakeably from true statements to other true statements, whereas an invalid argument is one that can lead you to, for example, a false statement from one which is true.
Thus:
An argument may be valid, even though its premises are false.
An argument may be invalid, even though its premises are true.
An argument may be invalid and its premises false.
To be sure of the truth of a conclusion, it is necessary to make sure both that the premises are true and that the argument is valid.
However, while you may not actually know whether a statement is true or not, you can investigate the consequences of it being either true or false, and see what effect that has on the truth value of the proposition(s) of which it is a part. That, in short, is what the process of logical argument consists of.
An argument may be described symbolically by means of sequents, which specify the flow of an argument.
Finitary Argument
A finitary argument is a logical argument which starts with a finite number of axioms, and can be translated into a finite number of statements.
Source
[[1]]