Logika leksikal

**Logika leksikal** (atau *logika istilah*), yang juga dikenal sebagai *logika tradisional*, *logika silogistik* atau *logika [[Aristotelianisme|Aristotelian]]*, adalah nama umum untuk pendekatan logika yang didasarkan pada Aristoteles dan dikembangkan para pengikut peripatetik. dan menjadi dominan sampai kemajuan logika prediksi modern pada akhir abad kesembilan belas.

Logika leksikal dihidupkan ulang pada abad pertengahan, yakni dalam ilmu mantik Islam oleh Al-Farabi pada abad kesepuluh dan dilanjutkan di Eropa dengan berkembangnya *logica nova* (logika baru) pada abad kedua belas. Logika leksikal tetap dominan digunakan dalam filsafat hingga munculnya logika predikat (*predicate logic*) pada akhir abad kesembilan belas. Meski demikian, logika leksikal masih memainkan peran penting dalam ilmu logika hingga sekarang, di mana logika modern biasanya dikembangkan darinya.

## Konsep

### Materi
Materi dalam filsafat Arisoteles diartikan sebagai substansi yang memiliki potensi dan ketersiapan. Secara sederhana, materi merupakan bahan yang karena keberadaannya sesuatu dapat dibentuk. Logika istilah menghasilkan istilah 'potensi' dan 'aksi'. Potensi merupakan ketersiapan yang diwujudkan melalui aksi. Materi memerlukan bentuk untuk menjadi ada secara aktual. Kebutuhan materi kepada bentuk disebabkan oleh sifat bentuk yang memiliki perwujudan.

### Bentuk
Bentuk merupakan jenis substansi yang memiliki katualitas dan perwujudan. Bentuk memiliki hubungan yang erat dengan materi. Keberadaan bentuk mewakili keberadaan materi. Materi tidak mungkin ada tanpa bentuk. Materi diumpakan sebagai bahan utama yang terwujud menjadi bentuk. Bentuk selalu memerlukan materi. Terdapat dua jenis kebutuhan yang diperlukan oleh bentuk terhadap materi. Pertama, bentuk memerlukan materi untuk menentukan bentuknya. Kedua, bentuk memerlukan materi untuk melakukan personifikasi menjadi bentuk-bentuk yang lain.

### Ketersusunan
Ketersusunan merupakan konsep yang dihasilkan dari keberadaan materi dan bentuk. Konsep ketersusunan dibedakan menjadi dua, yaitu ketersusunan penyatuan dan ketersusunan penggabungan. Ketersusunan penyatuan merupakan ketersusunan yan menghasilkan penyatuan dari unsur-unsur sehingga menghasilkan unsur baru yang lainnya. Sedangkan ketersusunan penggabungan merupakan ketersusunan yang menggabungkan unsur-unsur tetapi tidak menghasilkan unsur baru yang lainnya.

## Sistem Aristoteles

Karya logikal Aristoteles dikumpulkan dalam enam teks yang secara kolektif dikenal sebagai *[[Organon]]*.

## Referensi

### Catatan kaki


### Daftar pustaka

* 

## Bacaan lanjutan
* Bochenski, I. M., 1951. *Ancient Formal Logic*. North-Holland.
* Louis Couturat, 1961 (1901). *La Logique de Leibniz*. Hildesheim: Georg Olms Verlagsbuchhandlung.
* Gareth Evans, 1977, "Pronouns, Quantifiers and Relative Clauses," *Canadian Journal of Philosophy*.
* Peter Geach, 1976. *Reason and Argument*. University of California Press.
* Hammond and Scullard, 1992. *The Oxford Classical Dictionary*. Oxford University Press, .
* Joyce, George Hayward, 1949 (1908). *[https://web.archive.org/web/20060227234924/http://uk.geocities.com/frege@btinternet.com/joyce/principlesoflogic.htm Principles of Logic]*, 3rd ed. Longmans. A manual written for use in Catholic seminaries. Authoritative on traditional logic, with many references to medieval and ancient sources. Contains no hint of modern formal logic. The author lived 1864–1943.
* Jan Lukasiewicz, 1951. *Aristotle's Syllogistic, from the Standpoint of Modern Formal Logic*. Oxford Univ. Press.
* John Stuart Mill, 1904. *A System of Logic*, 8th ed. London.
* Parry and Hacker, 1991. *Aristotelian Logic*. State University of New York Press.
* Arthur Prior
*: 1962: *Formal Logic*, 2nd ed. Oxford Univ. Press. While primarily devoted to modern formal logic, contains much on term and medieval logic.
*: 1976: *The Doctrine of Propositions and Terms*. Peter Geach and A. J. P. Kenny, eds. London: Duckworth.
* Willard Quine, 1986. *Philosophy of Logic* 2nd ed. Harvard Univ. Press.
* Rose, Lynn E., 1968. *Aristotle's Syllogistic*. Springfield: Clarence C. Thomas.
* Sommers, Fred
*: 1970: "The Calculus of Terms," *Mind 79*: 1-39. Reprinted in Englebretsen, G., ed., 1987. *The new syllogistic* New York: Peter Lang. 
*: 1982: *The logic of natural language*. Oxford University Press.
*: 1990: "Predication in the Logic of Terms," *Notre Dame Journal of Formal Logic 31*: 106-26.
*: and Englebretsen, George, 2000: *An invitation to formal reasoning. The logic of terms*. Aldershot UK: Ashgate. .
* Szabolcsi Lorne, 2008. *Numerical Term Logic*. Lewiston: Edwin Mellen Press.

## Pranala luar
* 
* 
* 
* Aristotle's term logic online-This online program provides a platform for experimentation and research on Aristotelian logic.
* Annotated bibliographies:
*: Fred Sommers.
*: George Englebretsen.
* PlanetMath: .
* Interactive Syllogistic Machine for Term Logic A web based syllogistic machine for exploring fallacies, figures, terms, and modes of syllogisms.