可拓学是由我国学者蔡文于二十世纪八十年代首创的一门涉及到哲学、计算机、工程学的交叉学科，它所研究的问题就是矛盾问题，即在现实生活中，人们所需要的目标在现有条件下不能达到的问题，即条件和目标不相容的问题。可拓学研究解决矛盾问题的理论和方法，所依据的就是基元性质的可拓性，在这一基础上进行可拓变换，使不相容问题变成相容问题，再通过解变换使问题得到解决a可拓学经过二十多年的发展，吸引了大批国内外不同领域的学者对这一问题进行研究，现在可拓学已经在计算机、工程学、商业等很多领域起到了很大的作用。　　 本文从逻辑矛盾关系、辩证矛盾关系的分析开始，对经典逻辑矛盾关系、多值逻辑矛盾关系、亚相容逻辑矛盾关系和可拓逻辑矛盾关系进行了分析，得出可拓逻辑中的矛盾关系并不是一种异常的矛盾关系，是一种逻辑上的矛盾关系，是在逻辑矛盾关系统摄下的矛盾关系。同时，可拓变换的过程反映了辩证矛盾关系的对立统一的基理。尽管可拓变换在实际应用中取得了很大的成绩，但是缺乏理论上的存在性证明，本文第二章就对增加变换、删减变换、蕴涵变换、扩大变换、缩小变换和分解变换是否存在可拓变换进行了证明，得出不相容问题转化为相容问题，途径就是可拓变换。由于可拓学侧重的是矛盾问题的解决，通过可拓变换生成解决问题的策略，第三章就对上面几种可拓变换的解变换的存在性进行了证明，从理论层面上证明了解变换的可行性。可拓变换使不相容问题转变成相容问题，而解变换就使相容问题得到解决，从而使矛盾问题得到解决。　　 从可拓学的研究对象可以看出，可拓学针对的是“问题”，是“矛盾问题”，而不是矛盾。可拓学就是通过可拓变换使问题得到解决，目的就是解决问题，满足人们的需要。本文把实际生活中这种需要解决的矛盾问题称为“策略矛盾问题”。　　 本文只是对单目标命题的矛盾问题的可拓变换及解变换进行了证明，对于具有两个互相对立的问题及多目标问题并没有作出证明，还有待于进一步的证明。同时提出可拓逻辑的发展还有许多工作需要去做。