Logic

Aku baru menyadari aku belum benar-benar memahami apa itu bahasa. Di sesi 1 kuliah Bahasa Indonesia, ada pertanyaan forum diskusi seperti ini: pertanyaan tutor di forum diskusi Aku sudah menjawabnya secara normatif menggunakan informasi dari modul universitas. Tapi, jawaban itu sebenarnya memicu beberapa pertanyaan di kepalaku tentang hakikat bahasa itu sendiri. Untuk pertanyaan pertama, apakah Budi dan Wati sedang berbahasa? Meskipun encoding-nya tidak umum, modul mendeskripsikan bahasa sebagai bunyi yang melambangkan sesuatu; simbol-simbol yang digunakan berdasarkan sistem yang berlaku sehingga menimbulkan makna. Jika Budi dan Wati bisa saling mengerti, berarti ada sebuah sistem definisi yang mereka berdua gunakan. Kesimpulanku: mereka sedang berbahasa. ...

Glosarium ringkas untuk membaca simbol, aturan inferensi, dan istilah dasar di Axiom Room.

Konsep proposisi membantu analisis logika, tetapi status keberadaannya sebagai entitas abstrak masih menjadi bahan perdebatan filosofis.

Proposisi bisa dipahami sebagai bentuk makna yang diekspresikan oleh kalimat deklaratif, bukan sebagai kalimat itu sendiri.

Proposisi memiliki tingkatan struktur: bentuk atomik yang sederhana dan bentuk molekuler yang terbentuk melalui operator logika.

Sebuah proposisi harus bisa dievaluasi sebagai benar atau salah, sehingga tidak semua bentuk kalimat bisa disebut proposisi.