Iványi István - Kovári György: Iparjogvédelmi ismeretek 2/2 - Szabadalmi eljárás, a vizsgálat módszertana (1980)
A. Bejelentési eljárás - VI. A teljes vizsgálatról
Induktiv következtetések esetén az egyes Ítéletektől haladunk egy általános Ítélet felé. Az ujdonságvizsgáló pl. meghatározott számú doku - mentáció átvizsgálása után nem teljes indukció révén jut el a találmány újdonságának fennállására vonatkozó következtetéshez. ’ \ Annak megállapítását pedig, hogy a bejelentésben szereplő' konkrét megoldás jellemzői megfelelnek a törvényben adott általános találmányfogalomnak, deduktív következtetések sorozata (egyfajta poliszillogisz - tikus folyamat) előzi meg. Az ítéletekkel kapcsolatos logikai indokolás szükséglete kettős műveletet alakított ki: a bizonyítás és a cáfolás logikai műveletét. A bizonyítás valamely Ítélet igazságának elégséges indokolása más ítéletek segítségével, amelyek igazsága már bizonyítást nyert, A cáfolás révén valamely Ítélet hamissága megállapításának elégséges alapját mutatjuk ki. A bizonyításnak és cáfolásnak a következő' alkotóelemei vannak: a) Tézis: az a tétel, amelynek igazságát vagy hamisságát ki akarjuk mutatni. b) A rgumentumok: azok az érvek, amelyeket felsorakoztatunk az igazság vagy hamisság kimutatásra. c) Demonstráció: az a müveletsorozat, amelynek segítségével a tétel igazságát vagy hamisságát logikailag le tudjuk vezetni az érvekből. 4325 46
