Diskurssi
Diskurssien tutkimusta kutsutaan diskurssianalyysiksi. Se sisältää kirjavan joukon tutkimuskäytäntöjä eikä muodosta mitään yhtenäistä menetelmällistä kokonaisuutta. Tavallisesti puhutaan kahdesta pääsuuntauksesta, anglosaksisesta ja ranskalaisesta.
Symbolinen logiikka
Propositiologiikka tutkii lauseiden ominaisuuksia niiden sisältämien vakioiden ja muuttujaviittausten, kuten A, B, C, ... sekä viiden operaattorin, "ja" (AND), "tai" (OR), "jos...niin" [IMPLIES), "jos ja vain jos"' (EQUALS) sekä "ei" (NOT) perusteella. Vastaavat logiikan operaatiot ovat konjunktio, disjunktio, implikaatio, ekvivalenssi, sekä negaatio eli kielto. Näistä muut paitsi "ei" ovat binaarisia operaatioita. Operaatioiden merkitystä kuvataan totuusarvotaulukoilla.
Predikaattilogiikka on propositiologiikan laajennus, joka tuo mukaan muuttujat, lauseet eli predikaatit. Muuttujat esitetään yleensä pienellä alkukirjaimella "x", "y", "z" jne, kun taas predikaatit esitetään isolla alkukirjaimella, esimerkiksi P("x") or Q("y","z"). Sen lisäksi predikaattilogiikkaan liittyvät kvanttorit, jotka kuvaavat tapauksia "kaikki" (universaalikvanttori formula_1) ja "on olemassa" (eksistenssikvanttori formula_2).