Validitas (logika)
Argumen

Dalam logika, argumen adalah sekumpulan pernyataan terkait yang menyatakan premis-premis (yang dapat terdiri dari bukti non-empiris, bukti empiris, atau mungkin berisi beberapa kebenaran aksiomatik) dan konklusi yang diperlukan berdasarkan hubungan premis-premis tersebut.
Sebuah argumen dikatakan “valid” jika dan hanya jika kesimpulannya salah jika semua premisnya benar.n to be false if all of the premises are true. Validitas tidak membutuhkan kebenaran dari premis-premisnya, melainkan hanya Kebenaran logis bahwa kesimpulannya mengikuti premis-premisnya tanpa melanggar kebenaran bentuk logis. Jika premis-premis dari sebuah argumen yang valid terbukti benar, ini dikatakan sebagai Kebenaran yang masuk akal.
kondisional yang sesuai dari sebuah argumen yang valid adalah sebuah kebenaran logis dan negasi dari kondisional yang sesuai adalah sebuah kontradiksi. Kesimpulannya adalah sebuah konsekuensi yang diperlukan dari premis-premisnya.
Argumen yang tidak valid dikatakan “tidak valid” atau "invalid".
Sebuah contoh dari sebuah argumen yang valid (dan masuk akal) diberikan oleh silogisme yang terkenal berikut ini:
Apa yang membuat argumen ini valid bukanlah karena argumen ini memiliki premis-premis yang benar dan kesimpulan yang benar.  Validitas adalah tentang hubungan antara dua premis yang diperlukan untuk membuat kesimpulan. Harus ada hubungan yang terjalin di antara premis-premis tersebut, yaitu istilah tengah di antara premis-premis tersebut. Jika Anda hanya memiliki dua premis yang tidak berhubungan maka tidak ada argumen. Perhatikan beberapa istilah yang diulang: manusia adalah variasi manusia di premis satu dan dua, Socrates dan istilah fana diulang di kesimpulan. Argumen ini akan sama validnya jika kedua premis dan kesimpulannya salah. Argumen berikut ini memiliki bentuk logika yang sama namun dengan premis-premis yang salah dan kesimpulan yang salah, dan sama-sama valid:
Tidak peduli bagaimana alam semesta dibangun, tidak akan pernah ada argumen yang memiliki premis-premis yang benar secara bersamaan, namun memiliki kesimpulan yang salah. Argumen di atas dapat dikontraskan dengan argumen yang tidak valid berikut ini:
Dalam kasus ini, kesimpulannya bertentangan dengan logika deduktif dari premis-premis sebelumnya, dan bukannya berasal dari premis-premis tersebut. Oleh karena itu, argumen tersebut secara logika 'tidak valid', meskipun kesimpulannya dapat dianggap 'benar' secara umum. Premis 'Semua manusia abadi' juga akan dianggap salah di luar kerangka logika klasik. Namun, di dalam sistem tersebut, 'benar' dan 'salah' pada dasarnya berfungsi lebih seperti keadaan matematika seperti biner 1 dan 0 daripada konsep filosofis yang biasanya dikaitkan dengan istilah-istilah tersebut. Argumen formal yang tidak valid sering dikaitkan dengan setidaknya satu kekeliruan yang seharusnya dapat diverifikasi.
Pandangan standarnya adalah bahwa apakah sebuah argumen valid adalah masalah bentuk logis dari argumen tersebut.  Banyak teknik yang digunakan oleh para ahli logika untuk merepresentasikan bentuk logis dari sebuah argumen.  Sebuah contoh sederhana, yang diterapkan pada dua ilustrasi di atas, adalah sebagai berikut:  Biarkan huruf 'P', 'Q', dan 'S' berdiri, masing-masing, untuk himpunan pria, himpunan manusia, dan Socrates.  Dengan menggunakan simbol-simbol ini, argumen pertama dapat disingkat menjadi:
Demikian pula, argumen ketiga menjadi:
Sebuah argumen disebut valid secara formal jika memiliki konsistensi struktural, yaitu jika operand antara premis-premis semuanya benar, kesimpulan yang dihasilkan selalu benar. Pada contoh ketiga, premis-premis awal tidak dapat secara logis menghasilkan kesimpulan dan oleh karena itu dikategorikan sebagai argumen yang tidak valid.