Coba jelasin Pendekatan formal dan informal dari Filsafat Bahasa dong

Sejauh mana logika formal dapat dimamfaatkan sebagai alat yang efektif dalam analisis serta memahami bahasa alami yaitu pertanyaan lain yang membuat para filsuf bahasa terbagi-bagi. Sementara sebagian besar filsuf, seperti Alfred Tarski, Gottlob Frege, dan juga Rudolf Carnap, tak begitu yakin soal formalisasi bahasa alami, cukup banyak diantara mereka yang mengembangkan bahasa formal untuk digunakan dalam sains atau bagian formal dari bahasa alami untuk penyelidikan. Beberapa anggota yang paling menonjol dari tradisi semantik formal ini termasuk Tarski, Carnap, Richard Montague dan Donald Davidson.

Di sisi lain perbedaan, terutama yang menonjol pada 1950-an dan 1960-an, yaitu apa yang disebut "filsuf bahasa biasa". Filsuf seperti PF Strawson, John Langshaw Austin dan Gilbert Ryle menekankan pentingnya mempelajari bahasa alami tanpa harus memperhatikan kondisi kebenaran kalimat dan referensi istilah. Para filsuf itu tak percaya bahwa dimensi sosial dan praktis dari makna linguistik dapat ditangkap oleh segala upaya formalisasi menggunakan logika. Logika merupakan satu hal dan bahasa merupakan sesuatu yang sama sekali berbeda. Bagi mereka, yang terpenting bukanlah ekspresi itu sendiri tetapi apa yang digunakan orang untuk berkomunikasi.

Dengan begitu, Austin mengembangkan teori tindak tutur. Teoti ini menggambarkan hal-hal yang dapat dilakukan dengan sebuah kalimat (pernyataan, perintah, pertanyaan, seruan) pada konteks penggunaan yang berbeda pada kesempatan yang berbeda. Strawson memberikan pendapat bahwa semantik tabel merupakan kebenaran dari penghubung logis (misalnya, , dan  ) yang tidak menangkap arti dari bahasa aslinya ("dan", "atau" dan "jika-maka"). Sedangkan gerakan "bahasa biasa" pada dasarnya mati pada 1970-an, pengaruh yang diberikan sangat penting bagi perkembangan bidang teori tindak tutur serta studi pragmatik. Cukup banyak ide-idenya telah diserap oleh para ahli teori, diantaranya Kent Bach, Robert Brandom, Paul Horwich dan Stephen Neale. Dalam karya terbaru mereka, pembagian antara semantik dan pragmatik telah menjadi topik diskusi yang hidup pada antarmuka filsafat dan linguistik, semisalnya dalam karya Sperber dan Wilson, Carston dan Levinson.

Sembari mengingat tradisi-tradisi tersebut, pertanyaan besarnya adalah, apakah ada alasan untuk konflik antara pendekatan formal dan informal masih jauh dari diputuskan. Beberapa ahli teori seperti Paul Grice, sangat skeptis terhadap klaim bahwa ada konflik substansial antara logika dan bahasa alami.