Logii pozitivizam se opredijelio prije svega za konstrukciju novog, artificijelnog sistema jezika ili logiog (simbolikog) calculusa unutar

kojeg se elementarni predikativni sud, stav ili iskaz uzimao kao primjerak op iskazne (predikativne) forme ili logie funkcije je dijelove (varijable) zadovoljavaju (satis-faction) ili ispunjavaju argumenti i na taj nan odreju istinosnu vrijednost varijabli kao dijelova otvorenog iskaza ("x postoji"), pa time onda odreju i istinosnu vrijednost zatvorenog iskaza ("Sokrat postoji") Jezik je stoga, npr. za Wittgensteina, mogua slika stvarnosti, a ne apsolutno izvjesna (tautoloka) ili apsolutno nemogua (kontradikcijska) slika svijeta Sve sto je filozofija logikog atomizma preuzela iz ontoloke logike jeste vrsta iskaza na koju se primjenjuje logika analiza: na mjesto Aristotelesovog -a dola je iskazna ili indikativna (asertivna) reenica kao ona vrsta izraza koji ima (i) smisao, (ii) znaenje, (iii) istinosnu vrijednost, tj. kao izraz koji nuno mora biti ili istinit ili laan stav ili iskaz je funkcija svojih dijelova, ili rijei koje u njega

spadaju. Tu vie nema subjekta u smislu subjektno-predikatne logike kao odnosa prve i druge supstancije, nego je subjekat funkcija predikata, njihov raun, raun predikata, raun vezanih znaenja Frege pravio razliku izmeu (1) formalne logike koju je predstavljala Booleova notacija, (2) matematske logike ili Peanove notacije, i (3) svoga pojmovnog pisma, koje je trebalo da zadovolji i formu i sadraj simbola. Frege je pojam definirao kao funkciju, iskaz kao iskaznu funkciju iji su dijelovi varijable povezane logikim konstantama ili operacijama, a poredak ovih elemenata u iskaznoj funkciji kao smisao ili misao koju pojam izaava Simbolila logika ili formalna logika je za Russella istraivanje razliitih generalnih tipova dedukcije, odnosno istraivanje formalnih svojstava relacije koje se mogu izraziti u terminima logikih konstanti Svaka nauna teorija je sistem iskaza koji se prihvataju kao istiniti i koji se mogu nazvati zakoni ili asertoriki stavovi

Stavovi praeni razmatranjima se zovu dokazi, a stavovi utvreni pomou njih se zovu teoreme Konstante: broj, nula, jedan, zbor Promjenljive: a, b, c, x, y, z Individualne varijable: p, q, r, s , t ,v Mogu stajati umjesto bilo kojeg iskaza kojeg ispitujemo Logiki konektivi - odnos izmeu 2 propozicionalne varijable Izraz koji sadri promjenljive i koji kad se te promjenljive zamjene konstantama postaje iskaz, naziva se iskazna funkcija opisne (deskriptivne) ili oznaavajue (designativne) funkcije to su izrazi koji kad se promjenljive zamjene konstantama postaju oznake (opisi) objekta (2x+1 npr). egzistencijalni iskazi ili iskazi egzistencijalnog karaktera koji tvrde postojanje objekata (npr brojeva) sa izvjesnim svojstvom . nasuprot iskazima univerzalnog ili egzistencijalnog karaktera iskaze koji ne sadre promjenljive moemo nazvati pojedinanim ili singularnim iskazima. apsolutno egzistencijalni iskazi tvrde da postoje brojevi koji imaju izvjesno svojstvo, ali pod uslovom da

postoje i neki drugi brojevi. Izrazi kao (postoje x,y takvi da) zovu se kvantifikatori prvi se zovu univerzalni, a drugi egzistencijalni. Kvantifikatori su isto poznati kao operatori. Iskazne funkcije koje se sreu u aritmetici a koje sadre samo jednu promjenljivu (koja se meutim moe javljati na nekoliko razliitih mjesta u datoj iskaznoj funkciji) mogu se podijeliti na 3 kategorije (1) funkcije koje zadovoljava svaki broj; (2) funkcije koje ne zadovolajva nijedan broj (3) funkcije koje neki brojevi zadovoljavaju a neki ne. Dva iskaza od kojih je prvi negacija drugog nazivaju se protivrijeni ili kontradiktorni iskazi propozicija - misao koju mi iskazujemo u reenici. konjunkcija - (i) tj * lanovi konjunkcije konjunkt iskazima se tvrdi ili porie neko stanje varijabla - misao koja se sastoji iz dijelova, dijelovi sadraja imaju logike openitosti, nalaze se u iskazu (f-ji) a,b,c - individualne konstante x,y,z - indiviudalne varijable F,G,H - predikati (da je elav, visok) *, ^ - konektivi (), zagrate simboli koji se koriste unutar logike

predikata predikati jednomjesni tj veu jednu varijablu, odnosno 1 vlastito ime Mat logika (simb logika) podruje istraivanja (dio logike znanosti koja se bavi iskazima kao simbolima (sloenim ili kompleksnim odnosno bavi se logikim formama i logikim operacijama predstavljenim simbolima Analitika je skup metoda, naina analiziranja njihovih cjelina Analitika se bavi razdvajanjem neke cjeline u dijelove Calculus - raun iskaza Raunamo iskazima tako to ih pretvorimo u simbol Zavisna reenica kojoj prethodi rije "ako" zove se antecedent, a glavna reenica pred kojom je rije "tada" zove se konsekvent